default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTexts & Monographs in Symbolic Computation
2026
- Wolfgang Schreiner:
Thinking Programs - A Series of the Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria, Second Edition. Texts & Monographs in Symbolic Computation, Springer 2026, ISBN 978-3-031-99704-4, pp. 17-624
2023
- Wolfgang Schreiner:
Concrete Abstractions - A Series of the Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria. Texts & Monographs in Symbolic Computation, Springer 2023, ISBN 978-3-031-24933-4, pp. 1-208
2021
- Stephen Melczer:
Algorithmic and Symbolic Combinatorics - A Series of the Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria. Texts & Monographs in Symbolic Computation, Springer 2021, ISBN 978-3-030-67079-5, pp. 1-405 - Wolfgang Schreiner:
Thinking Programs - A Series of the Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria. Texts & Monographs in Symbolic Computation, Springer 2021, ISBN 978-3-030-80506-7, pp. 3-619
2020
- Tetsuo Ida:
An Introduction to Computational Origami - A Series of the Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria. Texts & Monographs in Symbolic Computation, Springer 2020, ISBN 978-3-319-59188-9, pp. 1-201
2017
- Joseph Krasil'shchik, Alexander Verbovetsky, Raffaele Vitolo
:
The Symbolic Computation of Integrability Structures for Partial Differential Equations. Texts & Monographs in Symbolic Computation, Springer 2017, ISBN 978-3-319-71654-1, pp. 1-224
2012
- Fritz Schwarz:
Loewy Decomposition of Linear Differential Equations. Texts & Monographs in Symbolic Computation, Springer 2012, ISBN 978-3-7091-1285-4, pp. i-xv, 1-230
2011
- Manuel Kauers, Peter Paule:
The Concrete Tetrahedron - Symbolic Sums, Recurrence Equations, Generating Functions, Asymptotic Estimates. Texts & Monographs in Symbolic Computation, Springer 2011, ISBN 978-3-7091-0444-6, pp. i-ix, 1-203
2008
- Bernd Sturmfels:
Algorithms in Invariant Theory. Texts & Monographs in Symbolic Computation, Springer 2008, ISBN 978-3-211-77416-8, pp. I-VII, 1-197
2002
- Adi Ben-Israel, Robert Gilbert:
Computer-Supported Calculus. Texts & Monographs in Symbolic Computation, Springer 2002, ISBN 978-3-7091-7230-8, pp. i-xi, 1-612
2001
- Dongming Wang:
Elimination Methods. Texts & Monographs in Symbolic Computation, Springer 2001, ISBN 978-3-211-83241-7, pp. i-xiii, 1-244
1996
- Franz Winkler:
Polynomial Algorithms in Computer Algebra. Texts & Monographs in Symbolic Computation, Springer 1996, ISBN 978-3-211-82759-8, pp. i-viii, 1-279
1994
- Wu Wen-Tsün:
Mechanical Theorem Proving in Geometries - Basic Principles. Texts & Monographs in Symbolic Computation, Springer 1994, ISBN 978-3-211-82506-8, pp. I-XIV, 1-288
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-28 23:52 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
