ACM SIGSAM Bulletin
Not seeing the roots for the branches: multivalued functions in computer algebra
ACM SIGSAM Bulletin
Certified Computer Algebra on Top of an Interactive Theorem Prover
Calculemus '07 / MKM '07 Proceedings of the 14th symposium on Towards Mechanized Mathematical Assistants: 6th International Conference
Automating Side Conditions in Formalized Partial Functions
Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
Proof assistant decision procedures for formalizing origami
MKM'11 Proceedings of the 18th Calculemus and 10th international conference on Intelligent computer mathematics
Hi-index | 0.00 |
I recently taught a course on complex analysis. That forced me to think more carefully about branches. Being interested in computer algebra, it was only natural that I wanted to see how such programs dealt with these problems. I was also inspired by a paper by Stoutemyer ([3]).While programs like Derive, Maple, Mathematica and Reduce are very powerful, they also have their fair share of problems. In particular, branches are somewhat of an Achilles' heel for them. As is well-known, the complex logarithm function is properly defined as a multiple-valued function. And since the general power and exponential functions are defined in terms of the logarithm function, they are also multiple valued. But for actual computations, we need to make them single valued, which we do by choosing a branch. In Section 2, we will consider some transformation rules for branches of multiple-valued complex functions in painstaking detail.The purpose of this short article is not to do a comprehensive comparative study of different computer algebra system. (For an attempt at that, see [4].) My goal is simply to make the readers aware of some of the problems, and to encourage the readers to sit down and experiment with their favourite programs.I would like to thank Willi-Hans Steeb and Michael Wester for helpful comments.