Thomas Sturm

Available identifiers

zbMath Open sturm.thomasWikidataQ62051645 ScholiaQ62051645MaRDI QIDQ349839

List of research outcomes

Publication	Date of Publication	Type
Reduction of Chemical Reaction Networks with Approximate Conservation Laws	2024-01-29	Paper
A Computational Approach to Polynomial Conservation Laws	2022-12-30	Paper
A linear algebra approach for detecting binomiality of steady state ideals of reversible chemical reaction networks	2022-12-21	Paper
First-order tests for toricity	2022-12-21	Paper
Parametric toricity of steady state varieties of reaction networks	2022-03-24	Paper
Testing binomiality of chemical reaction networks using comprehensive Gröbner systems	2022-03-24	Paper
Algorithmic reduction of biological networks with multiple time scales	2021-11-24	Paper
Efficiently and effectively recognizing toricity of steady state varieties	2021-06-25	Paper
A logic based approach to finding real singularities of implicit ordinary differential equations	2021-06-25	Paper
A Case Study on the Parametric Occurrence of Multiple Steady States	2020-09-09	Paper
Thirty Years of Virtual Substitution	2020-09-09	Paper
A complete and terminating approach to linear integer solving	2020-03-24	Paper
Identifying the parametric occurrence of multiple steady states for some biological networks	2020-01-15	Paper
Positive solutions of systems of signed parametric polynomial inequalities	2018-10-23	Paper
Deciding First-Order Satisfiability when Universal and Existential Variables are Separated	2018-04-23	Paper
A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications	2018-02-27	Paper
Symbolic versus numerical computation and visualization of parameter regions for multistationarity of biological networks	2018-02-23	Paper
Subtropical satisfiability	2018-01-04	Paper
Satisfiability checking and symbolic computation	2017-06-21	Paper
Detection of Hopf bifurcations in chemical reaction networks using convex coordinates	2016-12-05	Paper
Subtropical Real Root Finding	2016-09-29	Paper
$$\mathsf {SC}^\mathsf{2} $$ : Satisfiability Checking Meets Symbolic Computation	2016-08-30	Paper
Better answers to real questions	2015-12-08	Paper
Linear Integer Arithmetic Revisited	2015-12-02	Paper
Parametric quantified SAT solving	2015-09-17	Paper
Verification and synthesis using real quantifier elimination	2015-06-09	Paper
Towards Conflict-Driven Learning for Virtual Substitution	2014-09-08	Paper
Efficient Methods to Compute Hopf Bifurcations in Chemical Reaction Networks Using Reaction Coordinates	2014-07-07	Paper
Presburger Arithmetic in Memory Access Optimization for Data-Parallel Languages	2013-09-20	Paper
On Muldowney’s Criteria for Polynomial Vector Fields with Constraints	2011-09-02	Paper
Algorithmic global criteria for excluding oscillations	2011-06-08	Paper
Automatic Verification of the Adequacy of Models for Families of Geometric Objects	2011-05-26	Paper
Investigating algebraic and logical algorithms to solve Hopf bifurcation problems in algebraic biology	2011-02-19	Paper
Parametric Qualitative Analysis of Ordinary Differential Equations: Computer Algebra Methods for Excluding Oscillations (Extended Abstract) (Invited Talk)	2010-09-10	Paper
Supporting Global Numerical Optimization of Rational Functions by Generic Symbolic Convexity Tests	2010-09-10	Paper
Effective Quantifier Elimination for Presburger Arithmetic with Infinity	2009-11-10	Paper
Investigating Generic Methods to Solve Hopf Bifurcation Problems in Algebraic Biology	2009-02-03	Paper
Weak quantifier elimination for the full linear theory of the integers	2008-09-10	Paper
New Domains for Applied Quantifier Elimination	2008-07-04	Paper
Weak Integer Quantifier Elimination Beyond the Linear Case	2008-07-01	Paper
Computer Algebra in Scientific Computing	2006-07-07	Paper
https://portal.mardi4nfdi.de/entity/Q4660673	2005-04-04	Paper
Efficient projection orders for CAD	2005-03-14	Paper
https://portal.mardi4nfdi.de/entity/Q4808700	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q2760201	2003-03-13	Paper
https://portal.mardi4nfdi.de/entity/Q2702025	2001-10-03	Paper
Linear problems in valued fields	2001-02-06	Paper
Reasoning over networks by symbolic methods	2000-03-08	Paper
https://portal.mardi4nfdi.de/entity/Q4247790	1999-08-31	Paper
https://portal.mardi4nfdi.de/entity/Q4232480	1999-08-23	Paper
A new approach for automatic theorem proving in real geometry	1999-04-11	Paper
https://portal.mardi4nfdi.de/entity/Q4226991	1999-02-23	Paper
https://portal.mardi4nfdi.de/entity/Q3838772	1998-10-26	Paper
Simplification of quantifier-free formulae over ordered fields	1997-09-29	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Thomas Sturm