Symbolic Integration I Transcendental Functions

This first volume in the series "Algorithms and Computation in Mathematics", is destined to become the standard reference work in the field. Manuel Bronstein is the number-one expert on this topic and his book is the first to treat the subject both comprehensively and in sufficient detail - incorporating new results along the way. The book addresses mathematicians and computer scientists interested in symbolic computation, developers and programmers of computer algebra systems as well as users of symbolic integration methods. Many algorithms are given in pseudocode ready for immediate implementation, making the book equally suitable as a textbook for lecture courses on symbolic integration.

First edition received rave reviews The second edition offers a new chapter on parallel integration Includes additional exercises

This work brings together two streams in computer algebra: symbolic integration and summation on the one hand, and fast algorithmics on the other hand. In many algorithmically oriented areas of computer science, theanalysisof- gorithms–placedintothe limelightbyDonKnuth’stalkat the 1970ICM –provides a crystal-clear criterion for success. The researcher who designs an algorithmthat is faster (asymptotically, in the worst case) than any previous method receives instant grati?cation: her result will be recognized as valuable. Alas, the downside is that such results come along quite infrequently, despite our best efforts. An alternative evaluation method is to run a new algorithm on examples; this has its obvious problems, but is sometimes the best we can do. George Collins, one of the fathers of computer algebra and a great experimenter,wrote in 1969: “I think this demonstrates again that a simple analysis is often more revealing than a ream of empirical data (although both are important). ” Within computer algebra, some areas have traditionally followed the former methodology, notably some parts of polynomial algebra and linear algebra. Other areas, such as polynomial system solving, have not yet been amenable to this - proach. The usual “input size” parameters of computer science seem inadequate, and although some natural “geometric” parameters have been identi?ed (solution dimension, regularity), not all (potential) major progress can be expressed in this framework. Symbolic integration and summation have been in a similar state.

This volume gives an up-to-date review of the subject Integration in Finite Terms. The book collects four significant texts together with an extensive bibliography and commentaries discussing these works and their impact. These texts, either out of print or never published before, are fundamental to the subject of the book. Applications in combinatorics and physics have aroused a renewed interest in this well-developed area devoted to finding solutions of differential equations and, in particular, antiderivatives, expressible in terms of classes of elementary and special functions.

The goal of Computer Algebra: Concepts and Techniques is to demystify computer algebra systems for a wide audience including students, faculty, and professionals in scientific fields such as computer science, mathematics, engineering, and physics. Unlike previous books, the only prerequisites are knowledge of first year calculus and a little programming experience — a background that can be assumed of the intended audience. The book is written in a lean and lively style, with numerous examples to illustrate the issues and techniques discussed. It presents the principal algorithms and data structures, while also discussing the inherent and practical limitations of these systems

While computational technologies are transforming the professional practice of mathematics, as yet they have had little impact on school mathematics. This pioneering text develops a theorized analysis of why this is and what can be done to address it. It examines the particular case of symbolic calculators (equipped with computer algebra systems) in secondary education. Drawing on a substantial program of French innovation and research, as well as closely related studies from Australia and the Netherlands, it provides rich illustrations of the many aspects of technology integration, and of the ways in which these are shaped at different levels of the educational institution. This text offers the first English-language exposition of how an innovative synthesis of the theories of instrumentation and didactics can be used to illuminate the complexities of technology integration. It offers important guidance for policy and practice through its analysis of the central role of the teacher and its identification of key principles for effective didactical design and management. These distinctive features make this book essential reading for researchers, teacher educators, and graduate students in mathematics education and technology in education, as well as for teachers of mathematics at upper-secondary and university levels. This is a revised, English-language edition of D. Guin & L. Trouche (Eds.) (2002) Calculatrices symboliques. Transformer un outil en un instrument de travail mathématique: un problème didactique (Editions La Pensée Sauvage, Grenoble).

The book focuses on advanced computer algebra methods and special functions that have striking applications in the context of quantum field theory. It presents the state of the art and new methods for (infinite) multiple sums, multiple integrals, in particular Feynman integrals, difference and differential equations in the format of survey articles. The presented techniques emerge from interdisciplinary fields: mathematics, computer science and theoretical physics; the articles are written by mathematicians and physicists with the goal that both groups can learn from the other field, including most recent developments. Besides that, the collection of articles also serves as an up-to-date handbook of available algorithms/software that are commonly used or might be useful in the fields of mathematics, physics or other sciences.