On the public citation graph
Fully incremental cylindrical algebraic decomposition
0 signed · 47 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.1006/jsco.2001.0463openalex-snapshot
Improved Projection for Cylindrical Algebraic Decomposition
inferredcites →https://doi.org/10.1007/978-1-4612-2628-4openalex-snapshot
Algebraic geometry and its applications: collections of papers from Shreeram S. Abhyankar's 60th birthday Conference
inferredcites →https://doi.org/10.1007/978-1-4612-2628-4_29openalex-snapshot
An Improved Projection for Cylindrical Algebraic Decomposition
inferredcites →https://doi.org/10.1007/978-3-319-10575-8_11openalex-snapshot
Satisfiability Modulo Theories
inferredcites →https://doi.org/10.1007/978-3-319-20615-8openalex-snapshot
Intelligent Computer Mathematics
inferredcites →https://doi.org/10.1007/978-3-319-24246-0_10openalex-snapshot
Adapting Real Quantifier Elimination Methods for Conflict Set Computation
inferredcites →https://doi.org/10.1007/978-3-319-24318-4_26openalex-snapshot
SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving
inferredcites →https://doi.org/10.1007/978-3-319-45641-6_21openalex-snapshot
A Generalised Branch-and-Bound Approach and Its Application in SAT Modulo Nonlinear Integer Arithmetic
inferredcites →https://doi.org/10.1007/978-3-319-66320-3openalex-snapshot
Computer Algebra in Scientific Computing
inferredcites →https://doi.org/10.1007/978-3-642-31365-3_27openalex-snapshot
Solving Non-linear Arithmetic
inferredcites →https://doi.org/10.1007/978-3-642-38574-2_13openalex-snapshot
A Symbiosis of Interval Constraint Propagation and Cylindrical Algebraic Decomposition
inferredcites →https://doi.org/10.1007/978-3-662-44199-2_68openalex-snapshot
Choosing a Variable Ordering for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition
inferredcites →https://doi.org/10.1007/978-3-7091-7551-4_7openalex-snapshot
Real Zeros of Polynomials
inferredcites →https://doi.org/10.1007/978-3-7091-9459-1openalex-snapshot
Quantifier Elimination and Cylindrical Algebraic Decomposition
inferredcites →https://doi.org/10.1007/978-3-7091-9459-1_12openalex-snapshot
An Improved Projection Operation for Cylindrical Algebraic Decomposition
inferredcites →https://doi.org/10.1007/978-3-7091-9459-1_2openalex-snapshot
Quantifier Elimination by Cylindrical Algebraic Decomposition — Twenty Years of Progress
inferredcites →https://doi.org/10.1016/j.jsc.2015.11.002openalex-snapshot
Truth table invariant cylindrical algebraic decomposition
inferredcites →https://doi.org/10.1016/s0747-7171(08)80152-6openalex-snapshot
Partial Cylindrical Algebraic Decomposition for quantifier elimination
inferredcites →https://doi.org/10.1016/s0747-7171(88)80008-7openalex-snapshot
Thom's lemma, the coding of real algebraic numbers and the computation of the topology of semi-algebraic sets
inferredcites →https://doi.org/10.1145/1005285.1005303openalex-snapshot
Efficient projection orders for CAD
inferredcites →https://doi.org/10.1145/1113439.1113456openalex-snapshot
The RegularChains library in MAPLE
inferredcites →https://doi.org/10.1145/1576702.1576718openalex-snapshot
Computing cylindrical algebraic decomposition via triangular decomposition
inferredcites →https://doi.org/10.1145/220346openalex-snapshot
Proceedings of the 1995 international symposium on Symbolic and algebraic computation - ISSAC '95
inferredcites →https://doi.org/10.1145/2755996.2756678openalex-snapshot
Improving the Use of Equational Constraints in Cylindrical Algebraic Decomposition
inferredcites →https://doi.org/10.1145/281508openalex-snapshot
Proceedings of the 1998 international symposium on Symbolic and algebraic computation
inferredcites →https://doi.org/10.1145/309831.309892openalex-snapshot
On projection in CAD-based quantifier elimination with equational constraint
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.2139/ssrn.4644153openalex-extracted
Cylindrical Algebraic Decomposition with Frontier Condition
inferred← citeshttps://doi.org/10.1007/978-3-030-60026-6_8openalex-snapshot
Enhancements to Lazard’s Method for Cylindrical Algebraic Decomposition
inferred← citeshttps://doi.org/10.1007/978-3-030-86205-3_12openalex-snapshot
Optimization Modulo Non-linear Arithmetic via Incremental Linearization
inferred← citeshttps://doi.org/10.1007/978-3-031-10769-6_7openalex-snapshot
Cooperating Techniques for Solving Nonlinear Real Arithmetic in the cvc5 SMT Solver (System Description)
inferred← citeshttps://doi.org/10.1007/978-3-031-14788-3_17openalex-snapshot
New Heuristic to Choose a Cylindrical Algebraic Decomposition Variable Ordering Motivated by Complexity Analysis
inferred← citeshttps://doi.org/10.1007/978-3-031-16681-5_20openalex-snapshot
Experiments with Automated Reasoning in the Class
inferred← citeshttps://doi.org/10.1007/978-3-031-69070-9_1openalex-snapshot
Recent Developments in Real Quantifier Elimination and Cylindrical Algebraic Decomposition (Extended Abstract of Invited Talk)
inferred← citeshttps://doi.org/10.1007/978-3-031-71162-6_6openalex-snapshot
Practical Approximate Quantifier Elimination for Non-linear Real Arithmetic
inferred← citeshttps://doi.org/10.1007/978-3-032-32589-1_15openalex-snapshot
Program Synthesis for Non-linear Real Arithmetic: Going Beyond Realizability
inferred← citeshttps://doi.org/10.1007/s11786-025-00606-4openalex-snapshot
Iterated Resultants and Rational Functions in Real Quantifier Elimination
inferred← citeshttps://doi.org/10.1016/j.jlamp.2020.100633openalex-snapshot
Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings
inferred← citeshttps://doi.org/10.1016/j.jsc.2019.07.019openalex-snapshot
Cylindrical algebraic decomposition with equational constraints
inferred← citeshttps://doi.org/10.1016/j.jsc.2023.102276openalex-snapshot
Explainable AI Insights for Symbolic Computation: A case study on selecting the variable ordering for cylindrical algebraic decomposition
inferred← citeshttps://doi.org/10.1109/synasc54541.2021.00013openalex-snapshot
Implementing arithmetic over algebraic numbers A tutorial for Lazard's lifting scheme in CAD
inferred← citeshttps://doi.org/10.1109/synasc54541.2021.00018openalex-snapshot
On the Implementation of Cylindrical Algebraic Coverings for Satisfiability Modulo Theories Solving
inferred← citeshttps://doi.org/10.1109/synasc57785.2022.00019openalex-snapshot
A web version of Tarski, a system for computing with Tarski formulas and semialgebraic sets
inferred← citeshttps://doi.org/10.1145/3571237openalex-snapshot
When Less Is More: Consequence-Finding in a Weak Theory of Arithmetic
inferred← citeshttps://doi.org/10.1145/3572867.3572880openalex-snapshot
An SMT solver for non-linear real arithmetic inside maple
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.