The SCEAS System
| |||||||

## Search the dblp DataBase
Dennis S. Arnon:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- Dennis S. Arnon
**Geometric Reasoning with Logic and Algebra.**[Citation Graph (3, 0)][DBLP] Artif. Intell., 1988, v:37, n:1-3, pp:37-60 [Journal] - Dennis S. Arnon
**Towards a Deductive Database for Elementary Algebra and Geometry.**[Citation Graph (1, 0)][DBLP] Workshop on Deductive Databases, 1990, pp:0-0 [Conf] - Dennis S. Arnon
**A Bibliography of Quantifier Elimination for Real Closed Fields.**[Citation Graph (1, 0)][DBLP] J. Symb. Comput., 1988, v:5, n:1/2, pp:267-274 [Journal] - Dennis S. Arnon, George E. Collins, Scott McCallum
**Cylindrical Algebraic Decomposition I: The Basic Algorithm.**[Citation Graph (1, 0)][DBLP] SIAM J. Comput., 1984, v:13, n:4, pp:865-877 [Journal] - Dennis S. Arnon
**A Cluster-Based Cylindrical Algebraic Decomposition Algorithm.**[Citation Graph (0, 0)][DBLP] European Conference on Computer Algebra (2), 1985, pp:262-269 [Conf] - Dennis S. Arnon
**On Mechanical Quantifier Elimination for Elementary Algebra and Geometry: Solution of a Non-Trivial Problem.**[Citation Graph (0, 0)][DBLP] European Conference on Computer Algebra (2), 1985, pp:270-271 [Conf] - Dennis S. Arnon, George E. Collins, Scott McCallum
**An Adjacency Algorithm for Cylindrical Algebraic Decompositions of Three-Dimensional Space.**[Citation Graph (0, 0)][DBLP] European Conference on Computer Algebra (2), 1985, pp:246-261 [Conf] - Dennis S. Arnon, Scott McCallum
**Cylindrical Algebraic Decomposition by Quantifier Elimination.**[Citation Graph (0, 0)][DBLP] EUROCAM, 1982, pp:215-222 [Conf] - Dennis S. Arnon, Scott McCallum
**A Polynominal Time Algorithm for the Topological Type of a Real Algebraic Curve.**[Citation Graph (0, 0)][DBLP] European Conference on Computer Algebra (2), 1985, pp:275-276 [Conf] - Dennis S. Arnon, Scott F. Smith
**Towards mechanical solution of the Kahan Ellipse Problem 1.**[Citation Graph (0, 0)][DBLP] EUROCAL, 1983, pp:36-44 [Conf] - Dennis S. Arnon
**A cellular decomposition algorithm for semi-algebraic sets.**[Citation Graph (0, 0)][DBLP] EUROSAM, 1979, pp:301-315 [Conf] - Dennis S. Arnon
**Scrimshaw: A Language for Document Queries and Transformations.**[Citation Graph (0, 0)][DBLP] Electronic Publishing, 1993, v:6, n:4, pp:385-396 [Journal] - Dennis S. Arnon
**A Cluster-Based Cylindrical Algebraic Decomposition Algorithm.**[Citation Graph (0, 0)][DBLP] J. Symb. Comput., 1988, v:5, n:1/2, pp:189-212 [Journal] - Dennis S. Arnon, George E. Collins, Scott McCallum
**An Adjacency Algorithm for Cylindrical Algebraic Decompositions of Three-Dimensional Space.**[Citation Graph (0, 0)][DBLP] J. Symb. Comput., 1988, v:5, n:1/2, pp:163-187 [Journal] - Dennis S. Arnon, Scott McCallum
**A Polynomial-Time Algorithm for the Topological Type of a Real Algebraic Curve.**[Citation Graph (0, 0)][DBLP] J. Symb. Comput., 1988, v:5, n:1/2, pp:213-236 [Journal] - Dennis S. Arnon, Maurice Mignotte
**On Mechanical Quantifier Elimination for Elementary Algebra and Geometry.**[Citation Graph (0, 0)][DBLP] J. Symb. Comput., 1988, v:5, n:1/2, pp:237-259 [Journal] - Dennis S. Arnon, George E. Collins, Scott McCallum
**Cylindrical Algebraic Decomposition II: An Adjacency Algorithm for the Plane.**[Citation Graph (0, 0)][DBLP] SIAM J. Comput., 1984, v:13, n:4, pp:878-889 [Journal]
Search in 0.002secs, Finished in 0.003secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |