Why computer algebra systems sometimes can't solve simple equations
ACM SIGSAM Bulletin
Multiple-valued complex functions and computer algebra
ACM SIGSAM Bulletin
A representation of branch-cut information
ACM SIGSAM Bulletin
Function evaluation on branch cuts
ACM SIGSAM Bulletin
Function evaluation on branch cuts
ACM SIGSAM Bulletin
A sequence of series for the Lambert W function
ISSAC '97 Proceedings of the 1997 international symposium on Symbolic and algebraic computation
Graphing elementary Riemann surfaces
ACM SIGSAM Bulletin
Reasoning about the Elementary Functions of Complex Analysis
Annals of Mathematics and Artificial Intelligence
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
AISC '02/Calculemus '02 Proceedings of the Joint International Conferences on Artificial Intelligence, Automated Reasoning, and Symbolic Computation
Towards better simplification of elementary functions
Proceedings of the 2002 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
A short survey of automated reasoning
AB'07 Proceedings of the 2nd international conference on Algebraic biology
Ten commandments for good default expression simplification
Journal of Symbolic Computation
Algorithm 917: Complex Double-Precision Evaluation of the Wright ω Function
ACM Transactions on Mathematical Software (TOMS)
ACM Communications in Computer Algebra
Simplifying products of fractional powers of powers
ACM Communications in Computer Algebra
Hi-index | 0.00 |
From the Oxford English Dictionary we find that to unwind can mean "to become free from a convoluted state". Further down we find the quotation "The solution of all knots, and unwinding of all intricacies", from H. Brooke (The Fool of Quality, 1809). While we do not promise that the unwinding number, defined below, will solve all intricacies, we do show that it may help for quite a few problems.Our original interest in this area came from a problem in which an early version of DERIVE was computing the wrong answer when simplifying sin(sin-1 z), which should always be just z. For z > 1, DERIVE was getting -z as the answer. This bug has of course long since been fixed.What was happening was that in order to improve internal efficiency, all the inverse trig functions were represented as arctangents. Consulting an elementary book of tables, one finds the identitysin-1 z = tan-1 (z/√1 - z2). (1)In the same vein, one finds thatsin(tan-1 w) = w/√1 + w2. (2)Substituting equations (1) and (2) into sin(sin-1 z) and simplifying, we getz/√1 - z2 1/√1/1 - z2, (3)which DERIVE quite properly refused to simplify to z, because this is not always equal to z (see [2]).The fix in this case was to replace equation (2) withsin(tan-1 w) = w√1/1 + w2. (4)which differs from the original only on the branch cut. See [7] for more discussion. This change allows the simplification of sin(sin-1 z) to z. Verifying that this approach worked, and indeed trying to understand the problem to begin with, led us to attempt various definitions of a 'branch function'. This introductory problem turned out to be the tip of an iceberg of problems connected with using the principal branch of multivalued elementary functions.