Dennis S. Arnon

Publication Activity (10 Years)

Years Active: 1979-2010
Publications (10 Years): 0

Publications

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