| 1 |
Algorithms in invariant theory / Bernd Sturmfels
: New York,: Wien. - Wien : Springer-Verlag , c1993
|
| 2 |
Quantifier elimination and cylindrical algebraic decomposition / B.F. Caviness and J.R. Johnson (eds.)
Wien ; New York : Springer , c1998
|
| 3 |
Polynomial algorithms in computer algebra / F. Winkler
: au. - Wien ; New York : Springer-Verlag , c1996
|
| 4 |
Automated practical reasoning : algebraic approaches / Jochen Pfalzgraf and Dongming Wang, eds. ; with a foreword by Jim Cunningham
: au,: us. - Wien ; New York : Springer-Verlag , c1995
|
| 5 |
Advances in the design of symbolic computation systems / A. Miola and M. Temperini (eds.)
: alk. paper. - Wien ; New York : Springer , c1997
|
| 6 |
Algorithms in invariant theory / Bernd Sturmfels
2nd ed. - Wien : Springer-Verlag , 2008
|
| 7 |
Approximate commutative algebra / Lorenzo Robbiano, John Abbott, editors
Wien : Springer-Verlag , c2009
|
| 8 |
Computer algebra in quantum field theory : integration, summation and special functions / Carsten Schneider, Johannes Blumlein, editors
Wien : Springer , c2013
|
| 9 |
The symbolic computation of integrability structures for partial differential equations / Joseph Krasil'shchik, Alexander Verbovetsky, Raffaele Vitolo
[Cham] : Springer , c2017
|
| 10 |
Elliptic integrals, elliptic functions and modular forms in quantum field theory / Johannes Blümlein, Carsten Schneider, Peter Paule, editors
Cham : Springer , c2019
|
| 11 |
An introduction to computational origami / Tetsuo Ida
Cham : Springer , c2020
|
| 12 |
Algorithmic combinatorics : enumerative combinatorics, special functions and computer algebra : in honour of Peter Paule on his 60th Birthday / Veronika Pillwein, Carsten Schneider, editors
Cham : Springer , c2020
|
Mendeley出力
