|
Search the dblp DataBase
Thomas Sturm:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Thomas Sturm, Volker Weispfenning
Computational Geometry Problems in REDLOG. [Citation Graph (0, 0)][DBLP] Automated Deduction in Geometry, 1996, pp:58-86 [Conf]
- Thomas Sturm
Integration of Quantifier Elimination with Constraint Logic Programming. [Citation Graph (0, 0)][DBLP] AISC, 2002, pp:7-11 [Conf]
- Thomas Sturm
Quantifier Elimination for Constraint Logic Programming. [Citation Graph (0, 0)][DBLP] CASC, 2005, pp:416-430 [Conf]
- Thomas Sturm
New Domains for Applied Quantifier Elimination. [Citation Graph (0, 0)][DBLP] CASC, 2006, pp:295-301 [Conf]
- Andreas Dolzmann, Oliver Gloor, Thomas Sturm
Approaches to Parallel Quantifier Elimination. [Citation Graph (0, 0)][DBLP] ISSAC, 1998, pp:88-95 [Conf]
- Andreas Dolzmann, Thomas Sturm
Guarded Expressions in Practice. [Citation Graph (0, 0)][DBLP] ISSAC, 1997, pp:376-383 [Conf]
- Andreas Dolzmann, Thomas Sturm
P-adic Constraint Solving. [Citation Graph (0, 0)][DBLP] ISSAC, 1999, pp:151-158 [Conf]
- Andreas Dolzmann, Andreas Seidl, Thomas Sturm
Efficient projection orders for CAD. [Citation Graph (0, 0)][DBLP] ISSAC, 2004, pp:111-118 [Conf]
- Andreas Seidl, Thomas Sturm
A generic projection operator for partial cylindrical algebraic decomposition. [Citation Graph (0, 0)][DBLP] ISSAC, 2003, pp:240-247 [Conf]
- Thomas Sturm
Reasoning over Networks by Symbolic Methods. [Citation Graph (0, 0)][DBLP] Appl. Algebra Eng. Commun. Comput., 1999, v:10, n:1, pp:79-96 [Journal]
- Andreas Dolzmann, Thomas Sturm, Volker Weispfenning
A New Approach for Automatic Theorem Proving in Real Geometry. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1998, v:21, n:3, pp:357-380 [Journal]
- Andreas Dolzmann, Thomas Sturm
Simplification of Quantifier-Free Formulae over Ordered Fields. [Citation Graph (0, 0)][DBLP] J. Symb. Comput., 1997, v:24, n:2, pp:209-231 [Journal]
- Thomas Sturm
Linear Problems in Valued Fields. [Citation Graph (0, 0)][DBLP] J. Symb. Comput., 2000, v:30, n:2, pp:207-219 [Journal]
- Andreas Dolzmann, Thomas Sturm
Editorial. [Citation Graph (0, 0)][DBLP] J. Symb. Comput., 2006, v:41, n:11, pp:1155-1156 [Journal]
- Aless Lasaruk, Thomas Sturm
Weak Integer Quantifier Elimination Beyond the Linear Case. [Citation Graph (0, 0)][DBLP] CASC, 2007, pp:275-294 [Conf]
Effective Quantifier Elimination for Presburger Arithmetic with Infinity. [Citation Graph (, )][DBLP]
Acronyms for a Database Design Course. [Citation Graph (, )][DBLP]
Sudoku and A.I.. [Citation Graph (, )][DBLP]
Investigating Generic Methods to Solve Hopf Bifurcation Problems in Algebraic Biology. [Citation Graph (, )][DBLP]
Editorial. [Citation Graph (, )][DBLP]
Weak quantifier elimination for the full linear theory of the integers. [Citation Graph (, )][DBLP]
Search in 0.005secs, Finished in 0.006secs
|