The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Dennis S. Arnon: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. Dennis S. Arnon, Scott McCallum
    Cylindrical Algebraic Decomposition by Quantifier Elimination. [Citation Graph (0, 0)][DBLP]
    EUROCAM, 1982, pp:215-222 [Conf]
  9. 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]
  10. 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]
  11. Dennis S. Arnon
    A cellular decomposition algorithm for semi-algebraic sets. [Citation Graph (0, 0)][DBLP]
    EUROSAM, 1979, pp:301-315 [Conf]
  12. 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]
  13. 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]
  14. 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]
  15. 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]
  16. 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]
  17. 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.072secs, Finished in 0.073secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002