Jump to main content

yr 〜
yr

Search results 21

An introduction to computational origami (Texts and monographs in symbolic computation)

An introduction to computational origami (Texts and monographs in symbolic computation)
Paper図書
Tetsuo Ida.Springer[2020]<MA91-D1>
National Diet Library
  • Title HeadingTexts and monographs in symbolic computation.

An Invitation to analytic combinatorics : from one to several variables

An Invitation to analytic combinatorics : from one to several variables
Paper図書
Stephen MelczerSpringerc2021
Other Libraries in Japan

Anti-differentiation and the calculation of Feynman amplitudes

Anti-differentiation and the calculation of Feynman amplitudes
Paper図書
Johannes Blümlein, Carsten Schneider, editorsSpringerc2021
Other Libraries in Japan

Algorithmic combinatorics : enumerative combinatorics, special functions and computer algebra : in honour of Peter Paule on his 60th Birthday

Algorithmic combinatorics : enumerative combinatorics, special functions and computer algebra : in honour of Peter Paule on his 60th Birthday
Paper図書
Veronika Pillwein, Carsten Schneider, editorsSpringerc2020
Other Libraries in Japan

Elliptic integrals, elliptic functions and modular forms in quantum field theory

Elliptic integrals, elliptic functions and modular forms in quantum field theory
Paper図書
Johannes Blümlein, Carsten Schneider, Peter Paule, editorsSpringerc2019
Other Libraries in Japan

The symbolic computation of integrability structures for partial differential equations

The symbolic computation of integrability structures for partial differential equations
Paper図書
Joseph Krasil'shchik, Alexander Verbovetsky, Raffaele VitoloSpringerc2017
Other Libraries in Japan

Computer algebra in quantum field theory : integration, summation and special functions : pbk.

Computer algebra in quantum field theory : integration, summation and special functions : pbk.
Paper図書
Carsten Schneider, Johannes Blümlein, editorsSpringerc2013
Other Libraries in Japan

Loewy Decomposition of Linear Differential Equations

Loewy Decomposition of Linear Differential Equations
Paper図書
Fritz SchwarzSpringerc2012
Other Libraries in Japan

Numerical and symbolic scientific computing : progress and prospects : pbk

Numerical and symbolic scientific computing : progress and prospects : pbk
Paper図書
Ulrich Langer, Peter Paule, editorsSpringerc2012
Other Libraries in Japan

The concrete tetrahedron : symbolic sums, recurrence equations, generating functions, asymptotic estimates : pbk

The concrete tetrahedron : symbolic sums, recurrence equations, generating functions, asymptotic estimates : pbk
Paper図書
Manuel Kauers, Peter PauleSpringerc2011
Other Libraries in Japan

Approximate commutative algebra

Approximate commutative algebra
Paper図書
Lorenzo Robbiano, John Abbott, editorsSpringer-Verlagc2009
Other Libraries in Japan

Algorithms in invariant theory 2nd ed

Algorithms in invariant theory 2nd ed
Paper図書
Bernd SturmfelsSpringer-Verlag2008
Other Libraries in Japan

Elimination methods

Elimination methods
Paper図書
D. WangSpringer2001
Other Libraries in Japan

Computer-supported calculus

Computer-supported calculus
Paper図書
A. Ben-Israel, R. GilbertSpringer-Verlagc2002
Other Libraries in Japan

Computer-human interaction in symbolic computation

Computer-human interaction in symbolic computation
Paper図書
N. Kajler, ed. ; with a foreword by Dana S. ScottSpringer-Verlagc1998
Other Libraries in Japan

Quantifier elimination and cylindrical algebraic decomposition

Quantifier elimination and cylindrical algebraic decomposition
Paper図書
B.F. Caviness and J.R. Johnson (eds.)Springerc1998
Other Libraries in Japan

Advances in the design of symbolic computation systems : alk. paper

Advances in the design of symbolic computation systems : alk. paper
Paper図書
A. Miola and M. Temperini (eds.)Springerc1997
Other Libraries in Japan

Polynomial algorithms in computer algebra : au

Polynomial algorithms in computer algebra : au
Paper図書
F. WinklerSpringer-Verlagc1996
Other Libraries in Japan

Automated practical reasoning : algebraic approaches : au : us

Automated practical reasoning : algebraic approaches : au : us
Paper図書
Jochen Pfalzgraf and Dongming Wang, eds. ; with a foreword by Jim CunninghamSpringer-Verlagc1995
Other Libraries in Japan

Mechanical theorem proving in geometries : basic principles : au : us

Mechanical theorem proving in geometries : basic principles : au : us
Paper図書
Wen-tsün Wu ; translated from the Chinese by Xiaofan Jin and Dongming WangSpringer-Verlagc1994
Other Libraries in Japan
RSS