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.
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 f...
Galina Filipuk, Alberto Lastra, Sławomir Michalik, Yoshitsugu Takei, Henryk Żołądek
With a balanced combination of longer survey articles and shorter, peer-reviewed research-level presentations on the topic of differential and difference equations on the complex domain, this edited volume presents an up-to-date overview of areas such as WKB analysis, summability, resurgence, formal solutions, integrability, and several algebraic aspects of differential and difference equations.
With a balanced combination of longer survey articles and shorter, peer-reviewed research-level presentations on the topic of differential and differe...
This volume contains the proceedings of the conference on Formal and Analytic Solutions of Diff. Equations, held from June 28-July 2, 2021, and hosted by University of Alcala, Alcala de Henares, Spain. The manuscripts cover recent advances in the study of formal and analytic solutions of different kinds of equations such as ordinary differential equations, difference equations, $q$-difference equations, partial differential equations, moment differential equations, etc. Also discussed are related topics such as summability of formal solutions and the asymptotic study of their solutions. The...
This volume contains the proceedings of the conference on Formal and Analytic Solutions of Diff. Equations, held from June 28-July 2, 2021, and hosted...
