Sturm, Thomas
Sturm, Thomas, 1968-....
Thomas Sturm researcher
VIAF ID: 20372523 ( Personal )
Permalink: http://viaf.org/viaf/20372523
Preferred Forms
- 100 1 _ ‡a Sturm, Thomas
-
-
- 100 1 _ ‡a Sturm, Thomas
- 100 1 _ ‡a Sturm, Thomas
- 100 1 _ ‡a Sturm, Thomas, ‡d 1968-....
- 100 0 _ ‡a Thomas Sturm ‡c researcher
4xx's: Alternate Name Forms (2)
Works
Title | Sources |
---|---|
ADG 2008 | |
algebraic approach to offsetting and blending of solids | |
Automated deduction in geometry : 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008 : revised papers | |
Boolean quantification in a first-order context | |
Computational geometry problems in REDLOG | |
Efficient projection orders for CAD | |
Generalized constraint solving over differential algebras | |
generic projection operator for partial cylindrical algebraic decomposition | |
Guarded expressions in practice | |
Linear problems in valued fields | |
new approach for automatic theorem proving in real geometry | |
P-adic root isolation | |
Real quantifier elimination in practice | |
Reasoning over networks by symbolic methods | |
REDLOG Computer algebra meets computer logic | |
Redlog user manual edition 2.0, for REDLOG version 2.0 | |
Simplification of quantifier free formulas over ordered fields | |
Solving systems of linear congruences | |
Solving univariate p-adic constraints |