Texts & Monographs in Symbolic Computation

Raab / Singer

Integration in Finite Terms: Fundamental Sources

Integration in Finite Terms: Fundamental Sources

Integration in Finite Terms: Fundamental Sources

Fachbuch2023BuchSpringerISBN 978-3-030-98769-5

Raab / Singer

Integration in Finite Terms: Fundamental Sources

Integration in Finite Terms: Fundamental Sources

Integration in Finite Terms: Fundamental Sources

Fachbuch2022BuchSpringerISBN 978-3-030-98766-4

Schreiner

Concrete Abstractions

Concrete Abstractions

Concrete Abstractions

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

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

Fachbuch2023BuchSpringerISBN 978-3-031-24933-4

Raab / Singer

Integration in Finite Terms: Fundamental Sources

Integration in Finite Terms: Fundamental Sources

Integration in Finite Terms: Fundamental Sources

2022eBook (PDF mit Wasserzeichen)Springer International PublishingISBN 978-3-030-98767-1

Schreiner

Concrete Abstractions

Concrete Abstractions

Concrete Abstractions

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

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

2023eBook (PDF mit Wasserzeichen)Springer International PublishingISBN 978-3-031-24934-1

Schreiner

Thinking Programs

Thinking Programs

Thinking Programs

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

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

2021eBook (PDF mit Wasserzeichen)Springer International PublishingISBN 978-3-030-80507-4

Blümlein / Schneider

Anti-Differentiation and the Calculation of Feynman Amplitudes

Anti-Differentiation and the Calculation of Feynman Amplitudes

Anti-Differentiation and the Calculation of Feynman Amplitudes

2021eBook (PDF mit Wasserzeichen)Springer International PublishingISBN 978-3-030-80219-6

Melczer

An Invitation to Analytic Combinatorics

An Invitation to Analytic Combinatorics

An Invitation to Analytic Combinatorics

From One to Several Variables

From One to Several Variables

2020eBook (PDF mit Wasserzeichen)Springer International PublishingISBN 978-3-030-67080-1

Pillwein / Schneider

Algorithmic Combinatorics: Enumerative Combinatorics, Special Functions and Computer Algebra

Algorithmic Combinatorics: Enumerative Combinatorics, Special Functions and Computer Algebra

Algorithmic Combinatorics: Enumerative Combinatorics, Special Functions and Computer Algebra

In Honour of Peter Paule on his 60th Birthday

In Honour of Peter Paule on his 60th Birthday

2020eBook (PDF mit Wasserzeichen)Springer International PublishingISBN 978-3-030-44559-1

Ida

An Introduction to Computational Origami

An Introduction to Computational Origami

An Introduction to Computational Origami

2020eBook (PDF mit Wasserzeichen)Springer International PublishingISBN 978-3-319-59189-6

Sturmfels

Algorithms in Invariant Theory

Algorithms in Invariant Theory

Algorithms in Invariant Theory

2019eBook (PDF mit Wasserzeichen)Springer ViennaISBN 978-3-7091-4368-1

Thalheim / Schewe / Prinz / Buchberger

Correct Software in Web Applications and Web Services

Correct Software in Web Applications and Web Services

Correct Software in Web Applications and Web Services

2015eBook (PDF mit Wasserzeichen)Springer International PublishingISBN 978-3-319-17112-8

Blümlein / Schneider / Paule

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

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

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

2019eBook (PDF mit Wasserzeichen)Springer International PublishingISBN 978-3-030-04480-0

Krasil'shchik / Verbovetsky / Vitolo

The Symbolic Computation of Integrability Structures for Partial Differential Equations

The Symbolic Computation of Integrability Structures for Partial Differential Equations

The Symbolic Computation of Integrability Structures for Partial Differential Equations

2018eBook (PDF mit Wasserzeichen)Springer International PublishingISBN 978-3-319-71655-8