Mechanical Theorem Proving in Geometries
Wentsün Wu
Paperback
Not Available
Advances in the Design of Symbolic Computation Systems
Alfonso Miola and 1 more
Quantifier Elimination and Cylindrical Algebraic Decomposition
Bob F Caviness and 1 more
Computer - Human Interaction in Symbolic Computation
Norbert Kajler and 1 more
Elimination Methods
D Wang
Numerical and Symbolic Scientific Computing
Ulrich Langer
Loewy Decomposition of Linear Differential Equations
Fritz Schwarz
Computer-Supported Calculus
A BenIsrael and 1 more
Computer Algebra in Quantum Field Theory
Carsten Schneider and 1 more
Hardback
Correct Software in Web Applications and Web Services
Bernhard Thalheim and 3 more
The Symbolic Computation of Integrability Structures for Partial Differential Equations
Joseph Krasilshchik and 2 more
Elliptic Integrals, Elliptic Functions and Modular Forms in Quantum Field Theory
Johannes Blümlein and 2 more
Algorithmic Combinatorics: Enumerative Combinatorics, Special Functions and Computer Algebra
Veronika Pillwein
Integration in Finite Terms: Fundamental Sources
Clemens G Raab
Thinking Programs
Wolfgang Schreiner
Anti-Differentiation and the Calculation of Feynman Amplitudes
Johannes Blümlein
Concrete Abstractions
