Computer-Supported Calculus (Texts & Monographs in Symbolic Computation)
Description
This is a new type of calculus book: Students who master this text will be well versed in calculus and, in addition, possess a useful working knowledge of one of the most important mathematical software systems, namely, MACSYMA. This will equip them with the mathematical competence they need for science and engi- neering and the competitive workplace. The choice of MACSYMA is not essential for the didactic goal of the book. In fact, any of the other major mathematical software systems, e. g., AXIOM, MATHEMATICA, MAPLE, DERIVE, or REDUCE, could have been taken for the examples and for acquiring the skill in using these systems for doing mathematics on computers. The symbolic and numerical calcu- lations described in this book will be easily performed in any of these systems by slight modification of the syntax as soon as the student understands and masters the MACSYMA examples in this book. What is important, however, is that the student gets all the information necessary to design and execute the calculations in at least one concrete implementation language as this is done in this book and also that the use of the mathematical software system is completely integrated with the text. In these times of globalization, firms which are unable to hire adequately trained technology experts will not prosper. For corporations which depend heavily on sci- ence and engineering, remaining competitive in the global economy will require hiring employees having had a traditionally rigorous mathematical education.
Other Books in Series
Quantifier Elimination and Cylindrical Algebraic Decomposition (Texts & Monographs in Symbolic Computation)
Elliptic Integrals, Elliptic Functions and Modular Forms in Quantum Field Theory (Texts & Monographs in Symbolic Computation)
Integration in Finite Terms: Fundamental Sources (Texts & Monographs in Symbolic Computation)
The Symbolic Computation of Integrability Structures for Partial Differential Equations (Texts & Monographs in Symbolic Computation)
Algorithmic Combinatorics: Enumerative Combinatorics, Special Functions and Computer Algebra: In Honour of Peter Paule on His 60th Birthday (Texts & Monographs in Symbolic Computation)
An Introduction to Computational Origami (Texts & Monographs in Symbolic Computation)
Anti-Differentiation and the Calculation of Feynman Amplitudes (Texts & Monographs in Symbolic Computation)
Thinking Programs: Logical Modeling and Reasoning about Languages, Data, Computations, and Executions (Texts & Monographs in Symbolic Computation)
Computer Algebra in Quantum Field Theory: Integration, Summation and Special Functions (Texts & Monographs in Symbolic Computation)
Approximate Commutative Algebra (Texts & Monographs in Symbolic Computation)
Polynomial Algorithms in Computer Algebra (Texts & Monographs in Symbolic Computation)
Thinking Programs: Logical Modeling and Reasoning about Languages, Data, Computations, and Executions (Texts & Monographs in Symbolic Computation)
Loewy Decomposition of Linear Differential Equations (Texts & Monographs in Symbolic Computation)
An Invitation to Analytic Combinatorics: From One to Several Variables (Texts & Monographs in Symbolic Computation)
Algorithms in Invariant Theory (Texts & Monographs in Symbolic Computation)
Correct Software in Web Applications and Web Services (Texts & Monographs in Symbolic Computation)
The Concrete Tetrahedron: Symbolic Sums, Recurrence Equations, Generating Functions, Asymptotic Estimates (Texts & Monographs in Symbolic Computation)
Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the Riscal Model Checker (Texts & Monographs in Symbolic Computation)
