Dennis S. Arnon

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
scientific article; zbMATH DE number 1157652 (Why is no real title available?)	1998-09-13	Paper
scientific article; zbMATH DE number 1157653 (Why is no real title available?)	1998-09-13	Paper
On mechanical quantifier elimination for elementary algebra and geometry Journal of Symbolic Computation	1988-01-01	Paper
A bibliography of quantifier elimination for real closed fields Journal of Symbolic Computation	1988-01-01	Paper
An adjacency algorithm for cylindrical algebraic decompositions of three- dimensional space Journal of Symbolic Computation	1988-01-01	Paper
A cluster-based cylindrical algebraic decomposition algorithm Journal of Symbolic Computation	1988-01-01	Paper
A polynomial-time algorithm for the topological type of real algebraic curve Journal of Symbolic Computation	1988-01-01	Paper
Geometric reasoning with logic and algebra Artificial Intelligence	1988-01-01	Paper
scientific article; zbMATH DE number 3921970 (Why is no real title available?)	1985-01-01	Paper
scientific article; zbMATH DE number 3945340 (Why is no real title available?)	1985-01-01	Paper
A polynomial-time algorithm for the topological type of real algebraic curve - extended abstract Rocky Mountain Journal of Mathematics	1984-01-01	Paper
Cylindrical Algebraic Decomposition I: The Basic Algorithm SIAM Journal on Computing	1984-01-01	Paper
scientific article; zbMATH DE number 3881880 (Why is no real title available?)	1983-01-01	Paper
scientific article; zbMATH DE number 3880114 (Why is no real title available?)	1982-01-01	Paper
On Polynomial Factorization Over Finite Fields	1981-01-01	Paper
scientific article; zbMATH DE number 3629097 (Why is no real title available?)	1979-01-01	Paper

Research outcomes over time

This page was built for person: Dennis S. Arnon