Dennis S. Arnon

	1993
17		Dennis S. Arnon: Scrimshaw: A Language for Document Queries and Transformations. Electronic Publishing 6(4): 385-396 (1993)
	1990
16		Dennis S. Arnon: Towards a Deductive Database for Elementary Algebra and Geometry. Workshop on Deductive Databases 1990: 0-
	1988
15		Dennis S. Arnon: Geometric Reasoning with Logic and Algebra. Artif. Intell. 37(1-3): 37-60 (1988)
14		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): 163-187 (1988)
13		Dennis S. Arnon: A Cluster-Based Cylindrical Algebraic Decomposition Algorithm. J. Symb. Comput. 5(1/2): 189-212 (1988)
12		Dennis S. Arnon, Scott McCallum: A Polynomial-Time Algorithm for the Topological Type of a Real Algebraic Curve. J. Symb. Comput. 5(1/2): 213-236 (1988)
11		Dennis S. Arnon, Maurice Mignotte: On Mechanical Quantifier Elimination for Elementary Algebra and Geometry. J. Symb. Comput. 5(1/2): 237-259 (1988)
10		Dennis S. Arnon: A Bibliography of Quantifier Elimination for Real Closed Fields. J. Symb. Comput. 5(1/2): 267-274 (1988)
	1985
9		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: 246-261
8		Dennis S. Arnon: A Cluster-Based Cylindrical Algebraic Decomposition Algorithm. European Conference on Computer Algebra (2) 1985: 262-269
7		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: 270-271
6		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: 275-276
	1984
5		Dennis S. Arnon, George E. Collins, Scott McCallum: Cylindrical Algebraic Decomposition I: The Basic Algorithm. SIAM J. Comput. 13(4): 865-877 (1984)
4		Dennis S. Arnon, George E. Collins, Scott McCallum: Cylindrical Algebraic Decomposition II: An Adjacency Algorithm for the Plane. SIAM J. Comput. 13(4): 878-889 (1984)
	1983
3		Dennis S. Arnon, Scott F. Smith: Towards mechanical solution of the Kahan Ellipse Problem 1. EUROCAL 1983: 36-44
	1982
2		Dennis S. Arnon, Scott McCallum: Cylindrical Algebraic Decomposition by Quantifier Elimination. EUROCAM 1982: 215-222
	1979
1		Dennis S. Arnon: A cellular decomposition algorithm for semi-algebraic sets. EUROSAM 1979: 301-315

Coauthor Index

1	George E. Collins	[4] [5] [9] [14]
2	Scott McCallum	[2] [4] [5] [6] [9] [12] [14]
3	Maurice Mignotte	[11]
4	Scott F. Smith	[3]

Colors in the list of coauthors

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page