Computer-Supported Calculus by A Ben-Israel
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.-
Advances in the Design of Symbolic Computation Systems
-
Algorithms in Invariant Theory
-
An Invitation to Analytic Combinatorics
-
An Introduction to Computational Origami
-
The Concrete Tetrahedron
-
Algorithmic Combinatorics: Enumerative Combinatorics, Special Functions and Computer Algebra
-
Numerical and Symbolic Scientific Computing
-
Anti-Differentiation and the Calculation of Feynman Amplitudes
-
Integration in Finite Terms: Fundamental Sources
-
Approximate Commutative Algebra
-
Concrete Abstractions
-
Elliptic Integrals, Elliptic Functions and Modular Forms in Quantum Field Theory
-
Computer - Human Interaction in Symbolic Computation
-
Loewy Decomposition of Linear Differential Equations
-
Thinking Programs
-
Correct Software in Web Applications and Web Services
-
Mechanical Theorem Proving in Geometries
-
Polynomial Algorithms in Computer Algebra
-
The Symbolic Computation of Integrability Structures for Partial Differential Equations
-
Computer Algebra in Quantum Field Theory
-
Quantifier Elimination and Cylindrical Algebraic Decomposition
RUTH GILBERT is Lecturer in English at the University of Southampton. She is co-editor with Erica Fudge and Susan Wiseman of At the Borders of the Human: Beasts, Bodies and Natural Philosophy in the Early Modern Period.
| SKU | Unavailable |
| ISBN 13 | 9783709172308 |
| ISBN 10 | 3709172306 |
| Title | Computer-Supported Calculus |
| Author | A Ben-Israel |
| Series | Texts And Monographs In Symbolic Computation Ser |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Springer Verlag GmbH |
| Year published | 2012-10-13 |
| Number of pages | 612 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |