Author(s)
Bibliographic Information
Texts and monographs in symbolic computation
Springer-Verlag
Search this Book/Journal
Related Books： 1-20 of 22
- 1
- 2
- 1 / 2
-
1
- Concrete abstractions : formalizing and analyzing discrete theories and algorithms with the RISCAL model checker
-
Wolfgang Schreiner
Springer , [2023] , c2023 Texts and monographs in symbolic computation
Available at 1 libraries
-
2
- Anti-differentiation and the calculation of Feynman amplitudes
-
Johannes Blümlein, Carsten Schneider, editors
Springer c2021 Texts and monographs in symbolic computation
Available at 1 libraries
-
3
- An Invitation to analytic combinatorics : from one to several variables
-
Stephen Melczer
Springer c2021 Texts and monographs in symbolic computation
Available at 2 libraries
-
4
- Algorithmic combinatorics : enumerative combinatorics, special functions and computer algebra : in honour of Peter Paule on his 60th Birthday
-
Veronika Pillwein, Carsten Schneider, editors
Springer c2020 Texts and monographs in symbolic computation
Available at 4 libraries
-
5
- An introduction to computational origami
-
Tetsuo Ida
Springer c2020 Texts and monographs in symbolic computation
Available at 4 libraries
-
6
- Elliptic integrals, elliptic functions and modular forms in quantum field theory
-
Johannes Blümlein, Carsten Schneider, Peter Paule, editors
Springer c2019 Texts and monographs in symbolic computation
Available at 5 libraries
-
7
- The symbolic computation of integrability structures for partial differential equations
-
Joseph Krasil'shchik, Alexander Verbovetsky, Raffaele Vitolo
Springer c2017 Texts and monographs in symbolic computation
Available at 5 libraries
-
8
- Computer algebra in quantum field theory : integration, summation and special functions
-
Carsten Schneider, Johannes Blümlein, editors
Springer c2013 Texts and monographs in symbolic computation
: pbk.
Available at 9 libraries
-
9
- Loewy Decomposition of Linear Differential Equations
-
Fritz Schwarz
Springer c2012 Texts and monographs in symbolic computation
Available at 5 libraries
-
10
- Numerical and symbolic scientific computing : progress and prospects
-
Ulrich Langer, Peter Paule, editors
Springer c2012 Texts and monographs in symbolic computation
: pbk
Available at 2 libraries
-
11
- The concrete tetrahedron : symbolic sums, recurrence equations, generating functions, asymptotic estimates
-
Manuel Kauers, Peter Paule
Springer c2011 Texts and monographs in symbolic computation
: pbk
Available at 6 libraries
-
12
- Approximate commutative algebra
-
Lorenzo Robbiano, John Abbott, editors
Springer-Verlag c2009 Texts and monographs in symbolic computation
Available at 8 libraries
-
13
- Algorithms in invariant theory
-
Bernd Sturmfels
Springer-Verlag 2008 2nd ed Texts and monographs in symbolic computation
Available at 19 libraries
-
14
- Computer-supported calculus
-
A. Ben-Israel, R. Gilbert
Springer-Verlag c2002 Texts and monographs in symbolic computation
Available at 2 libraries
-
15
- Elimination methods
-
D. Wang
Springer 2001 Texts and monographs in symbolic computation
Available at 4 libraries
-
16
- Computer-human interaction in symbolic computation
-
N. Kajler, ed. ; with a foreword by Dana S. Scott
Springer-Verlag c1998 Texts and monographs in symbolic computation
Available at 12 libraries
-
17
- Quantifier elimination and cylindrical algebraic decomposition
-
B.F. Caviness and J.R. Johnson (eds.)
Springer c1998 Texts and monographs in symbolic computation
Available at 13 libraries
-
18
- Advances in the design of symbolic computation systems
-
A. Miola and M. Temperini (eds.)
Springer c1997 Texts and monographs in symbolic computation
: alk. paper
Available at 12 libraries
-
19
- Polynomial algorithms in computer algebra
-
F. Winkler
Springer-Verlag c1996 Texts and monographs in symbolic computation
: au
Available at 41 libraries
-
20
- Automated practical reasoning : algebraic approaches
-
Jochen Pfalzgraf and Dongming Wang, eds. ; with a foreword by Jim Cunningham
Springer-Verlag c1995 Texts and monographs in symbolic computation
: au , : us
Available at 21 libraries
- 1
- 2
- 1 / 2
