Dennis S. Arnon

According to our database, Dennis S. Arnon authored at least 19 papers between 1979 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

A product information management system as a workbench for quantifier elimination computations with QEPCAD.

Dennis S. Arnon

ACM Commun. Comput. Algebra, 2010

1993

Scrimshaw: A Language for Document Queries and Transformations.

Dennis S. Arnon

Electron. Publ., 1993

1990

Towards a Deductive Database for Elementary Algebra and Geometry.

Dennis S. Arnon

Proceedings of the Workshop on Deductive Databases held in conjunction with the North American Conference on Logic Programming, 1990

1988

On Mechanical Quantifier Elimination for Elementary Algebra and Geometry.

Dennis S. Arnon, Maurice Mignotte

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

An Adjacency Algorithm for Cylindrical Algebraic Decompositions of Three-Dimensional Space.

Dennis S. Arnon, George E. Collins, Scott McCallum

J. Symb. Comput., 1988

A Bibliography of Quantifier Elimination for Real Closed Fields.

Dennis S. Arnon

J. Symb. Comput., 1988

A Cluster-Based Cylindrical Algebraic Decomposition Algorithm.

Dennis S. Arnon

J. Symb. Comput., 1988

Geometric Reasoning with Logic and Algebra.

Dennis S. Arnon

Artif. Intell., 1988

1987

Report of the Workshop on Environments for Computational Mathematics.

Dennis S. Arnon

RFC, September, 1987

1985

A Polynominal Time Algorithm for the Topological Type of a Real Algebraic Curve.

Dennis S. Arnon, Scott McCallum

Proceedings of the EUROCAL '85, 1985

On Mechanical Quantifier Elimination for Elementary Algebra and Geometry: Solution of a Non-Trivial Problem.

Dennis S. Arnon

Proceedings of the EUROCAL '85, 1985

1984

Cylindrical Algebraic Decomposition II: An Adjacency Algorithm for the Plane.

Dennis S. Arnon, George E. Collins, Scott McCallum

SIAM J. Comput., 1984

Cylindrical Algebraic Decomposition I: The Basic Algorithm.

Dennis S. Arnon, George E. Collins, Scott McCallum

SIAM J. Comput., 1984

1983

Topologically reliable display of algebraic curves.

Dennis S. Arnon

Proceedings of the 10th Annual Conference on Computer Graphics and Interactive Techniques, 1983

Towards mechanical solution of the Kahan Ellipse Problem 1.

Dennis S. Arnon, Scott F. Smith

Proceedings of the Computer Algebra, 1983

1982

Cylindrical Algebraic Decomposition by Quantifier Elimination.

Dennis S. Arnon, Scott McCallum

Proceedings of the Computer Algebra, 1982

1981

Automatic analysis of real algebraic curves.

Dennis S. Arnon

SIGSAM Bull., 1981

1979

A cellular decomposition algorithm for semi-algebraic sets.

Dennis S. Arnon

Proceedings of the Symbolic and Algebraic Computation, 1979