Texts & Monographs in Symbolic Computation
Raab / Singer
Fachbuch2023SpringerISBN 978-3-030-98769-5
Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
Fachbuch2024SpringerISBN 978-3-031-24936-5
Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
eBook (PDF mit Wasserzeichen)2023Springer International PublishingISBN 978-3-031-24934-1
Raab / Singer
eBook (PDF mit Wasserzeichen)2022Springer International PublishingISBN 978-3-030-98767-1
Logical Modeling and Reasoning About Languages, Data, Computations, and Executions
eBook (PDF mit Wasserzeichen)2021Springer Nature SwitzerlandISBN 978-3-030-80507-4
Blümlein / Schneider
Anti-Differentiation and the Calculation of Feynman Amplitudes
Anti-Differentiation and the Calculation of Feynman Amplitudes
eBook (PDF mit Wasserzeichen)2021Springer International PublishingISBN 978-3-030-80219-6
From One to Several Variables
eBook (PDF mit Wasserzeichen)2020Springer 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
In Honour of Peter Paule on his 60th Birthday
eBook (PDF mit Wasserzeichen)2020Springer International PublishingISBN 978-3-030-44559-1
eBook (PDF mit Wasserzeichen)2020Springer International PublishingISBN 978-3-319-59189-6
Thalheim / Schewe / Prinz / Buchberger
eBook (PDF mit Wasserzeichen)2015Springer International PublishingISBN 978-3-319-17112-8
Krasil'shchik / Verbovetsky / Vitolo
The Symbolic Computation of Integrability Structures for Partial Differential Equations
The Symbolic Computation of Integrability Structures for Partial Differential Equations
eBook (PDF mit Wasserzeichen)2018Springer International PublishingISBN 978-3-319-71655-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
eBook (PDF mit Wasserzeichen)2019Springer International PublishingISBN 978-3-030-04480-0
eBook (PDF mit Wasserzeichen)2019Springer ViennaISBN 978-3-7091-4368-1