×
Compute Distance To:
Author ID: arnon.dennis-s Recent zbMATH articles by "Arnon, Dennis S."
Published as: Arnon, Dennis S.; Arnon, Dennis; Arnon, Denis S.
External Links: MGP

Publications by Year

Citations contained in zbMATH Open

14 Publications have been cited 166 times in 125 Documents Cited by Year
Cylindrical algebraic decomposition. I: The basic algorithm. II: An adjacency algorithm for the plane. Zbl 0562.14001
Arnon, Dennis S.; Collins, George E.; McCallum, Scott
72
1984
A polynomial-time algorithm for the topological type of real algebraic curve. Zbl 0664.14017
Arnon, Dennis S.; McCallum, Scott
27
1988
Geometric reasoning with logic and algebra. Zbl 0705.68086
Arnon, Dennis S.
17
1988
On mechanical quantifier elimination for elementary algebra and geometry. Zbl 0644.68051
Arnon, Dennis S.; Mignotte, Maurice
12
1988
An adjacency algorithm for cylindrical algebraic decompositions of three- dimensional space. Zbl 0648.68055
Arnon, Dennis S.; Collins, George E.; McCallum, Scott
12
1988
A cluster-based cylindrical algebraic decomposition algorithm. Zbl 0648.68056
Arnon, Dennis S.
12
1988
On polynomial factorization over finite fields. Zbl 0471.12015
Gunji, Hiroshi; Arnon, Dennis
4
1981
Towards mechanical solution of the Kahan ellipse problem. I. Zbl 0553.68031
Arnon, Dennis S.; Smith, Scott F.
2
1983
Cylindrical algebraic decomposition. I: The basic algorithm. Zbl 0900.03049
Arnon, Dennis S.; Collins, George E.; McCallum, Scott
2
1998
Algorithms in real algebraic geometry. Reprinted from the “Journal of Symbolic Computation”, 5. no. 1-2, 1988. Zbl 0674.68024
2
1988
A bibliography of quantifier elimination for real closed fields. Zbl 0646.03024
Arnon, Dennis S.
1
1988
Cylindrical algebraic decomposition by quantifier elimination. Zbl 0552.68046
Arnon, Dennis S.; McCallum, Scott
1
1982
Cylindrical algebraic decomposition. II: An adjacency algorithm for the plane. Zbl 0900.03050
Arnon, Dennis S.; Collins, George E.; McCallum, Scott
1
1998
A cellular decomposition algorithm for semialgebraic sets. Zbl 0405.14001
Arnon, Dennis
1
1979
Cylindrical algebraic decomposition. I: The basic algorithm. Zbl 0900.03049
Arnon, Dennis S.; Collins, George E.; McCallum, Scott
2
1998
Cylindrical algebraic decomposition. II: An adjacency algorithm for the plane. Zbl 0900.03050
Arnon, Dennis S.; Collins, George E.; McCallum, Scott
1
1998
A polynomial-time algorithm for the topological type of real algebraic curve. Zbl 0664.14017
Arnon, Dennis S.; McCallum, Scott
27
1988
Geometric reasoning with logic and algebra. Zbl 0705.68086
Arnon, Dennis S.
17
1988
On mechanical quantifier elimination for elementary algebra and geometry. Zbl 0644.68051
Arnon, Dennis S.; Mignotte, Maurice
12
1988
An adjacency algorithm for cylindrical algebraic decompositions of three- dimensional space. Zbl 0648.68055
Arnon, Dennis S.; Collins, George E.; McCallum, Scott
12
1988
A cluster-based cylindrical algebraic decomposition algorithm. Zbl 0648.68056
Arnon, Dennis S.
12
1988
Algorithms in real algebraic geometry. Reprinted from the “Journal of Symbolic Computation”, 5. no. 1-2, 1988. Zbl 0674.68024
2
1988
A bibliography of quantifier elimination for real closed fields. Zbl 0646.03024
Arnon, Dennis S.
1
1988
Cylindrical algebraic decomposition. I: The basic algorithm. II: An adjacency algorithm for the plane. Zbl 0562.14001
Arnon, Dennis S.; Collins, George E.; McCallum, Scott
72
1984
Towards mechanical solution of the Kahan ellipse problem. I. Zbl 0553.68031
Arnon, Dennis S.; Smith, Scott F.
2
1983
Cylindrical algebraic decomposition by quantifier elimination. Zbl 0552.68046
Arnon, Dennis S.; McCallum, Scott
1
1982
On polynomial factorization over finite fields. Zbl 0471.12015
Gunji, Hiroshi; Arnon, Dennis
4
1981
A cellular decomposition algorithm for semialgebraic sets. Zbl 0405.14001
Arnon, Dennis
1
1979
all top 5

Cited by 221 Authors

9 Davenport, James Harold
8 England, Matthew
8 McCallum, Scott
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
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 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 Petrovich
1 Gianni, Patrizia M.
1 Gómez-Díaz, Teresa
1 Grigor’ev, Dmitriĭ Yur’evich
1 Gu, Ming
1 Guan, Qiang
...and 121 more Authors
all top 5

Cited in 45 Serials

40 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 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 Communications in Contemporary Mathematics
1 Gravitation & Cosmology
1 Differential Equations
1 Theory and Practice of Logic Programming
1 International Journal of Applied and Computational Mathematics

Citations by Year