Computer - Human Interaction in Symbolic Computation by Norbert Kajler
The well attended March 1994 HIse workshop in Amsterdam was a very lively con ference which stimulated much discussion and human-human interaction. The value of the effort was not only in generating new ideas, but in making people aware of work that has gone on on many fronts in using computers to make mathematics more understandable.-
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
-
Loewy Decomposition of Linear Differential Equations
-
Thinking Programs
-
Correct Software in Web Applications and Web Services
-
Mechanical Theorem Proving in Geometries
-
Computer-Supported Calculus
-
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
| SKU | Unavailable |
| ISBN 13 | 9783211828434 |
| ISBN 10 | 3211828435 |
| Title | Computer - Human Interaction in Symbolic Computation |
| Author | Norbert Kajler |
| Series | Texts And Monographs In Symbolic Computation Ser |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Springer Verlag GmbH |
| Year published | 1998-06-10 |
| Number of pages | 212 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |