Better Simplification of Elementary Functions Through Power Series

Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC

Volumn , Issue , 2003, Pages 30-36

  Beaumont, James ^a   Bradford, Russell ^a   Davenport, James H ^a  

^a University of Bath   (United Kingdom)

Author keywords

Simplification Power Series

Indexed keywords

ALGORITHMS; FUNCTION EVALUATION; MATHEMATICAL TRANSFORMATIONS; ORDINARY DIFFERENTIAL EQUATIONS; PARTIAL DIFFERENTIAL EQUATIONS;

MULTIVALUED FUNCTIONS; POWER SERIES;

COMPUTATIONAL METHODS;

EID: 1542270122     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/860854.860867     Document Type: Conference Paper

References (20)

1. ABRAMOWITZ, M., AND STEGUN, I. Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables. US Government Printing Office (1964; 10th printing, 1972).
2. ARNON, D. A Cluster-Based Cylindrical Algebraic Decomposition Algorithm. J. Symbolic Comp. 5 (1988), 189-211. Also Algorithms in Real Algebraic Geometry (ed. D.S. Arnon and B. Buchberger), Academic Press, London, 1988.
3. ARNON, D. A Cluster-Based Cylindrical Algebraic Decomposition Algorithm. J. Symbolic Comp. 5 (1988), 189-211. Also Algorithms in Real Algebraic Geometry (ed. D.S. Arnon and B. Buchberger), Academic Press, London, 1988.
4. ARNON, D., COLLINS, G. AND MCCALLUM, S. Cylindrical Algebraic Decomposition II: An Adjacency Algorithm for the Plane. SIAM J. Comp. 13 (1984), 878-889.
5. BEAUMONT, J., BRADFORD, R., AND DAVENPORT, J. Towards Better Simplification of Elementary Functions. Pre-print, University of Bath, England. (2002).
6. BRADFORD, R., AND DAVENPORT, J. Towards Better Simplification of Elementary Functions. In Proceedings ISSAC 2002 (2002), T. Mora, Ed., ACM, New York, pp. 15-22.
7. COLLINS, G. Quantifier Elimination for Real Closed Fields by Cylindrical Algebraic Decomposition. In Proceedings 2nd. GI Conference Automata Theory & Formal Languages (1975), vol. 33 of Springer Lecture Notes in Computer Science, Springer-Verlag, pp. 134-183.
8. CORLESS, R., DAVENPORT, J., JEFFREY, D., AND WATT, S. According to Abramowitz and Stegun. SIGSAM Bulletin 34, 2 (2000), 58-65.
9. CORLESS, R., GONNET, G., JEFFREY, D., HARE, D., AND KNUTH, D. On the Lambert W Function. In Advances in Computational Mathematics 5, (1996), 329-359.
10. DAVENPORT, J. Table Errata -Abramowitz & Stegun. To appear in Math. Comp (2003).
11. DAVENPORT, J., AND HEINTZ, J. Real Quantifier Elimination is Doubly Exponential. J. Symbolic Computation 5, (1988), 29-35.
12. GABRIELOV, A., AND VOROBJOV, N. Complexity of cylindrical decompositions of sub-Pfaffian sets. J. Pure Appl. Algebra 164 (2001), 179-197.
13. HENRICI, P. Applied and Computational Complex Analysis. Vol.1, Wiley and Sons, (1974).
14. HÖLDER, O. Über die Eigenschaft der Gamma Funktion keineralgebraischen Differentialgleichungen zu genügen. Math. Ann. 28 (1887), 1-13.
15. VAN DER HOEVEN, J. A new Zero-test for Formal Power Series. In Proceedings ISS AC 2002 (2002), T. Mora, Ed., ACM, New York, pp. 117-122.
16. KAHAN, W. Branch Cuts for Complex Elementary Functions. The State of Art in Numerical Analysis (1987), 165-211.
17. RICHARDSON, D. Some Unsolvable Problems Involving Elementary Functions of a Real Variable. Journal of Symbolic Logic 33 (1968), 514-520.
18. RICHARDSON, D. How to Recognize Zero. In Journal of Symbolic Computation (1994), 24(6), 627-646.
19. SMYTH, C. An explicit formula for the Mahler measure of a family of 3-variable polynomials. To appear in J. Théor. Nombres Bordeaux (2002).
20. WEIBEL, T., AND GONNET, G. An Assume Facility for CAS with a Sample Implementation for Maple. In Proceedings DISCO '92 (1993), J. Fitch, Ed., vol. 721 of Springer Lecture Notes in Computer Science, Springer-Verlag PP. 95-103