×
Author ID: dolzmann.andreas Recent zbMATH articles by "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

Publications by Year

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 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

Citations by Year