Reasoning about the Elementary Functions of Complex Analysis
Annals of Mathematics and Artificial Intelligence
Equality in computer algebra and beyond
Journal of Symbolic Computation - Integrated reasoning and algebra systems
MKM from Book to Computer: A Case Study
MKM '03 Proceedings of the Second International Conference on Mathematical Knowledge Management
Reasoning about the Elementary Functions of Complex Analysis
AISC '00 Revised Papers from the International Conference on Artificial Intelligence and Symbolic Computation
Towards better simplification of elementary functions
Proceedings of the 2002 international symposium on Symbolic and algebraic computation
Better simplification of elementary functions through power series
ISSAC '03 Proceedings of the 2003 international symposium on Symbolic and algebraic computation
A poly-algorithmic approach to simplifying elementary functions
ISSAC '04 Proceedings of the 2004 international symposium on Symbolic and algebraic computation
Not seeing the roots for the branches: multivalued functions in computer algebra
ACM SIGSAM Bulletin
Adherence is better than adjacency: computing the Riemann index using CAD
Proceedings of the 2005 international symposium on Symbolic and algebraic computation
What Might "Understand a Function" Mean?
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
The challenges of multivalued "Functions"
AISC'10/MKM'10/Calculemus'10 Proceedings of the 10th ASIC and 9th MKM international conference, and 17th Calculemus conference on Intelligent computer mathematics
Maintaining islands of consistency via versioned links
Proceedings of the 29th ACM international conference on Design of communication
Algorithm 917: Complex Double-Precision Evaluation of the Wright ω Function
ACM Transactions on Mathematical Software (TOMS)
ACM Communications in Computer Algebra
Understanding branch cuts of expressions
CICM'13 Proceedings of the 2013 international conference on Intelligent Computer Mathematics
Hi-index | 0.00 |
This paper addresses the definitions in OpenMath of the elementary functions. The original OpenMath definitions, like most other sources, simply cite [2] as the definition. We show that this is not adequate, and propose precise definitions, and explore the relationships between these definitions.In particular, we introduce the concept of a couth pair of definitions, e.g. of arcsin and arcsinh, and show that the pair arccot and arccoth can be couth.