Edit Profile (opens in new tab) Dolzmann, Andreas Co-Author Distance Author ID: dolzmann.andreas Published as: Dolzmann, Andreas Documents Indexed: 12 Publications since 1997 Co-Authors: 6 Co-Authors with 11 Joint Publications 75 Co-Co-Authors all top 5 Co-Authors 1 single-authored 8 Sturm, Thomas 4 Weispfenning, Volker 1 Gilch, Lorenz A. 1 Gloor, Oliver 1 Košta, Marek 1 Seidl, Andreas Serials 3 Journal of Symbolic Computation 1 Journal of Automated Reasoning Fields 12 Computer science (68-XX) 9 Mathematical logic and foundations (03-XX) 2 Geometry (51-XX) 1 Number theory (11-XX) 1 Commutative algebra (13-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 10 Publications have been cited 109 times in 76 Documents Cited by ▼ Year ▼ Real quantifier elimination in practice. Zbl 0934.68130 Dolzmann, Andreas; Sturm, Thomas; Weispfenning, Volker 27 1999 Efficient projection orders for CAD. Zbl 1134.68575 Dolzmann, Andreas; Seidl, Andreas; Sturm, Thomas 27 2004 Simplification of quantifier-free formulae over ordered fields. Zbl 0882.03030 Dolzmann, Andreas; Sturm, Thomas 24 1997 A new approach for automatic theorem proving in real geometry. Zbl 0914.03013 Dolzmann, Andreas; Sturm, Thomas; Weispfenning, Volker 17 1998 Generic Hermitian quantifier elimination. Zbl 1109.03315 Dolzmann, Andreas; Gilch, Lorenz A. 6 2004 Better answers to real questions. Zbl 1346.68290 Košta, Marek; Sturm, Thomas; Dolzmann, Andreas 3 2016 Guarded expressions in practice. Zbl 0923.68073 Dolzmann, Andreas; Sturm, Thomas 2 1997 Solving geometric problems with real quantifier elimination. Zbl 0947.03016 Dolzmann, Andreas 1 1999 Approaches to parallel quantifier elimination. Zbl 0918.68054 Dolzmann, Andreas; Gloor, Oliver; Sturm, Thomas 1 1998 Local quantifier elimination. Zbl 1326.68350 Dolzmann, Andreas; Weispfenning, Volker 1 2000 Better answers to real questions. Zbl 1346.68290 Košta, Marek; Sturm, Thomas; Dolzmann, Andreas 3 2016 Efficient projection orders for CAD. Zbl 1134.68575 Dolzmann, Andreas; Seidl, Andreas; Sturm, Thomas 27 2004 Generic Hermitian quantifier elimination. Zbl 1109.03315 Dolzmann, Andreas; Gilch, Lorenz A. 6 2004 Local quantifier elimination. Zbl 1326.68350 Dolzmann, Andreas; Weispfenning, Volker 1 2000 Real quantifier elimination in practice. Zbl 0934.68130 Dolzmann, Andreas; Sturm, Thomas; Weispfenning, Volker 27 1999 Solving geometric problems with real quantifier elimination. Zbl 0947.03016 Dolzmann, Andreas 1 1999 A new approach for automatic theorem proving in real geometry. Zbl 0914.03013 Dolzmann, Andreas; Sturm, Thomas; Weispfenning, Volker 17 1998 Approaches to parallel quantifier elimination. Zbl 0918.68054 Dolzmann, Andreas; Gloor, Oliver; Sturm, Thomas 1 1998 Simplification of quantifier-free formulae over ordered fields. Zbl 0882.03030 Dolzmann, Andreas; Sturm, Thomas 24 1997 Guarded expressions in practice. Zbl 0923.68073 Dolzmann, Andreas; Sturm, Thomas 2 1997 all cited Publications top 5 cited Publications all top 5 Cited by 119 Authors 13 Sturm, Thomas 12 England, Matthew 10 Davenport, James Harold 8 Weber, Andreas Günter 6 Bradford, Russell J. 5 Brown, Christopher W. 5 Eirinakis, Pavlos 5 Paulson, Lawrence Charles 5 Subramani, Krishnan 5 Wilson, David J. 5 Wojciechowski, Piotr J. 4 Recio, Tomas 4 Seiler, Werner M. 4 Xia, Bican 3 Ábrahám, Erika 3 Akbarpour, Behzad 3 Errami, Hassan 3 Grigor’ev, Dmitriĭ Yur’evich 3 Hong, Hoon 3 Kovács, Zoltán 3 Ruggieri, Salvatore 3 Vajda, Robert 2 Abdel-Rahman, Essam Othman 2 Anai, Hirokazu 2 Bridge, James P. 2 Chen, Changbo 2 Corzilius, Florian 2 Dolzmann, Andreas 2 Eiswirth, Markus 2 Eraşcu, Mădălina 2 Florescu, Dorian 2 Huang, Zongyan 2 Iwane, Hidenao 2 Jackson, Paul B. 2 Košta, Marek 2 Kremer, Gereon 2 Lasaruk, Aless 2 Moreno Maza, Marc 2 Passmore, Grant Olney 2 Platzer, André 2 Rahkooy, Hamid 2 Sogokon, Andrew 2 Yokoyama, Kazuhiro 1 Armando, Alessandro 1 Ballarin, Clemens 1 Beaumont, James C. 1 Bromberger, Martin 1 Buchberger, Bruno 1 Chi, Haoyu 1 Chou, Shangching 1 Cimatti, Alessandro 1 Clemente, Lorenzo 1 Cohen, Kelly 1 de Moura, Leonardo 1 del Río Almajano, Tereso 1 del Río, Tereso 1 Dobal, Pablo Federico 1 El Kahoui, M’hammed 1 Feliu, Elisenda 1 Fleuriot, Jacques D. 1 Fontaine, Pascal 1 Fukasaku, Ryoya 1 Gao, Xiaoshan 1 Gerdt, Vladimir Petrovich 1 Ghorbal, Khalil 1 Han, Jingjun 1 Hara, Shinji 1 Hofman, Piotr 1 Hoyt, Charles Tapley 1 Ioakimidis, Nikolaos Ioakim 1 Iosif, Alexandru 1 Jaroschek, Maximilian 1 Jebelean, Tudor 1 Jiang, Jianguo 1 Jin, Zhi 1 Junges, Sebastian 1 Kanno, Masaaki 1 Li, Haokun 1 McCallum, Scott 1 Meikle, Laura I. 1 Montes, Antonio 1 Mover, Sergio 1 Nair, Akshar Sajive 1 Novotni, Dominik 1 Phisanbut, Nalina 1 Pickering, Lynn 1 Quesel, Jan-David 1 Radulescu, Ovidiu 1 Roanes-Lozano, Eugenio 1 Roanes-Macías, Eugenio 1 Rümmer, Philipp 1 Sankaran, Gregory Kumar 1 Sato, Yosuke 1 Schupp, Stefan 1 Seiß, Matthias 1 Sólyom-Gecse, Csilla 1 Steinberg, Stanly L. 1 Strzeboński, Adam Wojciech 1 Tang, Xiaoxian 1 Telek, Máté L. ...and 19 more Authors all top 5 Cited in 15 Serials 20 Journal of Symbolic Computation 7 Mathematics in Computer Science 4 Annals of Mathematics and Artificial Intelligence 3 Mathematics and Computers in Simulation 2 Theoretical Computer Science 2 Journal of Automated Reasoning 2 Applicable Algebra in Engineering, Communication and Computing 2 Formal Methods in System Design 1 Journal of Computational Physics 1 Bulletin of Mathematical Biology 1 Advances in Mathematics 1 Engineering Analysis with Boundary Elements 1 Constraints 1 Journal of Systems Science and Complexity 1 Computer Languages, Systems & Structures all top 5 Cited in 16 Fields 67 Computer science (68-XX) 26 Mathematical logic and foundations (03-XX) 13 Algebraic geometry (14-XX) 9 Commutative algebra (13-XX) 9 Biology and other natural sciences (92-XX) 7 Ordinary differential equations (34-XX) 7 Operations research, mathematical programming (90-XX) 6 Numerical analysis (65-XX) 5 Field theory and polynomials (12-XX) 4 Geometry (51-XX) 2 Dynamical systems and ergodic theory (37-XX) 2 Systems theory; control (93-XX) 1 Combinatorics (05-XX) 1 Real functions (26-XX) 1 Approximations and expansions (41-XX) 1 Mathematics education (97-XX) Citations by Year