Thomas Sturm 0001

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Andreas Dolzmann

> Home > Persons > Thomas Sturm 0001

Publications

2016
[j13]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jsc/Kosta0D16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/Kosta0D16
Marek Kosta, Thomas Sturm, Andreas Dolzmann:
Better answers to real questions. J. Symb. Comput. 74: 255-275 (2016)
2015
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/KostaSD15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/KostaSD15
Marek Kosta, Thomas Sturm, Andreas Dolzmann:
Better Answers to Real Questions. CoRR abs/1501.05098 (2015)
2014
[c24]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/smt/KostaSD14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smt/KostaSD14
Marek Kosta, Thomas Sturm, Andreas Dolzmann:
Better Answers to Real Questions. SMT 2014: 69
2006
[j6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jsc/DolzmannS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/DolzmannS06
Andreas Dolzmann, Thomas Sturm:
Editorial. J. Symb. Comput. 41(11): 1155-1156 (2006)
2005
[e1]
- view
- export record
  dblp key:
  - conf/birthday/2005weispfenning
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/2005weispfenning
Andreas Dolzmann, Andreas Seidl, Thomas Sturm:
Algorithmic Algebra and Logic. Proceedings of the A3L 2005, April 3-6, Passau, Germany; Conference in Honor of the 60th Birthday of Volker Weispfenning. Books on Demand 2005, ISBN 3-8334-2669-1, pp. i-xii, 1-558 [contents]
2004
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/issac/DolzmannSS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issac/DolzmannSS04
Andreas Dolzmann, Andreas Seidl, Thomas Sturm:
Efficient projection orders for CAD. ISSAC 2004: 111-118
2001
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/casc/DolzmannS01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/casc/DolzmannS01
Andreas Dolzmann, Thomas Sturm:
Parametric Systems of Linear Congruences. CASC 2001: 149-166
1999
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/issac/DolzmannS99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issac/DolzmannS99
Andreas Dolzmann, Thomas Sturm:
P-adic Constraint Solving. ISSAC 1999: 151-158
1998
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/DolzmannSW98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/DolzmannSW98
Andreas Dolzmann, Thomas Sturm, Volker Weispfenning:
A New Approach for Automatic Theorem Proving in Real Geometry. J. Autom. Reason. 21(3): 357-380 (1998)
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/issac/DolzmannGS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issac/DolzmannGS98
Andreas Dolzmann, Oliver Gloor, Thomas Sturm:
Approaches to Parallel Quantifier Elimination. ISSAC 1998: 88-95
1997
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/cca/Dolzmann097
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cca/Dolzmann097
Andreas Dolzmann, Thomas Sturm:
REDLOG: computer algebra meets computer logic. SIGSAM Bull. 31(2): 2-9 (1997)
[j1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jsc/DolzmannS97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/DolzmannS97
Andreas Dolzmann, Thomas Sturm:
Simplification of Quantifier-Free Formulae over Ordered Fields. J. Symb. Comput. 24(2): 209-231 (1997)
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/aant/Dolzmann0W97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aant/Dolzmann0W97
Andreas Dolzmann, Thomas Sturm, Volker Weispfenning:
Real Quantifier Elimination in Practice. Algorithmic Algebra and Number Theory 1997: 221-247
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/issac/DolzmannS97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issac/DolzmannS97
Andreas Dolzmann, Thomas Sturm:
Guarded Expressions in Practice. ISSAC 1997: 376-383

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.