default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Andreas Dolzmann
@article{DBLP:journals/jsc/Kosta0D16,
author = {Marek Kosta and
Thomas Sturm and
Andreas Dolzmann},
title = {Better answers to real questions},
journal = {J. Symb. Comput.},
volume = {74},
pages = {255--275},
year = {2016},
url = {https://doi.org/10.1016/j.jsc.2015.07.002},
doi = {10.1016/J.JSC.2015.07.002},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Kosta0D16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KostaSD15,
author = {Marek Kosta and
Thomas Sturm and
Andreas Dolzmann},
title = {Better Answers to Real Questions},
journal = {CoRR},
volume = {abs/1501.05098},
year = {2015},
url = {http://arxiv.org/abs/1501.05098},
eprinttype = {arXiv},
eprint = {1501.05098},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KostaSD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smt/KostaSD14,
author = {Marek Kosta and
Thomas Sturm and
Andreas Dolzmann},
editor = {Philipp R{\"{u}}mmer and
Christoph M. Wintersteiger},
title = {Better Answers to Real Questions},
booktitle = {Proceedings of the 12th International Workshop on Satisfiability Modulo
Theories, {SMT} 2014, affiliated with the 26th International Conference
on Computer Aided Verification {(CAV} 2014), the 7th International
Joint Conference on Automated Reasoning {(IJCAR} 2014), and the 17th
International Conference on Theory and Applications of Satisfiability
Testing {(SAT} 2014), Vienna, Austria, July 17-18, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1163},
pages = {69},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1163/paper-12.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:48 +0100},
biburl = {https://dblp.org/rec/conf/smt/KostaSD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/DolzmannW07,
author = {Andreas Dolzmann and
Volker Weispfenning},
title = {Multiple object semilinear motion planning},
journal = {J. Symb. Comput.},
volume = {42},
number = {3},
pages = {324--337},
year = {2007},
url = {https://doi.org/10.1016/j.jsc.2006.11.001},
doi = {10.1016/J.JSC.2006.11.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/DolzmannW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/DolzmannS06,
author = {Andreas Dolzmann and
Thomas Sturm},
title = {Editorial},
journal = {J. Symb. Comput.},
volume = {41},
number = {11},
pages = {1155--1156},
year = {2006},
url = {https://doi.org/10.1016/j.jsc.2005.10.006},
doi = {10.1016/J.JSC.2005.10.006},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/DolzmannS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2005weispfenning,
editor = {Andreas Dolzmann and
Andreas Seidl and
Thomas Sturm},
title = {Algorithmic Algebra and Logic. Proceedings of the {A3L} 2005, April
3-6, Passau, Germany; Conference in Honor of the 60th Birthday of
Volker Weispfenning},
publisher = {Books on Demand},
year = {2005},
url = {http://www.a3l.org/proceedings.html},
isbn = {3-8334-2669-1},
timestamp = {Tue, 30 Jun 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/2005weispfenning.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/DolzmannG04,
author = {Andreas Dolzmann and
Lorenz A. Gilch},
editor = {Bruno Buchberger and
John A. Campbell},
title = {Generic Hermitian Quantifier Elimination},
booktitle = {Artificial Intelligence and Symbolic Computation, 7th International
Conference, {AISC} 2004, Linz, Austria, September 22-24, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3249},
pages = {80--93},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30210-0\_8},
doi = {10.1007/978-3-540-30210-0\_8},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/aisc/DolzmannG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/DolzmannSS04,
author = {Andreas Dolzmann and
Andreas Seidl and
Thomas Sturm},
editor = {Jaime Gutierrez},
title = {Efficient projection orders for {CAD}},
booktitle = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
2004, Santander, Spain, July 4-7, 2004, Proceedings},
pages = {111--118},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1005285.1005303},
doi = {10.1145/1005285.1005303},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/DolzmannSS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/DolzmannS01,
author = {Andreas Dolzmann and
Thomas Sturm},
editor = {Victor G. Ganzha and
Ernst Wilhelm Mayr and
Evgenii V. Vorozhtsov},
title = {Parametric Systems of Linear Congruences},
booktitle = {Computer Algebra in Scientific Computing, {CASC} 2001, Konstanz, Germany,
September 22-26, 2001},
pages = {149--166},
publisher = {Springer Berlin Heidelberg},
year = {2001},
url = {https://doi.org/10.1007/978-3-642-56666-0\_12},
doi = {10.1007/978-3-642-56666-0\_12},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/casc/DolzmannS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Dolzmann00,
author = {Andreas Dolzmann},
title = {Algorithmic strategies for applicable real quantifier elimination},
school = {University of Passau, Germany},
year = {2000},
url = {http://elib.ub.uni-passau.de/opus/volltexte/2001/6/index.html},
urn = {urn:nbn:de:bvb:739-opus-64},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/dnb/Dolzmann00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/DolzmannW00,
author = {Andreas Dolzmann and
Volker Weispfenning},
editor = {Carlo Traverso},
title = {Local quantifier elimination},
booktitle = {Proceedings of the 2000 International Symposium on Symbolic and Algebraic
Computation, {ISSAC} 2000, St. Andrews, United Kingdom, August 6-10,
2000},
pages = {86--94},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/345542.345589},
doi = {10.1145/345542.345589},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/DolzmannW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/gi/Dolzmann00,
author = {Andreas Dolzmann},
editor = {Herbert Fiedler and
Werner Grass and
Oliver G{\"{u}}nther and
Steffen H{\"{o}}lldobler and
G{\"{u}}nter Hotz and
R{\"{u}}diger Reischuk and
Bernhard Seeger and
Dorothea Wagner},
title = {Algorithmische Strategien f{\"{u}}r anwendbare reelle Quantorenelimination},
booktitle = {Ausgezeichnete Informatikdissertationen 2000},
series = {{LNI}},
volume = {{D-1}},
pages = {43--52},
publisher = {{GI}},
year = {2000},
url = {https://dl.gi.de/handle/20.500.12116/4425},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gi/Dolzmann00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/DolzmannS99,
author = {Andreas Dolzmann and
Thomas Sturm},
editor = {Keith O. Geddes and
Bruno Salvy and
Samuel S. Dooley},
title = {P-adic Constraint Solving},
booktitle = {Proceedings of the 1999 International Symposium on Symbolic and Algebraic
Computation, {ISSAC} '99, Vancouver, B.C., Canada, July 29-31, 1999},
pages = {151--158},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/309831.309894},
doi = {10.1145/309831.309894},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/DolzmannS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/DolzmannSW98,
author = {Andreas Dolzmann and
Thomas Sturm and
Volker Weispfenning},
title = {A New Approach for Automatic Theorem Proving in Real Geometry},
journal = {J. Autom. Reason.},
volume = {21},
number = {3},
pages = {357--380},
year = {1998},
url = {https://doi.org/10.1023/A:1006031329384},
doi = {10.1023/A:1006031329384},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/DolzmannSW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/Dolzmann98,
author = {Andreas Dolzmann},
editor = {Xiao{-}Shan Gao and
Dongming Wang and
Lu Yang},
title = {Solving Geometric Problems with Real Quantifier Elimination},
booktitle = {Automated Deduction in Geometry, Second International Workshop, ADG'98,
Beijing, China, August 1-3, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1669},
pages = {14--29},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-47997-X\_2},
doi = {10.1007/3-540-47997-X\_2},
timestamp = {Tue, 19 Nov 2019 15:07:32 +0100},
biburl = {https://dblp.org/rec/conf/adg/Dolzmann98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/DolzmannGS98,
author = {Andreas Dolzmann and
Oliver Gloor and
Thomas Sturm},
editor = {Volker Weispfenning and
Barry M. Trager},
title = {Approaches to Parallel Quantifier Elimination},
booktitle = {Proceedings of the 1998 International Symposium on Symbolic and Algebraic
Computation, {ISSAC} '98, Rostock, Germany, August 13-15, 1998},
pages = {88--95},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/281508.281564},
doi = {10.1145/281508.281564},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/DolzmannGS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/Dolzmann097,
author = {Andreas Dolzmann and
Thomas Sturm},
title = {{REDLOG:} computer algebra meets computer logic},
journal = {{SIGSAM} Bull.},
volume = {31},
number = {2},
pages = {2--9},
year = {1997},
url = {https://doi.org/10.1145/261320.261324},
doi = {10.1145/261320.261324},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cca/Dolzmann097.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/DolzmannS97,
author = {Andreas Dolzmann and
Thomas Sturm},
title = {Simplification of Quantifier-Free Formulae over Ordered Fields},
journal = {J. Symb. Comput.},
volume = {24},
number = {2},
pages = {209--231},
year = {1997},
url = {https://doi.org/10.1006/jsco.1997.0123},
doi = {10.1006/JSCO.1997.0123},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/DolzmannS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aant/Dolzmann0W97,
author = {Andreas Dolzmann and
Thomas Sturm and
Volker Weispfenning},
editor = {B. Heinrich Matzat and
Gert{-}Martin Greuel and
Gerhard Hiss},
title = {Real Quantifier Elimination in Practice},
booktitle = {Algorithmic Algebra and Number Theory - Selected Papers From a Conference
Held at the University of Heidelberg, Germany, October 1997},
pages = {221--247},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/978-3-642-59932-3\_11},
doi = {10.1007/978-3-642-59932-3\_11},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aant/Dolzmann0W97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/DolzmannS97,
author = {Andreas Dolzmann and
Thomas Sturm},
editor = {Bruce W. Char and
Paul S. Wang and
Wolfgang K{\"{u}}chlin},
title = {Guarded Expressions in Practice},
booktitle = {Proceedings of the 1997 International Symposium on Symbolic and Algebraic
Computation, {ISSAC} 1997, Maui, Hawaii, USA, July 21-23, 1997},
pages = {376--383},
publisher = {{ACM}},
year = {1997},
url = {https://doi.org/10.1145/258726.258851},
doi = {10.1145/258726.258851},
timestamp = {Mon, 30 May 2022 14:18:14 +0200},
biburl = {https://dblp.org/rec/conf/issac/DolzmannS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-24 23:17 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
