Search - Archive ouverte HAL Access content directly

Filter your results

55 Results
Image document

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

Deciding First-Order Satisfiability when Universal and Existential Variables are Separated

Thomas Sturm , Marco Voigt , Christoph Weidenbach
LICS 2016, Jul 2016, New York, United States. pp.86 - 95, ⟨10.1145/2933575.2934532⟩
Conference papers hal-01389744v1

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

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

Satisfiability Checking and Symbolic Computation

Thomas Sturm , Erika Abraham , John A. Abbott , Bern W. Becker , Anna Maria Bigatti , et al.
ACM Communications in Computer Algebra, 2016, 50 (4), pp.145-147. ⟨10.1145/3055282.3055285⟩
Journal articles hal-01648695v1

A Linear Algebra Approach for Detecting Binomiality of Steady State Ideals of Reversible Chemical Reaction Networks

Hamid Rahkooy , Ovidiu Radulescu , Thomas Sturm
Computer Algebra in Scientific Computing: 22nd International Workshop - CASC 2020, pp.492-509, 2020, ⟨10.1007/978-3-030-60026-6_29⟩
Book sections hal-02977486v1

Better answers to real questions

Marek Košta , Thomas Sturm , Andreas Dolzmann
Journal of Symbolic Computation, 2016, 74, pp.255 - 275. ⟨10.1016/j.jsc.2015.07.002⟩
Journal articles hal-01388720v1

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
Image document

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 of Computational Physics, 2015, 291, pp.279 - 302. ⟨10.1016/j.jcp.2015.02.050⟩
Journal articles hal-03044741v1
Image document

A Logic Based Approach to Finding Real Singularities of Implicit Ordinary Differential Equations

Werner M Seiler , Matthias Seiss , Thomas Sturm
Mathematics in Computer Science, 2021, 15 (2), pp.333-352. ⟨10.1007/s11786-020-00485-x⟩
Journal articles hal-03438167v1

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

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

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

ODEbase: A Repository of ODE Systems for Systems Biology

Christoph Lüders , Thomas Sturm , Ovidiu Radulescu
Bioinformatics Advances, 2022, 2 (1), ⟨10.1093/bioadv/vbac027⟩
Journal articles hal-03651751v1
Image document

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
Image document

A Survey of Some Methods for Real Quantifier Elimination, Decision, and Satisfiability and Their Applications

Thomas Sturm
Mathematics in Computer Science, 2017, 11 (3-4), pp.483 - 502. ⟨10.1007/s11786-017-0319-z⟩
Journal articles hal-01648690v1

The SYMBIONT project: symbolic methods for biological networks

François Boulier , François Fages , Ovidiu Radulescu , Satya Swarup Samal , Andreas Schuppert , et al.
ACM Communications in Computer Algebra, 2018, 52 (3), pp.67-70. ⟨10.1145/3313880.3313885⟩
Journal articles hal-02061018v1

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 of Computational Physics, 2015, 291, pp.279-302. ⟨10.1016/j.jcp.2015.02.050⟩
Journal articles hal-01239486v1

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
Image document

Foreword, with a Dedication to Andreas Weber

Matthew England , Wolfram Koepf , Timur Sadykov , Werner M Seiler , Thomas Sturm
Mathematics in Computer Science, 2021, 15 (2), pp.173 - 175. ⟨10.1007/s11786-020-00476-y⟩
Journal articles hal-03438164v1

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

First-Order Tests for Toricity

Hamid Rahkooy , Thomas Sturm
2020
Preprints, Working Papers, ... hal-03017907v1

Verification and synthesis using real quantifier elimination

Thomas Sturm , Ashish Tiwari
Proc. ISSAC 2011, Jun 2011, San Jose, United States. pp.329, ⟨10.1145/1993886.1993935⟩
Conference papers hal-03142063v1

Linear Integer Arithmetic Revisited

Martin Bromberger , Thomas Sturm , Christoph Weidenbach
2015
Preprints, Working Papers, ... hal-03145059v1
Image document

Positive Solutions of Systems of Signed Parametric Polynomial Inequalities

Hoon Hong , Thomas Sturm
CASC 2018 - International Workshop on Computer Algebra in Scientific Computing, Sep 2018, Lille, France. pp.238 - 253, ⟨10.1007/978-3-319-99639-4_17⟩
Conference papers hal-01889827v1
Image document

Symbolic computation and satisfiability checking (Editorial)

James H. Davenport , Matthew England , Alberto Griggio , Thomas Sturm , Cesare Tinelli
Journal of Symbolic Computation, 2020, 100, pp.1-10. ⟨10.1016/j.jsc.2019.07.017⟩
Journal articles hal-02397190v1
Image document

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

Presburger Arithmetic in Memory Access Optimization for Data-Parallel Languages

Ralf Karrenberg , Marek Kosta , Thomas Sturm
9th International Conference Frontiers of Combining Systems (FroCos 2013), Sep 2013, Nancy, France. pp.56-70, ⟨10.1007/978-3-642-40885-4_5⟩
Conference papers istex hal-00931954v1
Image document

Parametric Toricity of Steady State Varieties of Reaction Networks

Hamid Rahkooy , Thomas Sturm
CASC 2021 - Computer Algebra in Scientific Computing, Sep 2021, Sochi, Russia. pp.314-333, ⟨10.1007/978-3-030-85165-1_18⟩
Conference papers hal-03438168v1

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