Book titles in this series

Concrete Abstractions

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

Authors:

• Wolfgang Schreiner

• Copyright: 2023

Available Renditions

• Hard cover
• Soft cover
• eBook

Integration in Finite Terms: Fundamental Sources

Editors:

• Clemens G. Raab
• Michael F. Singer

• Copyright: 2022

Available Renditions

• Hard cover
• Soft cover
• eBook

Anti-Differentiation and the Calculation of Feynman Amplitudes

Editors:

• Johannes Blümlein
• Carsten Schneider

• Copyright: 2021

Available Renditions

• Hard cover
• Soft cover
• eBook

Thinking Programs

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

Authors:

• Wolfgang Schreiner

• Copyright: 2021

Available Renditions

• Hard cover
• Soft cover
• eBook

An Invitation to Analytic Combinatorics

From One to Several Variables

Authors:

• Stephen Melczer

• Copyright: 2021

Available Renditions

• Hard cover
• Soft cover
• eBook

Algorithmic Combinatorics: Enumerative Combinatorics, Special Functions and Computer Algebra

In Honour of Peter Paule on his 60th Birthday

Editors:

• Veronika Pillwein
• Carsten Schneider

• Copyright: 2020

Available Renditions

• Hard cover
• Soft cover
• eBook

An Introduction to Computational Origami

Authors:

• Tetsuo Ida

• Copyright: 2020

Available Renditions

• Hard cover
• eBook

Algorithms in Invariant Theory

Authors:

• Bernd Sturmfels

• Copyright: 1993

Available Renditions

• Soft cover
• eBook

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

Editors:

• Johannes Blümlein
• Carsten Schneider
• Peter Paule

• Copyright: 2019

Available Renditions

• Hard cover
• eBook

The Symbolic Computation of Integrability Structures for Partial Differential Equations

Authors:

• Joseph Krasil'shchik
• Alexander Verbovetsky
• Raffaele Vitolo

• Copyright: 2017

Available Renditions

• Hard cover
• Soft cover
• eBook