A report on OpenMath: a protocol for the exchange of mathematical information
ACM SIGSAM Bulletin
Function evaluation on branch cuts
ACM SIGSAM Bulletin
ACM SIGSAM Bulletin
ACM SIGSAM Bulletin - Special issue of OpenMath
“According to Abramowitz and Stegun” or arccoth needn't be uncouth
ACM SIGSAM Bulletin - Special issue of OpenMath
Reasoning about the Elementary Functions of Complex Analysis
Annals of Mathematics and Artificial Intelligence
Reasoning about the Elementary Functions of Complex Analysis
AISC '00 Revised Papers from the International Conference on Artificial Intelligence and Symbolic Computation
The Meaning of Infinity in Calculus and Computer Algebra Systems
AISC '02/Calculemus '02 Proceedings of the Joint International Conferences on Artificial Intelligence, Automated Reasoning, and Symbolic Computation
Mathematics of Computation
Towards better simplification of elementary functions
Proceedings of the 2002 international symposium on Symbolic and algebraic computation
Handbook of Mathematical Functions, With Formulas, Graphs, and Mathematical Tables,
Handbook of Mathematical Functions, With Formulas, Graphs, and Mathematical Tables,
Adherence is better than adjacency: computing the Riemann index using CAD
Proceedings of the 2005 international symposium on Symbolic and algebraic computation
Revisions as an Essential Tool to Maintain Mathematical Repositories
Calculemus '07 / MKM '07 Proceedings of the 14th symposium on Towards Mechanized Mathematical Assistants: 6th International Conference
Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
On duplication in mathematical repositories
AISC'10/MKM'10/Calculemus'10 Proceedings of the 10th ASIC and 9th MKM international conference, and 17th Calculemus conference on Intelligent computer mathematics
Translating mathematical vernacular into knowledge repositories
MKM'05 Proceedings of the 4th international conference on Mathematical Knowledge Management
| Hi-index | 0.00 |
[2] is one of the great mathematical knowledge repositories. Nevertheless, it was written for a different era, and for human readership. In this paper, we describe the sorts of knowledge in one chapter (elementary transcendental functions) and the difficulties in making this sort of knowledge formal. This makes us ask questions about the nature of a Mathematical Knowledge Repository, and whether a database is enough, or whether more "intelligence" is required.