 | 2009 |
|---|
| 21 |       | Aless Lasaruk,
Thomas Sturm:
Effective Quantifier Elimination for Presburger Arithmetic with Infinity.
CASC 2009: 195-212 |
| 20 |  | Thomas Sturm:
Acronyms for a Database Design Course.
FECS 2009: 438-444 |
| 19 | | Thomas Sturm:
Sudoku and A.I..
IC-AI 2009: 910-911 |
| 2008 |
|---|
| 18 | | Thomas Sturm,
Andreas Weber:
Investigating Generic Methods to Solve Hopf Bifurcation Problems in Algebraic Biology.
AB 2008: 200-215 |
| 2007 |
|---|
| 17 | | Aless Lasaruk,
Thomas Sturm:
Weak Integer Quantifier Elimination Beyond the Linear Case.
CASC 2007: 275-294 |
| 16 | | Hirokazu Anai,
Thomas Sturm:
Editorial.
Appl. Algebra Eng. Commun. Comput. 18(6): 495-496 (2007) |
| 15 | | Aless Lasaruk,
Thomas Sturm:
Weak quantifier elimination for the full linear theory of the integers.
Appl. Algebra Eng. Commun. Comput. 18(6): 545-574 (2007) |
| 2006 |
|---|
| 14 | | Thomas Sturm:
New Domains for Applied Quantifier Elimination.
CASC 2006: 295-301 |
| 13 | | Andreas Dolzmann,
Thomas Sturm:
Editorial.
J. Symb. Comput. 41(11): 1155-1156 (2006) |
| 2005 |
|---|
| 12 | | Thomas Sturm:
Quantifier Elimination for Constraint Logic Programming.
CASC 2005: 416-430 |
| 2004 |
|---|
| 11 | | Andreas Dolzmann,
Andreas Seidl,
Thomas Sturm:
Efficient projection orders for CAD.
ISSAC 2004: 111-118 |
| 2003 |
|---|
| 10 | | Andreas Seidl,
Thomas Sturm:
A generic projection operator for partial cylindrical algebraic decomposition.
ISSAC 2003: 240-247 |
| 2002 |
|---|
| 9 | | Thomas Sturm:
Integration of Quantifier Elimination with Constraint Logic Programming.
AISC 2002: 7-11 |
| 2000 |
|---|
| 8 | | Thomas Sturm:
Linear Problems in Valued Fields.
J. Symb. Comput. 30(2): 207-219 (2000) |
| 1999 |
|---|
| 7 | | Andreas Dolzmann,
Thomas Sturm:
P-adic Constraint Solving.
ISSAC 1999: 151-158 |
| 6 | | Thomas Sturm:
Reasoning over Networks by Symbolic Methods.
Appl. Algebra Eng. Commun. Comput. 10(1): 79-96 (1999) |
| 1998 |
|---|
| 5 | | Andreas Dolzmann,
Oliver Gloor,
Thomas Sturm:
Approaches to Parallel Quantifier Elimination.
ISSAC 1998: 88-95 |
| 4 | | Andreas Dolzmann,
Thomas Sturm,
Volker Weispfenning:
A New Approach for Automatic Theorem Proving in Real Geometry.
J. Autom. Reasoning 21(3): 357-380 (1998) |
| 1997 |
|---|
| 3 | | Andreas Dolzmann,
Thomas Sturm:
Guarded Expressions in Practice.
ISSAC 1997: 376-383 |
| 2 | | Andreas Dolzmann,
Thomas Sturm:
Simplification of Quantifier-Free Formulae over Ordered Fields.
J. Symb. Comput. 24(2): 209-231 (1997) |
| 1996 |
|---|
| 1 | | Thomas Sturm,
Volker Weispfenning:
Computational Geometry Problems in REDLOG.
Automated Deduction in Geometry 1996: 58-86 |
