著者
書誌事項
Texts and monographs in symbolic computation
Springer-Verlag
この図書・雑誌をさがす
関連文献： 21件中 1-20を表示
- 1
- 2
- 1 / 2
-
1
- Anti-differentiation and the calculation of Feynman amplitudes
-
Johannes Blümlein, Carsten Schneider, editors
Springer c2021 Texts and monographs in symbolic computation
所蔵館1館
-
2
- An Invitation to analytic combinatorics : from one to several variables
-
Stephen Melczer
Springer c2021 Texts and monographs in symbolic computation
所蔵館2館
-
3
- 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
所蔵館4館
-
4
- An introduction to computational origami
-
Tetsuo Ida
Springer c2020 Texts and monographs in symbolic computation
所蔵館4館
-
5
- 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
所蔵館5館
-
6
- 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
所蔵館5館
-
7
- 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.
所蔵館9館
-
8
- Loewy Decomposition of Linear Differential Equations
-
Fritz Schwarz
Springer c2012 Texts and monographs in symbolic computation
所蔵館5館
-
9
- Numerical and symbolic scientific computing : progress and prospects
-
Ulrich Langer, Peter Paule, editors
Springer c2012 Texts and monographs in symbolic computation
: pbk
所蔵館2館
-
10
- The concrete tetrahedron : symbolic sums, recurrence equations, generating functions, asymptotic estimates
-
Manuel Kauers, Peter Paule
Springer c2011 Texts and monographs in symbolic computation
: pbk
所蔵館6館
-
11
- Approximate commutative algebra
-
Lorenzo Robbiano, John Abbott, editors
Springer-Verlag c2009 Texts and monographs in symbolic computation
所蔵館8館
-
12
- Algorithms in invariant theory
-
Bernd Sturmfels
Springer-Verlag 2008 2nd ed Texts and monographs in symbolic computation
所蔵館19館
-
13
- Computer-supported calculus
-
A. Ben-Israel, R. Gilbert
Springer-Verlag c2002 Texts and monographs in symbolic computation
所蔵館2館
-
14
- Elimination methods
-
D. Wang
Springer 2001 Texts and monographs in symbolic computation
所蔵館4館
-
15
- 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
所蔵館12館
-
16
- Quantifier elimination and cylindrical algebraic decomposition
-
B.F. Caviness and J.R. Johnson (eds.)
Springer c1998 Texts and monographs in symbolic computation
所蔵館13館
-
17
- Advances in the design of symbolic computation systems
-
A. Miola and M. Temperini (eds.)
Springer c1997 Texts and monographs in symbolic computation
: alk. paper
所蔵館12館
-
18
- Polynomial algorithms in computer algebra
-
F. Winkler
Springer-Verlag c1996 Texts and monographs in symbolic computation
: au
所蔵館41館
-
19
- 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
所蔵館21館
-
20
- Mechanical theorem proving in geometries : basic principles
-
Wen-tsün Wu ; translated from the Chinese by Xiaofan Jin and Dongming Wang
Springer-Verlag c1994 Texts and monographs in symbolic computation
: au , : us
所蔵館27館
- 1
- 2
- 1 / 2
