Symbolic Methods for Chemical Reaction Networks (Dagstuhl Seminar 12462)
François Boulier
,
Anne J. Shiu
,
Andreas Weber
,
Thomas Sturm
[Research Report] Dagstuhl. 2013, pp.66--86
Reports
hal-00824955v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Deciding First-Order Satisfiability when Universal and Existential Variables are Separated
Thomas Sturm
,
Marco Voigt
,
Christoph Weidenbach
Conference papers
hal-01389744v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Linear Integer Arithmetic Revisited
Martin Bromberger
,
Thomas Sturm
,
Christoph Weidenbach
25th International Conference on Automated Deduction (CADE-25) , Aug 2015, Berlin, Germany. pp.623-637
Conference papers
hal-01239394v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Efficiently and Effectively Recognizing Toricity of Steady State Varieties
Dima Grigoriev
,
Alexandru Iosif
,
Hamid Rahkooy
,
Thomas Sturm
,
Andreas Weber
2019
Preprints, Working Papers, ...
hal-02397107v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Satisfiability Checking and Symbolic Computation
Thomas Sturm
,
Erika Abraham
,
John A. Abbott
,
Bern W. Becker
,
Anna Maria Bigatti
,
et al.
Journal articles
hal-01648695v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
A Linear Algebra Approach for Detecting Binomiality of Steady State Ideals of Reversible Chemical Reaction Networks
Hamid Rahkooy
,
Ovidiu Radulescu
,
Thomas Sturm
Book sections
hal-02977486v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Better answers to real questions
Marek Košta
,
Thomas Sturm
,
Andreas Dolzmann
Journal articles
hal-01388720v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
A Computational Approach to Complete Exact and Approximate Conservation Laws of Chemical Reaction Networks
Aurélien Desoeuvres
,
Alexandru Iosif
,
Christoph Lüders
,
Ovidiu Radulescu
,
Hamid Rahkooy
,
et al.
2022
Preprints, Working Papers, ...
hal-03934350v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Detection of Hopf bifurcations in chemical reaction networks using convex coordinates
Hassan Errami
,
Markus Eiswirth
,
Dima Grigoriev
,
Werner M Seiler
,
Thomas Sturm
,
et al.
Journal articles
hal-03044741v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
A Logic Based Approach to Finding Real Singularities of Implicit Ordinary Differential Equations
Werner M Seiler
,
Matthias Seiss
,
Thomas Sturm
Journal articles
hal-03438167v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Towards Conflict-Driven Learning for Virtual Substitution
Konstantin Korovin
,
Marek Kosta
,
Thomas Sturm
Computer Algebra in Scientific Computing - 16th International Workshop, CASC 2014 , 2014, Warsaw, Poland. pp.256-270
Conference papers
hal-01088450v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
A Logic Based Approach to Finding Real Singularities of Implicit Ordinary Differential Equations
Werner M. Seiler
,
Matthias Seiss
,
Thomas Sturm
2020
Preprints, Working Papers, ...
hal-02978976v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Subtropical Real Root Finding
Thomas Sturm
Proceedings of the 2015 International Symposium on Symbolic and Algebraic Computation , ACM, Jul 2015, Bath, United Kingdom
Conference papers
hal-01239489v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
ODEbase: A Repository of ODE Systems for Systems Biology
Christoph Lüders
,
Thomas Sturm
,
Ovidiu Radulescu
Journal articles
hal-03651751v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Symbolic Versus Numerical Computation and Visualization of Parameter Regions for Multistationarity of Biological Networks
Matthew England
,
Hassan Errami
,
Dima Grigoriev
,
Ovidiu Radulescu
,
Thomas Sturm
,
et al.
CASC 2017 - 19th International Workshop on Computer Algebra in Scientific Computing , Sep 2017, Beijing, China.
⟨10.1007/978-3-319-66320-3⟩
Conference papers
hal-01648691v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
A Survey of Some Methods for Real Quantifier Elimination, Decision, and Satisfiability and Their Applications
Thomas Sturm
Journal articles
hal-01648690v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
The SYMBIONT project: symbolic methods for biological networks
François Boulier
,
François Fages
,
Ovidiu Radulescu
,
Satya Swarup Samal
,
Andreas Schuppert
,
et al.
Journal articles
hal-02061018v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Detection of Hopf bifurcations in chemical reaction networks using convex coordinates
Hassan Errami
,
Markus Eiswirth
,
Dima Grigoriev
,
Werner M. Seiler
,
Thomas Sturm
,
et al.
Journal articles
hal-01239486v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Better Answers to Real Questions
Marek Kosta
,
Thomas Sturm
,
Andreas Dolzmann
12th International Workshop on Satisfiability Modulo Theories, SMT 2014 , Philipp Rümmer and Christoph M. Wintersteiger, Jul 2014, Vienna, Austria. pp.69
Conference papers
hal-01088456v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Foreword, with a Dedication to Andreas Weber
Matthew England
,
Wolfram Koepf
,
Timur Sadykov
,
Werner M Seiler
,
Thomas Sturm
Journal articles
hal-03438164v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Efficient Methods to Compute Hopf Bifurcations in Chemical Reaction Networks Using Reaction Coordinates
Hassan Errami
,
Markus Eiswirth
,
Dima Grigoriev
,
Werner Seiler
,
Thomas Sturm
,
et al.
CASC 2013 - 15th International Workshop on Computer Algebra in Scientific Computing , Sep 2013, Berlin, Germany. pp.88-99,
⟨10.1007/978-3-319-02297-0_7⟩
Conference papers
istex
hal-00931946v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
First-Order Tests for Toricity
Hamid Rahkooy
,
Thomas Sturm
2020
Preprints, Working Papers, ...
hal-03017907v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Verification and synthesis using real quantifier elimination
Thomas Sturm
,
Ashish Tiwari
Conference papers
hal-03142063v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Linear Integer Arithmetic Revisited
Martin Bromberger
,
Thomas Sturm
,
Christoph Weidenbach
2015
Preprints, Working Papers, ...
hal-03145059v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Positive Solutions of Systems of Signed Parametric Polynomial Inequalities
Hoon Hong
,
Thomas Sturm
Conference papers
hal-01889827v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Symbolic computation and satisfiability checking (Editorial)
James H. Davenport
,
Matthew England
,
Alberto Griggio
,
Thomas Sturm
,
Cesare Tinelli
Journal articles
hal-02397190v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Wrapping Computer Algebra is Surprisingly Successful for Non-Linear SMT
Pascal Fontaine
,
Mizuhito Ogawa
,
Thomas Sturm
,
Van Khanh To
,
Xuan Tung Vu
SC-square 2018 - Third International Workshop on Satisfiability Checking and Symbolic Computation , Jul 2018, Oxford, United Kingdom
Conference papers
hal-01946733v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Presburger Arithmetic in Memory Access Optimization for Data-Parallel Languages
Ralf Karrenberg
,
Marek Kosta
,
Thomas Sturm
Conference papers
istex
hal-00931954v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Parametric Toricity of Steady State Varieties of Reaction Networks
Hamid Rahkooy
,
Thomas Sturm
Conference papers
hal-03438168v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Computer Algebra in Scientific Computing 2019
Matthew England
,
Wolfram Koepf
,
Timur Sadykov
,
Werner Seiler
,
Thomas Sturm
Mathematics in Computer Science , 15 (2), 2021
Special issue
hal-03438907v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More