Get started
Source

Texts & monographs in symbolic computation/Texts and monographs in symbolic computation

ISSNs: 0943-853X, 2197-8409
Source type: book series
Alternate names: Texts & monographs in symbolic computation, Texts and monographs in symbolic computation (Internet), Texts and monographs in symbolic computation (Print)
Fully OA: No
DOAJ: No
OpenAlex ID: S4210189782
A Decision Method for Elementary Algebra and Geometry
1998 · Alfred Tarski · Texts & monographs in symbolic computation/Texts and monographs in symbolic computation · 1,644
Algorithms in Invariant Theory
1993 · Bernd Sturmfels · Texts & monographs in symbolic computation/Texts and monographs in symbolic computation · 432
Quantifier Elimination and Cylindrical Algebraic Decomposition
1998 · Bob F. Caviness, Jeremy R. Johnson · Texts & monographs in symbolic computation/Texts and monographs in symbolic computation · 411
Super-Exponential Complexity of Presburger Arithmetic
1998 · Michael J. Fischer, Michael O. Rabin · Texts & monographs in symbolic computation/Texts and monographs in symbolic computation · 331
PDF
Quantifier Elimination for Real Closed Fields by Cylindrical Algebraic Decomposition
1998 · George E. Collins · Texts & monographs in symbolic computation/Texts and monographs in symbolic computation · 165
Elimination Methods
2001 · Dongming Wang · Texts & monographs in symbolic computation/Texts and monographs in symbolic computation · 144
Mechanical Theorem Proving in Geometries
1994 · Wen-tsün Wu · Texts & monographs in symbolic computation/Texts and monographs in symbolic computation · 138
Simplifying Multiple Sums in Difference Fields
2013 · Carsten Schneider · Texts & monographs in symbolic computation/Texts and monographs in symbolic computation · 129
PDF
Polynomial Algorithms in Computer Algebra
1996 · Franz Winkler · Texts & monographs in symbolic computation/Texts and monographs in symbolic computation · 128
An Improved Projection Operation for Cylindrical Algebraic Decomposition
1998 · Scott McCallum · Texts & monographs in symbolic computation/Texts and monographs in symbolic computation · 125
The Concrete Tetrahedron
2011 · Manuel Kauers, Peter Paule · Texts & monographs in symbolic computation/Texts and monographs in symbolic computation · 101
Quantifier Elimination by Cylindrical Algebraic Decomposition — Twenty Years of Progress
1998 · George E. Collins · Texts & monographs in symbolic computation/Texts and monographs in symbolic computation · 97
Algorithms for Polynomial Real Root Isolation
1998 · J. R. Johnson · Texts & monographs in symbolic computation/Texts and monographs in symbolic computation · 85
Integration of Algebraic Functions
2022 · Barry M. Trager · Texts & monographs in symbolic computation/Texts and monographs in symbolic computation · 72
A New Approach to Quantifier Elimination for Real Algebra
1998 · V. Weispfenning · Texts & monographs in symbolic computation/Texts and monographs in symbolic computation · 70
The Symbolic Computation of Integrability Structures for Partial Differential Equations
2017 · Joseph Krasil'shchik, Alexander Verbovetsky, et al. · Texts & monographs in symbolic computation/Texts and monographs in symbolic computation · 68
Sturm—Habicht Sequences, Determinants and Real Roots of Univariate Polynomials
1998 · L. González-Vega, T. Recio, et al. · Texts & monographs in symbolic computation/Texts and monographs in symbolic computation · 61
Design principles of Mathpert: software to support education in algebra and calculus
1998 · Michael Beeson · Texts & monographs in symbolic computation/Texts and monographs in symbolic computation · 60
Algorithms in Invariant Theory
2008 · Sturmfels, Bernd · Texts & monographs in symbolic computation/Texts and monographs in symbolic computation · 57
Computer Algebra in Quantum Field Theory
2013 · Carsten Schneider, Johannes Blümlein · Texts & monographs in symbolic computation/Texts and monographs in symbolic computation · 56
Multiple Hypergeometric Series: Appell Series and Beyond
2013 · Michael J. Schlosser · Texts & monographs in symbolic computation/Texts and monographs in symbolic computation · 55
PDF
Creative Telescoping for Holonomic Functions
2013 · Christoph Koutschan · Texts & monographs in symbolic computation/Texts and monographs in symbolic computation · 55
PDF
A New Algorithm to Find a Point in Every Cell Defined by a Family of Polynomials
1998 · Saugata Basu, Richard Pollack, et al. · Texts & monographs in symbolic computation/Texts and monographs in symbolic computation · 54
A Combinatorial Algorithm Solving Some Quantifier Elimination Problems
1998 · Laureano González-Vega · Texts & monographs in symbolic computation/Texts and monographs in symbolic computation · 52
Integration in Finite Terms Liouville’s Theory of Elementary Methods
2022 · Joseph Fels Ritt · Texts & monographs in symbolic computation/Texts and monographs in symbolic computation · 47
Works count: 309
Citation count: 6,052
H-index: 33
I10-index: 72
2yr mean citedness:
Year
Topic
Type