In the history of mathematics there are many situations in which cal- lations were performed incorrectly for important practical applications. Let us look at some examples, the history of computing the number ? began in Egypt and Babylon about 2000 years BC, since then many mathematicians have calculated ? (e. g. , Archimedes, Ptolemy, Vi` ete, etc. ). The ?rst formula for computing decimal digits of ? was disc- ered by J. Machin (in 1706), who was the ?rst to correctly compute 100 digits of ?. Then many people used his method, e. g. , W. Shanks calculated ? with 707 digits (within 15 years), although due to mistakes only the ?rst 527 were correct. For the next examples, we can mention the history of computing the ?ne-structure constant ? (that was ?rst discovered by A. Sommerfeld), and the mathematical tables, exact - lutions, and formulas, published in many mathematical textbooks, were not veri?ed rigorously [25]. These errors could have a large e?ect on results obtained by engineers. But sometimes, the solution of such problems required such techn- ogy that was not available at that time. In modern mathematics there exist computers that can perform various mathematical operations for which humans are incapable. Therefore the computers can be used to verify the results obtained by humans, to discovery new results, to - provetheresultsthatahumancanobtainwithoutanytechnology. With respectto our example of computing?, we can mention that recently (in 2002) Y. Kanada, Y. Ushiro, H. Kuroda, and M.

The emphasis of the book is given in how to construct different types of solutions (exact, approximate analytical, numerical, graphical) of numerous nonlinear PDEs correctly, easily, and quickly. The reader can learn a wide variety of techniques and solve numerous nonlinear PDEs included and many other differential equations, simplifying and transforming the equations and solutions, arbitrary functions and parameters, presented in the book). Numerous comparisons and relationships between various types of solutions, different methods and approaches are provided, the results obtained in Maple and Mathematica, facilitates a deeper understanding of the subject. Among a big number of CAS, we choose the two systems, Maple and Mathematica, that are used worldwide by students, research mathematicians, scientists, and engineers. As in the our previous books, we propose the idea to use in parallel both systems, Maple and Mathematica, since in many research problems frequently it is required to compare independent results obtained by using different computer algebra systems, Maple and/or Mathematica, at all stages of the solution process. One of the main points (related to CAS) is based on the implementation of a whole solution method (e.g. starting from an analytical derivation of exact governing equations, constructing discretizations and analytical formulas of a numerical method, performing numerical procedure, obtaining various visualizations, and comparing the numerical solution obtained with other types of solutions considered in the book, e.g. with asymptotic solution).

With over a million users around the world, the Mathematica ® software system created by Stephen Wolfram has defined the direction of technical computing for nearly a decade. With its major new document and computer language technology, the new version, Mathematica 3.0 takes the top-power capabilities of Mathematica and make them accessible to a vastly broader audience. This book presents this revolutionary new version of Mathematica. The Mathematica Book is a must-have purchase for anyone who wants to understand the revolutionary opportunities in science, technology, business and education made possible by Mathematica 3.0. This encompasses a broad audience of scientists and mathematicians; engineers; computer professionals; quantitative financial analysts; medical researchers; and students at high-school, college and graduate levels. Written by the creator of the system, The Mathematica Book includes both a tutorial introduction and complete reference information, and contains a comprehensive description of how to take advantage of Mathematica's ability to solve myriad technical computing problems and its powerful graphical and typesetting capabilities. Like previous editions, the book is sure to be found well-thumbed on the desks of many technical professionals and students around the world.

Maple is a very powerful computer algebra system used by students, educators, mathematicians, statisticians, scientists, and engineers for doing numerical and symbolic computations. Greatly expanded and updated from the author's MAPLE V Primer, The MAPLE Book offers extensive coverage of the latest version of this outstanding software package, MAPL

In the history of mathematics there are many situations in which cal- lations were performed incorrectly for important practical applications. Let us look at some examples, the history of computing the number ? began in Egypt and Babylon about 2000 years BC, since then many mathematicians have calculated ? (e. g. , Archimedes, Ptolemy, Vi` ete, etc. ). The ?rst formula for computing decimal digits of ? was disc- ered by J. Machin (in 1706), who was the ?rst to correctly compute 100 digits of ?. Then many people used his method, e. g. , W. Shanks calculated ? with 707 digits (within 15 years), although due to mistakes only the ?rst 527 were correct. For the next examples, we can mention the history of computing the ?ne-structure constant ? (that was ?rst discovered by A. Sommerfeld), and the mathematical tables, exact - lutions, and formulas, published in many mathematical textbooks, were not veri?ed rigorously [25]. These errors could have a large e?ect on results obtained by engineers. But sometimes, the solution of such problems required such techn- ogy that was not available at that time. In modern mathematics there exist computers that can perform various mathematical operations for which humans are incapable. Therefore the computers can be used to verify the results obtained by humans, to discovery new results, to - provetheresultsthatahumancanobtainwithoutanytechnology. With respectto our example of computing?, we can mention that recently (in 2002) Y. Kanada, Y. Ushiro, H. Kuroda, and M.

The design and implementation of the Maple system is an on-going project of the Symbolic Com putation Group at the University of Waterloo in Ontario, Canada. This manual corresponds with version V (roman numeral five) of the Maple system. The on-line help subsystem can be invoked from within a Maple session to view documentation on specific topics. In particular, the command ?updates points the user to documentation updates for each new version of Maple. The Maple project was first conceived in the autumn of 1980, growing out of discussions on the state of symbolic computation at the University of Waterloo. The authors wish to acknowledge many fruitful discussions with colleagues at the University of Waterloo, particularly Morven Gen tleman, Michael Malcolm, and Frank Tompa. It was recognized in these discussions that none ofthe locaIly-available systems for symbolic computation provided the facilities that should be expected for symbolic computation in modern computing environments. We concluded that since the basic design decisions for the then-current symbolic systems such as ALTRAN, CAMAL, REDUCE, and MACSYMA were based on 1960's computing technology, it would be wise to design a new system "from scratch". Thus we could take advantage of the software engineering technology which had become available in recent years, as well as drawing from the lessons of experience. Maple's basic features (elementary data structures, Input/output, arithmetic with numbers, and elementary simplification) are coded in a systems programming language for efficiency.

Mathematics for Physical Science and Engineering is a complete text in mathematics for physical science that includes the use of symbolic computation to illustrate the mathematical concepts and enable the solution of a broader range of practical problems. This book enables professionals to connect their knowledge of mathematics to either or both of the symbolic languages Maple and Mathematica. The book begins by introducing the reader to symbolic computation and how it can be applied to solve a broad range of practical problems. Chapters cover topics that include: infinite series; complex numbers and functions; vectors and matrices; vector analysis; tensor analysis; ordinary differential equations; general vector spaces; Fourier series; partial differential equations; complex variable theory; and probability and statistics. Each important concept is clarified to students through the use of a simple example and often an illustration. This book is an ideal reference for upper level undergraduates in physical chemistry, physics, engineering, and advanced/applied mathematics courses. It will also appeal to graduate physicists, engineers and related specialties seeking to address practical problems in physical science. Clarifies each important concept to students through the use of a simple example and often an illustration Provides quick-reference for students through multiple appendices, including an overview of terms in most commonly used applications (Mathematica, Maple) Shows how symbolic computing enables solving a broad range of practical problems