Edit Profile Arnon, Dennis S. Compute Distance To: Compute Author ID: arnon.dennis-s Published as: Arnon, Denis S.; Arnon, Dennis; Arnon, Dennis S. External Links: MGP Documents Indexed: 17 Publications since 1979, including 1 Book all top 5 Co-Authors 5 single-authored 8 McCallum, Scott 5 Collins, George E. 1 Buchberger, Bruno 1 Gunji, Hiroshi 1 Mignotte, Maurice 1 Smith, Scott F. Serials 5 Journal of Symbolic Computation 1 Artificial Intelligence 1 Rocky Mountain Journal of Mathematics 1 Mathematics of Computation 1 SIAM Journal on Computing all top 5 Fields 13 Computer science (68-XX) 11 Algebraic geometry (14-XX) 8 Field theory and polynomials (12-XX) 6 Mathematical logic and foundations (03-XX) 1 General and overarching topics; collections (00-XX) 1 Combinatorics (05-XX) 1 Number theory (11-XX) 1 Manifolds and cell complexes (57-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 16 Publications have been cited 174 times in 127 Documents Cited by ▼ Year ▼ Cylindrical algebraic decomposition. I: The basic algorithm. II: An adjacency algorithm for the plane. Zbl 0562.14001Arnon, Dennis S.; Collins, George E.; McCallum, Scott 74 1984 A polynomial-time algorithm for the topological type of real algebraic curve. Zbl 0664.14017Arnon, Dennis S.; McCallum, Scott 28 1988 Geometric reasoning with logic and algebra. Zbl 0705.68086Arnon, Dennis S. 15 1988 A cluster-based cylindrical algebraic decomposition algorithm. Zbl 0648.68056Arnon, Dennis S. 12 1988 An adjacency algorithm for cylindrical algebraic decompositions of three- dimensional space. Zbl 0648.68055Arnon, Dennis S.; Collins, George E.; McCallum, Scott 12 1988 On mechanical quantifier elimination for elementary algebra and geometry. Zbl 0644.68051Arnon, Dennis S.; Mignotte, Maurice 11 1988 Cylindrical algebraic decomposition. I: The basic algorithm. Zbl 0900.03049Arnon, Dennis S.; Collins, George E.; McCallum, Scott 4 1998 On polynomial factorization over finite fields. Zbl 0471.12015Gunji, Hiroshi; Arnon, Dennis 4 1981 A cellular decomposition algorithm for semialgebraic sets. Zbl 0405.14001Arnon, Dennis 4 1979 Algorithms in real algebraic geometry. Reprinted from the “Journal of Symbolic Computation”, 5. no. 1-2, 1988. Zbl 0674.68024Arnon, Denis S. (ed.); Buchberger, Bruno (ed.) 3 1988 Towards mechanical solution of the Kahan ellipse problem. I. Zbl 0553.68031Arnon, Dennis S.; Smith, Scott F. 2 1983 Cylindrical algebraic decomposition. II: An adjacency algorithm for the plane. Zbl 0900.03050Arnon, Dennis S.; Collins, George E.; McCallum, Scott 1 1998 A bibliography of quantifier elimination for real closed fields. Zbl 0646.03024Arnon, Dennis S. 1 1988 A cluster-based cylindrical algebraic decomposition algorithm. Zbl 0588.68014Arnon, Dennis S. 1 1985 A polynomial-time algorithm for the topological type of real algebraic curve - extended abstract. Zbl 0584.14011Arnon, Dennis S.; McCallum, Scott 1 1984 Cylindrical algebraic decomposition by quantifier elimination. Zbl 0552.68046Arnon, Dennis S.; McCallum, Scott 1 1982 Cylindrical algebraic decomposition. I: The basic algorithm. Zbl 0900.03049Arnon, Dennis S.; Collins, George E.; McCallum, Scott 4 1998 Cylindrical algebraic decomposition. II: An adjacency algorithm for the plane. Zbl 0900.03050Arnon, Dennis S.; Collins, George E.; McCallum, Scott 1 1998 A polynomial-time algorithm for the topological type of real algebraic curve. Zbl 0664.14017Arnon, Dennis S.; McCallum, Scott 28 1988 Geometric reasoning with logic and algebra. Zbl 0705.68086Arnon, Dennis S. 15 1988 A cluster-based cylindrical algebraic decomposition algorithm. Zbl 0648.68056Arnon, Dennis S. 12 1988 An adjacency algorithm for cylindrical algebraic decompositions of three- dimensional space. Zbl 0648.68055Arnon, Dennis S.; Collins, George E.; McCallum, Scott 12 1988 On mechanical quantifier elimination for elementary algebra and geometry. Zbl 0644.68051Arnon, Dennis S.; Mignotte, Maurice 11 1988 Algorithms in real algebraic geometry. Reprinted from the “Journal of Symbolic Computation”, 5. no. 1-2, 1988. Zbl 0674.68024Arnon, Denis S. (ed.); Buchberger, Bruno (ed.) 3 1988 A bibliography of quantifier elimination for real closed fields. Zbl 0646.03024Arnon, Dennis S. 1 1988 A cluster-based cylindrical algebraic decomposition algorithm. Zbl 0588.68014Arnon, Dennis S. 1 1985 Cylindrical algebraic decomposition. I: The basic algorithm. II: An adjacency algorithm for the plane. Zbl 0562.14001Arnon, Dennis S.; Collins, George E.; McCallum, Scott 74 1984 A polynomial-time algorithm for the topological type of real algebraic curve - extended abstract. Zbl 0584.14011Arnon, Dennis S.; McCallum, Scott 1 1984 Towards mechanical solution of the Kahan ellipse problem. I. Zbl 0553.68031Arnon, Dennis S.; Smith, Scott F. 2 1983 Cylindrical algebraic decomposition by quantifier elimination. Zbl 0552.68046Arnon, Dennis S.; McCallum, Scott 1 1982 On polynomial factorization over finite fields. Zbl 0471.12015Gunji, Hiroshi; Arnon, Dennis 4 1981 A cellular decomposition algorithm for semialgebraic sets. Zbl 0405.14001Arnon, Dennis 4 1979 all cited Publications top 5 cited Publications all top 5 Cited by 227 Authors 9 Davenport, James Harold 9 McCallum, Scott 8 England, Matthew 7 Cheng, Jinsan 6 Arnon, Dennis S. 5 Bradford, Russell J. 5 Gao, Xiaoshan 5 Hong, Hoon 5 Sagraloff, Michael 5 Wilson, David J. 4 Farouki, Rida T. 4 Jin, Kai 4 Xia, Bican 4 Yang, Lu 3 Alcazar, Juan Gerardo 3 Collins, George E. 3 Hass, Joel 3 Kapur, Deepak 3 Sharir, Micha 3 Xu, Ming 2 Berberich, Eric 2 Bridge, James P. 2 Champetier, Calixte 2 Chazelle, Bernard 2 Chou, Shangching 2 Díaz-Toca, Gema María 2 Edelsbrunner, Herbert 2 Gonzalez-Vega, Laureano 2 Guibas, Leonidas John 2 Han, Chang Yong 2 Han, Jingjun 2 Huang, Zongyan 2 Kerber, Michael 2 Lazard, Daniel 2 Li, Zhibin 2 Magni, Jean-François 2 Mourrain, Bernard 2 Mundy, Joseph L. 2 Paulson, Lawrence Charles 2 Schicho, Josef 2 Schömer, Elmar 2 Sendra, Juan Rafael 2 Sturm, Thomas P. 2 von zur Gathen, Joachim 2 Weber, Andreas Günter 2 Wolpert, Nicola 2 Zeng, Zhenbing 2 Zhang, Jingzhong 1 Abdel-Rahman, Essam Othman 1 Ábrahám, Erika 1 Anai, Hirokazu 1 Anderson, Richard J. 1 Arnborg, Stefan 1 Azhar, Syarifuddin 1 Bajaj, Chandrajit L. 1 Balkenborg, Dieter 1 Barry, Michele 1 Batic, Davide 1 Beame, Paul W. 1 Beaumont, James C. 1 Besana, Gian Mario 1 Bhatt, Mehul 1 Bloomenthal, Jules 1 Brisson, Erik 1 Brown, Christopher W. 1 Buchberger, Bruno 1 Caviness, Bob F. 1 Chaves, Madalena 1 Chen, Changbo 1 Chen, Hangfei 1 Chen, Jingwei 1 Chen, Yufu 1 Chèze, Guillaume 1 Clarkson, Kenneth L. 1 Corless, Robert Malcolm 1 Corzilius, Florian 1 Cyrluk, David A. 1 de Berg, Mark Theodoor 1 Demirplak, Mustafa 1 Demmel, James Weldon 1 Di Gesù, Vito 1 Di Rocco, Sandra 1 Diatta, Daouda Niang 1 Diochnos, Dimitrios I. 1 Eigenwillig, Arno 1 El Kahoui, M’hammed 1 Emiris, Ioannis Z. 1 Eraşcu, Mădălina 1 Errami, Hassan 1 Feng, Huichun 1 Feng, Yong 1 Fioravanti, Mario A. 1 Fortuna, Elisabetta 1 Galligo, André 1 Gandy, Silvia 1 Gao, Ben 1 Gerdt, Vladimir P. 1 Gianni, Patrizia M. 1 Gómez-Díaz, Teresa 1 Grigor’ev, Dmitriĭ Yur’evich ...and 127 more Authors all top 5 Cited in 44 Serials 43 Journal of Symbolic Computation 7 Theoretical Computer Science 6 Computer Aided Geometric Design 5 Artificial Intelligence 5 Journal of Systems Science and Complexity 5 Mathematics in Computer Science 4 Mathematics and Computers in Simulation 3 Computational Geometry 2 Applied Mathematics and Computation 2 Numerical Algorithms 2 Applicable Algebra in Engineering, Communication and Computing 2 Science in China. Series F 1 Acta Mechanica 1 Bulletin of the Australian Mathematical Society 1 Computers & Mathematics with Applications 1 International Journal of Control 1 Journal of Mathematical Biology 1 Mathematics of Computation 1 Bulletin of Mathematical Biology 1 Archiv der Mathematik 1 Automatica 1 Information Sciences 1 Journal of Computational and Applied Mathematics 1 The Journal of Symbolic Logic 1 Systems & Control Letters 1 Physica D 1 Probability Theory and Related Fields 1 Journal of Complexity 1 Journal of Computer Science and Technology 1 Algorithmica 1 Discrete & Computational Geometry 1 Journal of Automated Reasoning 1 Journal of Global Optimization 1 Games and Economic Behavior 1 Linear Algebra and its Applications 1 RAIRO. Informatique Théorique et Applications 1 Bulletin des Sciences Mathématiques 1 Advances in Computational Mathematics 1 Journal of Difference Equations and Applications 1 Journal of Mathematical Chemistry 1 Chaos 1 Gravitation & Cosmology 1 Differential Equations 1 Theory and Practice of Logic Programming all top 5 Cited in 33 Fields 82 Computer science (68-XX) 42 Algebraic geometry (14-XX) 36 Numerical analysis (65-XX) 17 Mathematical logic and foundations (03-XX) 14 Field theory and polynomials (12-XX) 9 Commutative algebra (13-XX) 7 Systems theory; control (93-XX) 6 Number theory (11-XX) 6 Dynamical systems and ergodic theory (37-XX) 6 Biology and other natural sciences (92-XX) 5 Geometry (51-XX) 4 Real functions (26-XX) 4 Ordinary differential equations (34-XX) 4 Operations research, mathematical programming (90-XX) 3 Approximations and expansions (41-XX) 2 Combinatorics (05-XX) 2 Linear and multilinear algebra; matrix theory (15-XX) 2 Calculus of variations and optimal control; optimization (49-XX) 2 Convex and discrete geometry (52-XX) 2 Differential geometry (53-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 General and overarching topics; collections (00-XX) 1 Group theory and generalizations (20-XX) 1 Measure and integration (28-XX) 1 Functions of a complex variable (30-XX) 1 Difference and functional equations (39-XX) 1 Integral transforms, operational calculus (44-XX) 1 Global analysis, analysis on manifolds (58-XX) 1 Mechanics of deformable solids (74-XX) 1 Optics, electromagnetic theory (78-XX) 1 Quantum theory (81-XX) 1 Statistical mechanics, structure of matter (82-XX) 1 Relativity and gravitational theory (83-XX) Citations by Year