A computer algebra system such as Mathematica® is able to do much more than just numerics: This text shows how to tackle real mathematical problems from basic analysis. The reader learns how Mathematica® represents domains, qualifiers and limits to implement actual proofs – a requirement to unlock the huge potential of Mathematica® for a variety of applications.
Będlewo, Poland, September 2015
This volume consists of invited lecture notes, survey papers and original research papers from the AAGADE school and conference held in Będlewo, Poland in September 2015. The contributions provide an overview of the current level of interaction between algebra, geometry and analysis and demonstrate the manifold aspects of the theory of ordinary and partial differential equations, while also pointing out the highly fruitful interrelations between those aspects. These interactions continue to yield new developments, not only in the theory of differential equations but also in several related areas of mathematics and physics such as differential geometry, representation theory, number theory and mathematical physics. The main goal of the volume is to introduce basic concepts, techniques, detailed and illustrative examples and theorems (in a manner suitable for non-specialists), and to present recent developments in the field, together with open problems for more advanced and experienced readers. It will be of interest to graduate students, early-career researchers and specialists in analysis, geometry, algebra and related areas, as well as anyone interested in learning new methods and techniques.