Andreas Dolzmann

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
Better answers to real questions Journal of Symbolic Computation	2015-12-08	Paper
Local quantifier elimination Proceedings of the 2000 international symposium on Symbolic and algebraic computation	2015-11-26	Paper
Multiple object semilinear motion planning Journal of Symbolic Computation	2007-10-23	Paper
Artificial Intelligence and Symbolic Computation Lecture Notes in Computer Science	2005-08-19	Paper
Efficient projection orders for CAD Proceedings of the 2004 international symposium on Symbolic and algebraic computation	2005-03-14	Paper
scientific article; zbMATH DE number 1684364 (Why is no real title available?)	2003-03-13	Paper
scientific article; zbMATH DE number 1421052 (Why is no real title available?)	2000-03-22	Paper
scientific article; zbMATH DE number 1302474 (Why is no real title available?)	1999-08-31	Paper
scientific article; zbMATH DE number 1262432 (Why is no real title available?)	1999-08-23	Paper
A new approach for automatic theorem proving in real geometry Journal of Automated Reasoning	1999-04-11	Paper
scientific article; zbMATH DE number 1254010 (Why is no real title available?)	1999-02-23	Paper
Simplification of quantifier-free formulae over ordered fields Journal of Symbolic Computation	1997-09-29	Paper

Research outcomes over time

This page was built for person: Andreas Dolzmann