The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Thomas Sturm 0001" ( http://dblp.L3S.de/Authors/Thomas_Sturm_0001 )

URL (Homepage):  http://science.thomas-sturm.de/  Author page on DBLP  Author page in RDF  Community of Thomas Sturm 0001 in ASPL-2

Publication years (Num. hits)
1996-2006 (16) 2007-2012 (16) 2013-2015 (15) 2016-2018 (17) 2019 (2)
Publication types (Num. hits)
article(31) inproceedings(33) proceedings(2)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 13 occurrences of 12 keywords

Results
Found 67 publication records. Showing 66 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Russell J. Bradford, James H. Davenport, Matthew England, Hassan Errami, Vladimir P. Gerdt, Dima Grigoriev, Charles Tapley Hoyt, Marek Kosta, Ovidiu Radulescu, Thomas Sturm 0001, Andreas Weber 0004 Identifying the Parametric Occurrence of Multiple Steady States for some Biological Networks. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Dima Grigoriev, Alexandru Iosif, Hamid Rahkooy, Thomas Sturm 0001, Andreas Weber 0004 Efficiently and Effectively Recognizing Toricity of Steady State Varieties. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1François Boulier, François Fages, Ovidiu Radulescu, Satya Swarup Samal, Andreas Schuppert, Werner M. Seiler, Thomas Sturm 0001, Sebastian Walcher, Andreas Weber 0004 The SYMBIONT project: symbolic methods for biological networks. Search on Bibsonomy ACM Comm. Computer Algebra The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Hoon Hong, Thomas Sturm 0001 Positive Solutions of Systems of Signed Parametric Polynomial Inequalities. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Hoon Hong, Thomas Sturm 0001 Positive Solutions of Systems of Signed Parametric Polynomial Inequalities. Search on Bibsonomy CASC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Thomas Sturm 0001 Thirty Years of Virtual Substitution: Foundations, Techniques, Applications. Search on Bibsonomy ISSAC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Matthew England, Hassan Errami, Dima Grigoriev, Ovidiu Radulescu, Thomas Sturm 0001, Andreas Weber 0004 Symbolic Versus Numerical Computation and Visualization of Parameter Regions for Multistationarity of Biological Networks. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Russell J. Bradford, James H. Davenport, Matthew England, Hassan Errami, Vladimir P. Gerdt, Dima Grigoriev, Charles Tapley Hoyt, Marek Kosta, Ovidiu Radulescu, Thomas Sturm 0001, Andreas Weber 0004 A Case Study on the Parametric Occurrence of Multiple Steady States. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Pascal Fontaine, Mizuhito Ogawa, Thomas Sturm 0001, Xuan-Tung Vu Subtropical Satisfiability. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Thomas Sturm 0001 A Survey of Some Methods for Real Quantifier Elimination, Decision, and Satisfiability and Their Applications. Search on Bibsonomy Mathematics in Computer Science The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Pascal Fontaine, Mizuhito Ogawa, Thomas Sturm 0001, Xuan-Tung Vu Subtropical Satisfiability. Search on Bibsonomy FroCoS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Matthew England, Hassan Errami, Dima Grigoriev, Ovidiu Radulescu, Thomas Sturm 0001, Andreas Weber 0004 Symbolic Versus Numerical Computation and Visualization of Parameter Regions for Multistationarity of Biological Networks. Search on Bibsonomy CASC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Russell J. Bradford, James H. Davenport, Matthew England, Hassan Errami, Vladimir P. Gerdt, Dima Grigoriev, Charles Tapley Hoyt, Marek Kosta, Ovidiu Radulescu, Thomas Sturm 0001, Andreas Weber 0004 A Case Study on the Parametric Occurrence of Multiple Steady States. Search on Bibsonomy ISSAC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Erika Ábrahám, John Abbott, Bernd Becker 0001, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm 0001 Satisfiability checking and symbolic computation. Search on Bibsonomy ACM Comm. Computer Algebra The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Erika Ábrahám, John Abbott, Bernd Becker 0001, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm 0001 Satisfiability Checking and Symbolic Computation. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Erika Ábrahám, John Abbott, Bernd Becker 0001, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm 0001 Satisfiability Checking meets Symbolic Computation (Project Paper). Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Marek Kosta, Thomas Sturm 0001, Andreas Dolzmann Better answers to real questions. Search on Bibsonomy J. Symb. Comput. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Thomas Sturm 0001, Marco Voigt, Christoph Weidenbach Deciding First-Order Satisfiability when Universal and Existential Variables are Separated. Search on Bibsonomy LICS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Erika Ábrahám, John Abbott, Bernd Becker 0001, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm 0001 SC2: Satisfiability Checking Meets Symbolic Computation - (Project Paper). Search on Bibsonomy CICM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Erika Ábrahám, Pascal Fontaine, Thomas Sturm 0001, Dongming Wang Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 15471). Search on Bibsonomy Dagstuhl Reports The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Hassan Errami, Markus Eiswirth, Dima Grigoriev, Werner M. Seiler, Thomas Sturm 0001, Andreas Weber 0004 Detection of Hopf bifurcations in chemical reaction networks using convex coordinates. Search on Bibsonomy J. Comput. Physics The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Marek Kosta, Thomas Sturm 0001, Andreas Dolzmann Better Answers to Real Questions. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Martin Bromberger, Thomas Sturm 0001, Christoph Weidenbach Linear Integer Arithmetic Revisited. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Marek Kosta, Thomas Sturm 0001 A Generalized Framework for Virtual Substitution. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Thomas Sturm 0001, Marco Voigt, Christoph Weidenbach Deciding First-Order Satisfiability when Universal and Existential Variables are Separated. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Thomas Sturm 0001 Subtropical Real Root Finding. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Pascal Fontaine, Thomas Sturm 0001, Uwe Waldmann Foreword to the Special Focus on Constraints and Combinations. Search on Bibsonomy Mathematics in Computer Science The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Martin Bromberger, Thomas Sturm 0001, Christoph Weidenbach Linear Integer Arithmetic Revisited. Search on Bibsonomy CADE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Thomas Sturm 0001 Subtropical Real Root Finding. Search on Bibsonomy ISSAC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Konstantin Korovin, Marek Kosta, Thomas Sturm 0001 Towards Conflict-Driven Learning for Virtual Substitution. Search on Bibsonomy CASC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Konstantin Korovin, Marek Kosta, Thomas Sturm 0001 Towards Conflict-Driven Learning for Virtual Substitution. Search on Bibsonomy SMT The full citation details ... 2014 DBLP  BibTeX  RDF
1Marek Kosta, Thomas Sturm 0001, Andreas Dolzmann Better Answers to Real Questions. Search on Bibsonomy SMT The full citation details ... 2014 DBLP  BibTeX  RDF
1Ralf Karrenberg, Marek Kosta, Thomas Sturm 0001 Presburger Arithmetic in Memory Access Optimization for Data-Parallel Languages. Search on Bibsonomy FroCos The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Hassan Errami, Markus Eiswirth, Dima Grigoriev, Werner M. Seiler, Thomas Sturm 0001, Andreas Weber 0004 Efficient Methods to Compute Hopf Bifurcations in Chemical Reaction Networks Using Reaction Coordinates. Search on Bibsonomy CASC The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1François Boulier, Anne Shiu, Thomas Sturm 0001, Andreas Weber 0004 Symbolic Methods for Chemical Reaction Networks (Dagstuhl Seminar 12462). Search on Bibsonomy Dagstuhl Reports The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Stefan Ratschan, Thomas Sturm 0001 Foreword. Search on Bibsonomy Mathematics in Computer Science The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Thomas Sturm 0001, Christoph Zengler (eds.) Automated Deduction in Geometry - 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008. Revised Papers Search on Bibsonomy Automated Deduction in Geometry The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Hassan Errami, Werner M. Seiler, Thomas Sturm 0001, Andreas Weber 0004 On Muldowney's Criteria for Polynomial Vector Fields with Constraints. Search on Bibsonomy CASC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Thomas Sturm 0001, Ashish Tiwari Verification and synthesis using real quantifier elimination. Search on Bibsonomy ISSAC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Erika Ábrahám, Florian Corzilius, Ulrich Loup, Thomas Sturm 0001 A Lazy SMT-Solver for a Non-Linear Subset of Real Algebra. Search on Bibsonomy Verification over discrete-continuous boundaries The full citation details ... 2010 DBLP  BibTeX  RDF
1Andreas Weber 0004, Thomas Sturm 0001, Werner M. Seiler, Essam O. Abdel-Rahman Parametric Qualitative Analysis of Ordinary Differential Equations: Computer Algebra Methods for Excluding Oscillations (Extended Abstract) (Invited Talk). Search on Bibsonomy CASC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Winfried Neun, Thomas Sturm 0001, Stefan Vigerske Supporting Global Numerical Optimization of Rational Functions by Generic Symbolic Convexity Tests. Search on Bibsonomy CASC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Thomas Sturm 0001, Christoph Zengler Parametric quantified SAT solving. Search on Bibsonomy ISSAC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Thomas Sturm 0001, Andreas Weber 0004, Essam O. Abdel-Rahman, M'hammed El Kahoui Investigating Algebraic and Logical Algorithms to Solve Hopf Bifurcation Problems in Algebraic Biology. Search on Bibsonomy Mathematics in Computer Science The full citation details ... 2009 DBLP  DOI  BibTeX  RDF quantifier elimination over the reals, logical inconsistency checking, dynamical systems, oscillations, Hopf bifurcations
1Aless Lasaruk, Thomas Sturm 0001 Effective Quantifier Elimination for Presburger Arithmetic with Infinity. Search on Bibsonomy CASC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Aless Lasaruk, Thomas Sturm 0001 Automatic Verification of the Adequacy of Models for Families of Geometric Objects. Search on Bibsonomy Automated Deduction in Geometry The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Thomas Sturm 0001, Andreas Weber 0004 Investigating Generic Methods to Solve Hopf Bifurcation Problems in Algebraic Biology. Search on Bibsonomy AB The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Hirokazu Anai, Thomas Sturm 0001 Editorial. Search on Bibsonomy Appl. Algebra Eng. Commun. Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Aless Lasaruk, Thomas Sturm 0001 Weak quantifier elimination for the full linear theory of the integers. Search on Bibsonomy Appl. Algebra Eng. Commun. Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Integer constraint solving, Implementation, Quantifier elimination
1Aless Lasaruk, Thomas Sturm 0001 Weak Integer Quantifier Elimination Beyond the Linear Case. Search on Bibsonomy CASC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Andreas Dolzmann, Thomas Sturm 0001 Editorial. Search on Bibsonomy J. Symb. Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Thomas Sturm 0001 New Domains for Applied Quantifier Elimination. Search on Bibsonomy CASC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Andreas Dolzmann, Andreas Seidl, Thomas Sturm 0001 (eds.) Algorithmic Algebra and Logic. Proceedings of the A3L 2005, April 3-6, Passau, Germany; Conference in Honor of the 60th Birthday of Volker Weispfenning. Search on Bibsonomy Algorithmic Algebra and Logic The full citation details ... 2005 DBLP  BibTeX  RDF
1Thomas Sturm 0001 Quantifier Elimination for Constraint Logic Programming. Search on Bibsonomy CASC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Andreas Dolzmann, Andreas Seidl, Thomas Sturm 0001 Efficient projection orders for CAD. Search on Bibsonomy ISSAC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF partial cad, redlog, projection operator
1Andreas Seidl, Thomas Sturm 0001 A generic projection operator for partial cylindrical algebraic decomposition. Search on Bibsonomy ISSAC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF REDLOG, partial CAD, projection operator
1Thomas Sturm 0001 Integration of Quantifier Elimination with Constraint Logic Programming. Search on Bibsonomy AISC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Thomas Sturm 0001 Linear Problems in Valued Fields. Search on Bibsonomy J. Symb. Comput. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Thomas Sturm 0001 Reasoning over Networks by Symbolic Methods. Search on Bibsonomy Appl. Algebra Eng. Commun. Comput. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Real quantifier elimination, Diagnosis, Error detection, Network analysis, Network sizing, Automatic reasoning
1Andreas Dolzmann, Thomas Sturm 0001 P-adic Constraint Solving. Search on Bibsonomy ISSAC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF REDUCE
1Andreas Dolzmann, Thomas Sturm 0001, Volker Weispfenning A New Approach for Automatic Theorem Proving in Real Geometry. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Andreas Dolzmann, Oliver Gloor, Thomas Sturm 0001 Approaches to Parallel Quantifier Elimination. Search on Bibsonomy ISSAC The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Andreas Dolzmann, Thomas Sturm 0001 REDLOG: computer algebra meets computer logic. Search on Bibsonomy ACM SIGSAM Bulletin The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Andreas Dolzmann, Thomas Sturm 0001 Simplification of Quantifier-Free Formulae over Ordered Fields. Search on Bibsonomy J. Symb. Comput. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Andreas Dolzmann, Thomas Sturm 0001 Guarded Expressions in Practice. Search on Bibsonomy ISSAC The full citation details ... 1997 DBLP  BibTeX  RDF
1Thomas Sturm 0001, Volker Weispfenning Computational Geometry Problems in REDLOG. Search on Bibsonomy Automated Deduction in Geometry The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #66 of 66 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license