Better simplification of elementary functions through power series

  • Authors:

  • James Beaumont;Russell Bradford;James H. Davenport

  • Affiliations:

  • University of Bath, Bath, England;University of Bath, Bath, England;University of Bath, Bath, England

  • Venue:
  • ISSAC '03 Proceedings of the 2003 international symposium on Symbolic and algebraic computation
  • Year:
  • 2003

Quantified Score

Hi-index 0.00

Visualization

Abstract

In [5], we introduced an algorithm for deciding whether a proposed simplification of elementary functions was correct in the presence of branch cuts. This algorithm used multivalued function simplification followed by verification that the branches were consistent.In [14] an algorithm was presented for zero-testing functions defined by ordinary differential equations, in terms of their power series.The purpose of the current paper is to investigate merging the two techniques. In particular, we will show an explicit reduction to the constant problem [16].