MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Thomas Sturm" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

29 documents found, showing 1 through 10. Next 10 →

ATOM

Linear Problems in Valued Fields
by Thomas Sturm, Thomas Sturm — 1998 — Journal of Symbolic Computation
…Linear Problems in Valued Fields THOMAS STURM y Fakultat fur Mathematik und Informatik…
Cited by 6 (6 self) – Add To MetaCart

Real quadratic quantifier elimination in risa/asir
by Thomas Sturm, Thomas Sturm — 1996
…Research Memorandum ISIS-RM-5E Real Quadratic Quantifier Elimination in Risa/Asir Thomas Sturm…
Cited by 1 (0 self) – Add To MetaCart

Reasoning over Networks by Symbolic Methods
by Thomas Sturm — 1997 — Appl. Algebra Eng. Commun. Comput
…Reasoning over Networks by Symbolic Methods Thomas Sturm Universitat Passau, D-94030 Passau…
Cited by 3 (3 self) – Add To MetaCart

Abstract Will Robots Destroy Us?: Teaching Students About Technological Implications
by Thomas P. Sturm
…. Sturm Quantitative Methods and Computer Science Department University of St. Thomas tpsturm…
Add To MetaCart

Generalized Constraint Solving over Differential Algebras
by Andreas Dolzmann, Thomas Sturm — 2004 — Computer Algebra in Scientific Computing. Proceedings of the CASC 2004
…Generalized Constraint Solving over Differential Algebras Andreas Dolzmann # and Thomas Sturm…
Cited by 1 (1 self) – Add To MetaCart

P-adic Constraint Solving
by Andreas Dolzmann, Thomas Sturm — 1999 — Proceedings of the 1999 International Symposium on Symbolic and Algebraic Computation (ISSAC 99), Vancouver, BC
…P-adic Constraint Solving Andreas Dolzmann and Thomas Sturm Department of Mathematics and Computer…
Cited by 10 (9 self) – Add To MetaCart

Parametric systems of linear congruences
by Andreas Dolzmann, Thomas Sturm — 2001 — Computer Algebra in Scientific Computing. Proceedings of the CASC 2000
…Parametric Systems of Linear Congruences Andreas Dolzmann and Thomas Sturm FMI, University…
Cited by 2 (1 self) – Add To MetaCart

A Generic Projection Operator for Partial Cylindrical Algebraic Decomposition
by Andreas Seidl, Thomas Sturm — 2003 — PROCEEDINGS OF THE 2003 INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND ALGEBRAIC COMPUTATION (ISSAC 03
… # and Thomas Sturm + FMI, University of Passau, Germany MIP-0301 January 20, 2003 Abstract This paper…
Cited by 10 (2 self) – Add To MetaCart

An Algebraic Approach to Offsetting and Blending of Solids
by Thomas Sturm, Volker Weispfenning — 1998
…An Algebraic Approach to Ooesetting and Blending of Solids Thomas Sturm and Volker Weispfenning…
Cited by 2 (1 self) – Add To MetaCart

Rounding and Blending of Solids by a Real Elimination Method
by Thomas Sturm, Volker Weispfenning — 1997 — Proceedings of the 15th IMACS World Congress on Scientific Computation, Modelling, and Applied Mathematics (IMACS 97
… Sturm and Volker Weispfenning Department of Mathematics and Computer Science University of Passau…
Cited by 5 (5 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB