Thomas Sturm
Université de Lorraine
H-index: 24
Europe-France
Top articles of Thomas Sturm
Title | Journal | Author(s) | Publication Date |
|---|---|---|---|
ODEbase: a repository of ODE systems for systems biology | Bioinformatics Advances | Christoph Lüders Thomas Sturm Ovidiu Radulescu | 2022 |
Algorithmic reduction of biological networks with multiple time scales | Mathematics in Computer Science | Niclas Kruff Christoph Lüders Ovidiu Radulescu Thomas Sturm Sebastian Walcher | 2021/9 |
Foreword, with a Dedication to Andreas Weber | Mathematics in Computer Science | Matthew England Wolfram Koepf Timur Sadykov Werner M Seiler Thomas Sturm | 2021/6 |
A logic based approach to finding real singularities of implicit ordinary differential equations | Mathematics in Computer Science | Werner M Seiler Matthias Seiß Thomas Sturm | 2021/6 |
Efficiently and effectively recognizing toricity of steady state varieties | Mathematics in Computer Science | Dima Grigoriev Alexandru Iosif Hamid Rahkooy Thomas Sturm Andreas Weber | 2021/6 |
Foreword, with a Dedication to Vladimir Gerdt | Mathematics in Computer Science | Matthew England François Boulier Timur Sadykov Thomas Sturm | 2021/9 |
A complete and terminating approach to linear integer solving | Journal of Symbolic Computation | Martin Bromberger Thomas Sturm Christoph Weidenbach | 2020/9/1 |
Symbolic computation and satisfiability checking | James H Davenport Matthew England Alberto Griggio Thomas Sturm Cesare Tinelli | 2020/9/1 | |
Identifying the parametric occurrence of multiple steady states for some biological networks | Journal of Symbolic Computation | Russell Bradford James H Davenport Matthew England Hassan Errami Vladimir Gerdt | 2020/5/1 |
A linear algebra approach for detecting binomiality of steady state ideals of reversible chemical reaction networks | Hamid Rahkooy Ovidiu Radulescu Thomas Sturm | 2020 | |
First-order tests for toricity | Hamid Rahkooy Thomas Sturm | 2020/9/14 |
Co-Authors
