Dennis S. Arnon

发表

A Cluster-Based Cylindrical Algebraic Decomposition Algorithm

Dennis S. Arnon, 1988, J. Symb. Comput..

Topologically reliable display of algebraic curves

Dennis S. Arnon, D. Arnon, 1983, SIGGRAPH.

Cylindrical Algebraic Decomposition by Quantifier Elimination

Scott McCallum, Dennis S. Arnon, 1982, EUROCAM.

Towards a Deductive Database for Elementary Algebra and Geometry

Dennis S. Arnon, D. Arnon, 1990, Workshop on Deductive Databases.

Language-based document processing

Dennis S. Arnon, Isabelle Attali, Paul Franchi-Zannettacci, 1992 .

Cylindrical Algebraic Decomposition I: The Basic Algorithm

George E. Collins, Scott McCallum, Dennis S. Arnon, 1984, SIAM J. Comput..

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

George E. Collins, Scott McCallum, Dennis S. Arnon, 1988, J. Symb. Comput..

A Bibliography of Quantifier Elimination for Real Closed Fields

Dennis S. Arnon, D. Arnon, 1988, J. Symb. Comput..

Towards mechanical solution of the Kahan Ellipse Problem 1

Scott F. Smith, Dennis S. Arnon, 1983, EUROCAL.

On Mechanical Quantifier Elimination for Elementary Algebra and Geometry

Maurice Mignotte, Dennis S. Arnon, 1988, J. Symb. Comput..

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

George E. Collins, Scott McCallum, Dennis S. Arnon, 1985, J. Symb. Comput..

Workshop on environments for computational mathematics

Dennis S. Arnon, 1988, COMG.

Scrimshaw: A Language for Document Queries and Transformations

Dennis S. Arnon, D. Arnon, 1993, Electron. Publ..

Cylindrical Algebraic Decomposition II: An Adjacency Algorithm for the Plane

George E. Collins, Scott McCallum, Dennis S. Arnon, 1984, SIAM J. Comput..

A Cluster-Based Cylindrical Algebraic Decomposition Algorithm

Dennis S. Arnon, D. Arnon, 1985, J. Symb. Comput..

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

Dennis S. Arnon, 1985, European Conference on Computer Algebra.

CaminoReal: an interactive mathematical notebook

Richard J. Beach, Dennis S. Arnon, Carl A. Waldspurger, 1988 .

Report of the workshop on environments for computational mathematics

Dennis S. Arnon, D. Arnon, 1987, SIGS.

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

Dennis S. Arnon, 2011, ACCA.

Report of the workshop on environments for computational mathematics

Dennis S. Arnon, 1987, SIGS.

Geometric Reasoning with Logic and Algebra

Dennis S. Arnon, D. Arnon, 1988, Artif. Intell..

Automatic analysis of real algebraic curves

Dennis S. Arnon, 1981, SIGS.

On the Logical Structure of Mathematical Notation

Dennis S. Arnon, Sandra A. Mamrak, 1991 .

Report of the Workshop on Supercomputers and Symbolic Computation

Dennis S. Arnon, 1984 .

A cellular decomposition algorithm for semi-algebraic sets

Dennis S. Arnon, D. Arnon, 1979, EUROSAM.

A Polynomial-Time Algorithm for the Topological Type of a Real Algebraic Curve

Scott McCallum, Dennis S. Arnon, D. Arnon, 1984, J. Symb. Comput..

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

Scott McCallum, Dennis S. Arnon, 1985, European Conference on Computer Algebra.

A polynomial-time algorithm for the topological type of a real algebraic curve

Scott McCallum, Dennis S. Arnon, 1984 .

A Linear Time Algorithm for the Minimum Area Rectangle Enclosing a Convex Polygon

Dennis S. Arnon, John P. Gieselmann, 1983 .

Document Layout by Executable Natural Semantics Speciications

Dennis S. Arnon, 1992 .

On the Mechanical Proof of Geometry Theorems Involving Inequalities

Dennis S. Arnon, Xiao Gao, Shang Chou, 1989 .