Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Arnon, Dennis S."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Cylindrical algebraic decomposition I: The basic algorithm
Dennis S. Arnon
,
George E. Collins
,
Scott McCallum
Texts and Monographs in Symbolic Computation
, 1998, pp. 136-151
Cylindrical algebraic decomposition II: An adjacency algorithm for the plane
Dennis S. Arnon
,
George E. Collins
,
Scott McCallum
Texts and Monographs in Symbolic Computation
, 1998, pp. 152-165
An adjacency algorithm for cylindrical algebraic decompositions of three-dimensional space
Dennis S. Arnon
,
George E. Collins
,
Scott McCallum
Journal Symbolic Computation
5
(1-2), 1988, pp. 163-187
A polynomial-time algorithm for the topological type of a real algebraic curve
Dennis S. Arnon
,
Scott McCallum
Journal Symbolic Computation
5
(1-2), 1988, pp. 213-236
On mechanical quantifier elimination for elementary algebra and geometry
Dennis S. Arnon
,
Maurice Mignotte
Journal Symbolic Computation
5
(1-2), 1988, pp. 237-259
A cluster-based cylindrical algebraic decomposition algorithm
Dennis S. Arnon
Journal Symbolic Computation
5
(1-2), 1988, pp. 189-212
A bibliography of quantifier elimination for real closed fields
Dennis S. Arnon
Journal Symbolic Computation
5
(1-2), 1988, pp. 267-274
Supercomputers and symbolic computation
Dennis S. Arnon
Technical Report (CSD-TR-481), 1984