×

zbMATH — the first resource for mathematics

Arnon, Dennis S.

Compute Distance To:
Author ID: arnon.dennis-s Recent zbMATH articles by "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

Publications by Year

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.14001
Arnon, Dennis S.; Collins, George E.; McCallum, Scott
74
1984
A polynomial-time algorithm for the topological type of real algebraic curve. Zbl 0664.14017
Arnon, Dennis S.; McCallum, Scott
28
1988
Geometric reasoning with logic and algebra. Zbl 0705.68086
Arnon, Dennis S.
15
1988
A cluster-based cylindrical algebraic decomposition algorithm. Zbl 0648.68056
Arnon, Dennis S.
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
On mechanical quantifier elimination for elementary algebra and geometry. Zbl 0644.68051
Arnon, Dennis S.; Mignotte, Maurice
11
1988
Cylindrical algebraic decomposition. I: The basic algorithm. Zbl 0900.03049
Arnon, Dennis S.; Collins, George E.; McCallum, Scott
4
1998
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
4
1979
Algorithms in real algebraic geometry. Reprinted from the “Journal of Symbolic Computation”, 5. no. 1-2, 1988. Zbl 0674.68024
Arnon, Denis S. (ed.); Buchberger, Bruno (ed.)
3
1988
Towards mechanical solution of the Kahan ellipse problem. I. Zbl 0553.68031
Arnon, Dennis S.; Smith, Scott F.
2
1983
Cylindrical algebraic decomposition. II: An adjacency algorithm for the plane. Zbl 0900.03050
Arnon, Dennis S.; Collins, George E.; McCallum, Scott
1
1998
A bibliography of quantifier elimination for real closed fields. Zbl 0646.03024
Arnon, Dennis S.
1
1988
A cluster-based cylindrical algebraic decomposition algorithm. Zbl 0588.68014
Arnon, Dennis S.
1
1985
A polynomial-time algorithm for the topological type of real algebraic curve - extended abstract. Zbl 0584.14011
Arnon, Dennis S.; McCallum, Scott
1
1984
Cylindrical algebraic decomposition by quantifier elimination. Zbl 0552.68046
Arnon, Dennis S.; McCallum, Scott
1
1982
Cylindrical algebraic decomposition. I: The basic algorithm. Zbl 0900.03049
Arnon, Dennis S.; Collins, George E.; McCallum, Scott
4
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
28
1988
Geometric reasoning with logic and algebra. Zbl 0705.68086
Arnon, Dennis S.
15
1988
A cluster-based cylindrical algebraic decomposition algorithm. Zbl 0648.68056
Arnon, Dennis S.
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
On mechanical quantifier elimination for elementary algebra and geometry. Zbl 0644.68051
Arnon, 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.68024
Arnon, Denis S. (ed.); Buchberger, Bruno (ed.)
3
1988
A bibliography of quantifier elimination for real closed fields. Zbl 0646.03024
Arnon, Dennis S.
1
1988
A cluster-based cylindrical algebraic decomposition algorithm. Zbl 0588.68014
Arnon, Dennis S.
1
1985
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
74
1984
A polynomial-time algorithm for the topological type of real algebraic curve - extended abstract. Zbl 0584.14011
Arnon, Dennis S.; McCallum, Scott
1
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
4
1979
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

Citations by Year