Aug 14, 2007 · Essentially, the method works as follows. We decompose the complex plane via means of cylindrical algebraic decomposition into regions with ...
The problem is that many well-known identities may no longer be true everywhere in the complex plane when working with their single-valued counterparts.
Aug 14, 2007 · Abstract One of the problems with manipulating function identities in computer algebra systems is that they often involve functions which ...
One of the problems with manipulating function identities in computer algebra systems is that they often involve functions which are multivalued, ...
This paper investigates the feasibility of the simplification system proposed by the authors in ISSAC 2004 by using a method to choose an a priori more ...
... The key idea is to decompose the complex domain using cylindrical algebraic decomposition (CAD) according to the branch cuts of the functions involved, so ...
[PDF] A Poly-Algorithmic Approach to Simplifying Elementary Functions
scholar.archive.org › ISSAC2004
We shall effect this using CAD. It is well-known that CAD has doubly exponential complexity in the number of vari- ables[10], and one way of reducing the ...
This work investigates the practicality of a method to verify function identities by means of an experiment, based on a set of test examples which one might ...
May 24, 2013 · In Proc. ISSAC '04. ACM, 2004. 3. J. Beaumont, R. Bradford, J.H. Davenport, and N. Phisanbut. Testing elementary function identities using CAD.
Some correct identities for elementary functions using K are given in Table 2.1. ... Testing Elementary Function Identities Using CAD. AAECC,. 18:513–543, 2007 ...