Texts and Monographs in Symbolic Computation – serie

Elliptic Integrals, Elliptic Functions and Modular Forms in Quantum Field Theory

Symbolic Computation of Integrability Structures for Partial Differential Equations

Algorithmic Combinatorics: Enumerative Combinatorics, Special Functions and Computer Algebra

In Honour of Peter Paule on his 60th Birthday

Algorithmic Combinatorics: Enumerative Combinatorics, Special Functions and Computer Algebra

In Honour of Peter Paule on his 60th Birthday

Invitation to Analytic Combinatorics

From One to Several Variables

Invitation to Analytic Combinatorics

From One to Several Variables

Anti-Differentiation and the Calculation of Feynman Amplitudes

Anti-Differentiation and the Calculation of Feynman Amplitudes

Thinking Programs

Logical Modeling and Reasoning About Languages, Data, Computations, and Executions

Integration in Finite Terms: Fundamental Sources

Integration in Finite Terms: Fundamental Sources

Concrete Abstractions

Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker

Concrete Abstractions

Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker

Thinking Programs

Logical Modeling and Reasoning About Languages, Data, Computations, and Executions

Algorithms in Invariant Theory

Mechanical Theorem Proving in Geometries

Basic Principles

Polynomial Algorithms in Computer Algebra

Computer - Human Interaction in Symbolic Computation

Advances in the Design of Symbolic Computation Systems

Computer-supported Calculus

Elimination Methods

Approximate Commutative Algebra

Correct Software in Web Applications and Web Services

Correct Software in Web Applications and Web Services

Introduction to Computational Origami

Symbolic Computation of Integrability Structures for Partial Differential Equations

Concrete Tetrahedron

Symbolic Sums, Recurrence Equations, Generating Functions, Asymptotic Estimates

Numerical and Symbolic Scientific Computing

Progress and Prospects

Loewy Decomposition of Linear Differential Equations