Dennis S. Arnon

21 papers A* 1Journal 12Unranked 8
YearRankTypeTitle / Venue / Authors
2010 J jnl
A product information management system as a workbench for quantifier elimination computations with QEPCAD.
ACM Commun. Comput. Algebra
Dennis S. Arnon
1993 J jnl
Scrimshaw: A Language for Document Queries and Transformations.
Electron. Publ.
Dennis S. Arnon
1990 — conf
Towards a Deductive Database for Elementary Algebra and Geometry.
Workshop on Deductive Databases
Dennis S. Arnon
1988 J jnl
A Bibliography of Quantifier Elimination for Real Closed Fields.
J. Symb. Comput.
Dennis S. Arnon
1988 J jnl
A Cluster-Based Cylindrical Algebraic Decomposition Algorithm.
J. Symb. Comput.
Dennis S. Arnon
1988 J jnl
A Polynomial-Time Algorithm for the Topological Type of a Real Algebraic Curve.
J. Symb. Comput.
Dennis S. Arnon, Scott McCallum
1988 J jnl
An Adjacency Algorithm for Cylindrical Algebraic Decompositions of Three-Dimensional Space.
J. Symb. Comput.
Dennis S. Arnon, George E. Collins, Scott McCallum
1988 J jnl
Geometric Reasoning with Logic and Algebra.
Artif. Intell.
Dennis S. Arnon
1988 J jnl
On Mechanical Quantifier Elimination for Elementary Algebra and Geometry.
J. Symb. Comput.
Dennis S. Arnon, Maurice Mignotte
1987 J jnl
Report of the Workshop on Environments for Computational Mathematics.
RFC
Dennis S. Arnon
1985 — conf
A Cluster-Based Cylindrical Algebraic Decomposition Algorithm.
European Conference on Computer Algebra (2)
Dennis S. Arnon
1985 — conf
A Polynominal Time Algorithm for the Topological Type of a Real Algebraic Curve.
European Conference on Computer Algebra (2)
Dennis S. Arnon, Scott McCallum
1985 — conf
An Adjacency Algorithm for Cylindrical Algebraic Decompositions of Three-Dimensional Space.
European Conference on Computer Algebra (2)
Dennis S. Arnon, George E. Collins, Scott McCallum
1985 — conf
On Mechanical Quantifier Elimination for Elementary Algebra and Geometry: Solution of a Non-Trivial Problem.
European Conference on Computer Algebra (2)
Dennis S. Arnon
1984 J jnl
Cylindrical Algebraic Decomposition I: The Basic Algorithm.
SIAM J. Comput.
Dennis S. Arnon, George E. Collins, Scott McCallum
1984 J jnl
Cylindrical Algebraic Decomposition II: An Adjacency Algorithm for the Plane.
SIAM J. Comput.
Dennis S. Arnon, George E. Collins, Scott McCallum
1983 A* conf
Topologically reliable display of algebraic curves.
SIGGRAPH
Dennis S. Arnon
1983 — conf
Towards mechanical solution of the Kahan Ellipse Problem 1.
EUROCAL
Dennis S. Arnon, Scott F. Smith
1982 — conf
Cylindrical Algebraic Decomposition by Quantifier Elimination.
EUROCAM
Dennis S. Arnon, Scott McCallum
1981 J jnl
Automatic analysis of real algebraic curves.
SIGSAM Bull.
Dennis S. Arnon
1979 — conf
A cellular decomposition algorithm for semi-algebraic sets.
EUROSAM
Dennis S. Arnon