On the public citation graph
Computing Final Polynomials and Final Syzygies Using Buchberger’s Gröbner Bases Method
0 signed · 43 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/3-540-18928-9_5openalex-snapshot
Applications of Gröbner bases in non-linear computational geometry
inferredcites →https://doi.org/10.1007/978-3-662-21581-4openalex-snapshot
The Red Book of Varieties and Schemes
inferredcites →https://doi.org/10.1007/978-94-009-5225-6openalex-snapshot
Multidimensional Systems Theory
inferredcites →https://doi.org/10.1007/978-94-009-5225-6_6openalex-snapshot
Gröbner Bases: An Algorithmic Method in Polynomial Ideal Theory
inferredcites →https://doi.org/10.1007/bf01206635openalex-snapshot
Die Frage der endlich vielen Schritte in der Theorie der Polynomideale
inferredcites →https://doi.org/10.1007/bf01817776openalex-snapshot
Ein algorithmisches Kriterium für die Lösbarkeit eines algebraischen Gleichungssystems
inferredcites →https://doi.org/10.1007/bf01844169openalex-snapshot
Ein algorithmisches Kriterium für die Lösbarkeit eines algebraischen Gleichungssystems
inferredcites →https://doi.org/10.1007/bf02328447openalex-snapshot
Basic principles of mechanical theorem proving in elementary geometries
inferredcites →https://doi.org/10.1007/bf02766213openalex-snapshot
Polytopal and nonpolytopal spheres an algorithmic approach
inferredcites →https://doi.org/10.1007/bfb0075308openalex-snapshot
Applications of model theory to real algebraic geometry
inferredcites →https://doi.org/10.1016/0001-8708(70)90015-0openalex-snapshot
Invariant theory, old and new
inferredcites →https://doi.org/10.1016/0097-3165(73)90014-9openalex-snapshot
Affine embeddings of Sylverter-Gallai designs
inferredcites →https://doi.org/10.1016/s0195-6698(87)80026-4openalex-snapshot
Altshuler's Sphere M42510 is not Polytopal
inferredcites →https://doi.org/10.1016/s0747-7171(86)80007-4openalex-snapshot
Using Gröbner bases to reason about geometry problems
inferredcites →https://doi.org/10.1016/s0747-7171(88)80005-1openalex-snapshot
Solving systems of polynomial inequalities in subexponential time
inferredcites →https://doi.org/10.1016/s0747-7171(88)80047-6openalex-snapshot
Using Gröbner bases to determine algebra membership, split surjective algebra homomorphisms determine birational equivalence
inferredcites →https://doi.org/10.1080/03081088208817476openalex-snapshot
Some outstanding problems in the theory of matrices
inferredcites →https://doi.org/10.1090/s0273-0979-1986-15431-5openalex-snapshot
On the real spectrum of a ring and its application to semialgebraic geometry
inferredcites →https://doi.org/10.2307/1971361openalex-snapshot
Bounds for the Degrees in the Nullstellensatz
inferredcites →https://doi.org/10.24033/bsmf.1848openalex-snapshot
Algèbre linéaire sur $K[X_1,\dots,X_n]$ et élimination
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/jcd.20119openalex-snapshot
Enumerating Motzkin–Rabin geometries
inferred← citeshttps://doi.org/10.1007/3-540-45410-1_13openalex-snapshot
Automated Theorem Proving in Incidence Geometry — A Bracket Algebra Based Elimination Method
inferred← citeshttps://doi.org/10.1007/978-3-319-16721-3_1openalex-snapshot
Geometry, Algebra, and Algorithms
inferred← citeshttps://doi.org/10.1007/978-3-319-16721-3_10openalex-snapshot
Additional Gröbner Basis Algorithms
inferred← citeshttps://doi.org/10.1007/978-3-319-16721-3_4openalex-snapshot
The Algebra–Geometry Dictionary
inferred← citeshttps://doi.org/10.1007/978-3-319-16721-3_5openalex-snapshot
Polynomial and Rational Functions on a Variety
inferred← citeshttps://doi.org/10.1007/978-3-319-16721-3_6openalex-snapshot
Robotics and Automatic Geometric Theorem Proving
inferred← citeshttps://doi.org/10.1007/978-3-319-16721-3_7openalex-snapshot
Invariant Theory of Finite Groups
inferred← citeshttps://doi.org/10.1007/978-3-319-16721-3_8openalex-snapshot
Projective Algebraic Geometry
inferred← citeshttps://doi.org/10.1007/978-3-319-16721-3_9openalex-snapshot
The Dimension of a Variety
inferred← citeshttps://doi.org/10.1007/978-94-015-8402-9_8openalex-snapshot
Automatic Proving of Geometric Theorems
inferred← citeshttps://doi.org/10.1007/bf01205079openalex-snapshot
Computing combinatorial decompositions of rings
inferred← citeshttps://doi.org/10.1007/bf01531327openalex-snapshot
Mechanical theorem proving in projective geometry
inferred← citeshttps://doi.org/10.1016/s0195-6698(13)80052-2openalex-snapshot
On the Finding of Final Polynomials
inferred← citeshttps://doi.org/10.1016/s0747-7171(03)00066-xopenalex-snapshot
Automated short proof generation for projective geometric theorems with Cayley and bracket algebras
inferred← citeshttps://doi.org/10.1016/s0747-7171(03)00067-1openalex-snapshot
Automated short proof generation for projective geometric theorems with Cayley and bracket algebras
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.