Book titles in this series
-
-
Computer Algebra in Quantum Field Theory
Integration, Summation and Special Functions
- Editors:
-
- Carsten Schneider
- Johannes Blümlein
- Copyright: 2013
Available Renditions
- Hard cover
- Soft cover
- eBook
-
Loewy Decomposition of Linear Differential Equations
- Authors:
-
- Fritz Schwarz
- Copyright: 2012
Available Renditions
- Hard cover
- Soft cover
- eBook
-
Advances in the Design of Symbolic Computation Systems
- Editors:
-
- Alfonso Miola
- Marco Temperini
- Copyright: 1997
Available Renditions
- Soft cover
- eBook
-
Automated Practical Reasoning
Algebraic Approaches
- Editors:
-
- Jochen Pfalzgraf
- Dongming Wang
- Copyright: 1995
Available Renditions
- Soft cover
- eBook
-
Computer - Human Interaction in Symbolic Computation
- Editors:
-
- Norbert Kajler
- Copyright: 1998
Available Renditions
- Soft cover
- eBook
-
Computer-Supported Calculus
- Authors:
-
- A. Ben-Israel
- R. Gilbert
- Copyright: 2002
Available Renditions
- Soft cover
- eBook
-
-
Mechanical Theorem Proving in Geometries
Basic Principles
- Authors:
-
- Wen-tsün Wu
- Copyright: 1994
Available Renditions
- Soft cover
- eBook
-
Polynomial Algorithms in Computer Algebra
- Authors:
-
- Franz Winkler
- Copyright: 1996
Available Renditions
- Soft cover
- eBook