A cellular decomposition algorithm for semi-algebraic sets. - Dennis S. Arnon (EUROSAM, 1979)

Automatic analysis of real algebraic curves. - Dennis S. Arnon (SIGSAM Bull., 1981)

Cylindrical Algebraic Decomposition by Quantifier Elimination. - Dennis S. Arnon; Scott McCallum (EUROCAM, 1982)

Towards mechanical solution of the Kahan Ellipse Problem 1. - Dennis S. Arnon; Scott F. Smith 003 (EUROCAL, 1983)

Topologically reliable display of algebraic curves. - Dennis S. Arnon (SIGGRAPH, 1983)

Cylindrical Algebraic Decomposition I: The Basic Algorithm. - Dennis S. Arnon; George E. Collins; Scott McCallum (SIAM J. Comput., 1984)

Cylindrical Algebraic Decomposition II: An Adjacency Algorithm for the Plane. - Dennis S. Arnon; George E. Collins; Scott McCallum (SIAM J. Comput., 1984)

On Mechanical Quantifier Elimination for Elementary Algebra and Geometry: Solution of a Non-Trivial Problem. - Dennis S. Arnon (European Conference on Computer Algebra (2), 1985)

A Polynominal Time Algorithm for the Topological Type of a Real Algebraic Curve. - Dennis S. Arnon; Scott McCallum (European Conference on Computer Algebra (2), 1985)

Report of the Workshop on Environments for Computational Mathematics. - Dennis S. Arnon (RFC, 1987)

Geometric Reasoning with Logic and Algebra. - Dennis S. Arnon (Artif. Intell., 1988)

A Cluster-Based Cylindrical Algebraic Decomposition Algorithm. - Dennis S. Arnon (J. Symb. Comput., 1988)

A Bibliography of Quantifier Elimination for Real Closed Fields. - Dennis S. Arnon (J. Symb. Comput., 1988)

An Adjacency Algorithm for Cylindrical Algebraic Decompositions of Three-Dimensional Space. - Dennis S. Arnon; George E. Collins; Scott McCallum (J. Symb. Comput., 1988)

A Polynomial-Time Algorithm for the Topological Type of a Real Algebraic Curve. - Dennis S. Arnon; Scott McCallum (J. Symb. Comput., 1988)

On Mechanical Quantifier Elimination for Elementary Algebra and Geometry. - Dennis S. Arnon; Maurice Mignotte (J. Symb. Comput., 1988)

Towards a Deductive Database for Elementary Algebra and Geometry. - Dennis S. Arnon (Workshop on Deductive Databases, 1990)

Scrimshaw: A Language for Document Queries and Transformations. - Dennis S. Arnon (Electron. Publ., 1993)

A product information management system as a workbench for quantifier elimination computations with QEPCAD. - Dennis S. Arnon (ACM Commun. Comput. Algebra, 2010)