Reasoning about the elementary functions of complex analysis
From MaRDI portal
Publication:1610222
DOI10.1023/A:1016007415899zbMath1007.30001OpenAlexW1585277169MaRDI QIDQ1610222
Robert M. Corless, Stephen M. Watt, James H. Davenport, David J. Jeffrey, Russell J. Bradford
Publication date: 19 August 2002
Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1016007415899
Related Items
The extension of a functional equation of the Lambert W function, The meaning of infinity in calculus and computer algebra systems, Testing elementary function identities using CAD, An unwinding number pair for continuous expressions of integrals, Matrix Inverse Trigonometric and Inverse Hyperbolic Functions: Theory and Algorithms