Thomas Sturm Publications

Publications as an Author

  1. On the Number of Real Types of Univariate Polynomials (with N. Faroß). arXiv:2502.04914 [cs.SC], Feb 2025
    10.48550/arXiv.2502.04914
  2. A Computational Approach to Polynomial Conservation Laws (with A. Desoeuvres, A. Iosif, C. Lüders, O. Radulescu, H. Rahkooy, M. Seiß). SIAM J. Applied Dynamical Systems, 23(1):813–854, Mar 2024
    doi:10.1137/22M154401
  3. Reduction of Chemical Reaction Networks with Approximate Conservation Laws (with A. Desoeuvres, A. Iosif, C. Lüders, O. Radulescu, H. Rahkooy, M. Seiß). SIAM J. Applied Dynamical Systems, 23(1):256–296, Jan 2024
    doi:10.1137/22M1543963
  4. Foreword, Special issue on CASC 2022 (with M. England, F. Boulier, T. Sadykov). Math. Comput. Sci., 17, 22, Sep 2023
    10.1007/s11786-023-00565-8
  5. Foreword, Special issue on CASC 2021 (with M. England, F. Boulier, T. Sadykov). Math. Comput. Sci., 16(2–3):16, Sep 2022
    10.1007/s11786-022-00533-8
  6. ODEbase: A Repository of ODE Systems for Systems Biology (with C. Lüders, O. Radulescu). Bioinform. Adv., 2(1):vbac027, Apr 2022
    10.1093/bioadv/vbac027
  7. Algorithmic Reduction of Biological Networks With Multiple Time Scales (with N. Kruff, C. Lüders, O. Radulescu, S. Walcher). Math. Comput. Sci., 15(3):499–534, Sep 2021
    10.1007/s11786-021-00515-2
  8. Foreword, with a Dedication to Vladimir Gerdt, Special issue on CASC 2020 (with M. England, F. Boulier, T. Sadykov). Math. Comput. Sci., 15(3):369–371, Sep 2021
    10.1007/s11786-021-00509-0
  9. Testing Binomiality of Chemical Reaction Networks Using Comprehensive Gröbner Systems (with H. Rahkooy). CASC 2021, LNCS 12865, pp.334–352, Aug 2021
    10.1007/978-3-030-85165-1_19
  10. Parametric Toricity of Steady State Varieties of Reaction Networks (with H. Rahkooy). CASC 2021, LNCS 12865, pp.314–333, Aug 2021
    10.1007/978-3-030-85165-1_18
  11. A Logic Based Approach to Finding Real Singularities of Implicit Ordinary Differential Equations (with W. Seiler, M. Seiß). Math. Comput. Sci., 15(2):333–352, Jun 2021
    10.1007/s11786-020-00485-x
  12. Efficiently and Effectively Recognizing Toricity of Steady State Varieties (with D. Grigoriev, A. Iosif, H. Rahkooy, A. Weber). Math. Comput. Sci., 15(2):199–232, Jun 2021
    10.1007/s11786-020-00479-9
  13. Foreword, with a Dedication to Andreas Weber, Special issue on CASC 2019 (with M. England, W. Koepf, T. Sadykov, W. Seiler). Math. Comput. Sci., 15(2):173–175, Jun 2021
    10.1007/s11786-020-00476-y
  14. First-Order Tests for Toricity (with H. Rahkooy). CASC 2020, LNCS 12291, pp.510–527, Oct 2020
    10.1007/978-3-030-60026-6_30
  15. A Linear Algebra Approach for Detecting Binomiality of Steady State Ideals of Reversible Chemical Reaction Networks (with O. Radulescu, H. Rahkooy). CASC 2020, LNCS 12291, pp.492–509, Oct 2020
    10.1007/978-3-030-60026-6_29
  16. A Complete and Terminating Approach to Linear Integer Solving (with M. Bromberger, C. Weidenbach). J. Symb. Comput., 100:102–136, Sep–Oct 2020. 10.1016/j.jsc.2019.07.021
  17. Editorial Symbolic Computation and Satisfiability Checking (with J.H. Davenport, M. England, A. Griggio, C. Tinelli). J. Symb. Comput., 100:1–10, Sep–Oct 2020. 10.1016/j.jsc.2019.07.017
  18. Identifying the Parametric Occurrence of Multiple Steady States for Some Biological Networks (with R. Bradford, J.H. Davenport, M. England, H. Errami, V. Gerdt, D. Grigoriev, C. Hoyt, M. Kosta, O. Radulescu, A. Weber). J. Symb. Comput., 98:84–119, May–Jun 2020. 10.1016/j.jsc.2019.07.008
  19. The SYMBIONT Project: Symbolic Methods for Biological Networks (with F. Boulier, F. Fages, O. Radulescu, S. Samal, A. Schuppert, W. Seiler, S. Walcher, A. Weber). ACM Communications in Computer Algebra, 52(3):67–70, Sep 2018. 10.1145/3313880.3313885
    N677093
  20. Positive Solutions of Systems of Signed Parametric Polynomial Inequalities (with H. Hong). CASC 2018, LNCS 11077, pp.238–253, Sep 2018
    10.1007/978-3-319-99639-4_17
  21. Wrapping Computer Algebra is Surprisingly Successful for Non-Linear SMT (with P. Fontaine, M. Ogawa, V. K. To, X. T. Vu). SC-Square 2018, CEUR-WS.org/Vol-2189, Aug 2018
    urn:nbn:de:0074-2189-9
  22. The SYMBIONT Project: Symbolic Methods for Biological Networks (with F. Boulier, F. Fages, O. Radulescu, S. Samal, A. Schuppert, W. Seiler, S. Walcher, A. Weber). F1000Research 7:1341 (poster), Aug 2018
    10.7490/f1000research.1115995.1
  23. Thirty Years of Virtual Substitution: Foundations, Techniques, Applications. ISSAC 2018, pp.11–16, ACM Press, Jul 2018. 10.1145/3208976.3209030
    N665410
    Presentation slides at 10.13140/RG.2.2.32377.16485/1
  24. A Survey of Some Methods for Real Quantifier Elimination, Decision, and Satisfiability and Their Applications. Math. Comput. Sci. 11(3–4):483–502, Dec 2017
    10.1007/s11786-017-0319-z
  25. Symbolic Versus Numerical Computation and Visualization of Parameter Regions for Multistationarity of Biological Networks (with M. England, H. Errami, D. Grigoriev, O. Radulescu, A. Weber). CASC 2017, LNCS 10490, pp.93–108, Sep 2017
    10.1007/978-3-319-66320-3_8
  26. Subtropical Satisfiability (with P. Fontaine, M. Ogawa, X. T. Vu). FROCOS 2017, LNCS 10483, pp.189–206, Sep 2017
    10.1007/978-3-319-66167-4_11
  27. A Case Study on the Parametric Occurrence of Multiple Steady States (with R. Bradford, J. Davenport, M. England, H. Errami, V. Gerdt, D. Grigoriev, C. Hoyt, M. Kosta, O. Radulescu, A. Weber). ISSAC 2017, pp.45–52, ACM Press, Jul 2017. 10.1145/3087604.3087622
    N32478
  28. Satisfiability Checking and Symbolic Computation (with E. Ábrahám, J. Abbott, B. Becker, A. Bigatti, M. Brain, B. Buchberger, A. Cimatti, J. Davenport, M. England, P. Fontaine, S. Forrest, A. Griggio, D. Kroening, W. Seiler). ACM Communications in Computer Algebra, 50(4):145–147, Dec 2016. Project Poster Abstract. 10.1145/3055282.3055285
    N23718
  29. SC2: Satisfiability Checking Meets Symbolic Computation (with E. Ábrahám, J. Abbott, B. Becker, A. Bigatti, M. Brain, B. Buchberger, A. Cimatti, J. Davenport, M. England, P. Fontaine, S. Forrest, A. Griggio, D. Kroening, W. Seiler). CICM 2016, LNCS 9791, pp.28–43, Nov 2016. 10.1007/978-3-319-42547-4_3
  30. Deciding First-Order Satisfiability when Universal and Existential Variables are Separated (with M. Voigt, C. Weidenbach). LICS 2016, pp.86–95, ACM Press, Jul 2016. 10.1145/2933575.2934532. See also 1511.08999 for an extended version.
    N26727
  31. Better Answers to Real Questions (with M. Kosta, A. Dolzmann). J. Symb. Comput., 74:255–275, May 2016. 10.1016/j.jsc.2015.07.002
  32. From Complete Elimination Procedures to Subtropical Decisions over the Reals. FROCOS 2015, LNCS 9322, p.xiii, Nov 2015.
    10.1007/978-3-319-24246-0
  33. Foreword to the Special Focus on Constraints and Combinations (with P. Fontaine, U. Waldmann), Math. Comput. Sci., 9(3):265, Oct 2015.
    10.1007/s11786-015-0239-8
  34. Linear Integer Arithmetic Revisited (with M. Bromberger, C. Weidenbach). CADE-25, LNCS 9195, pp.623–637, Oct 2015. 10.1007/978-3-319-21401-6_42. See also 1503.02948 for an extended version.
  35. Subtropical Real Root Finding. ISSAC 2015, pp.347–354, ACM Press, Jul 2015. 10.1145/2755996.2756677
    N26728
  36. Detection of Hopf Bifurcations in Chemical Reaction Networks Using Convex Coordinates (with H. Errami, M. Eiswirth, D. Grigoriev, W. Seiler, A. Weber). J. Comput. Phys., 291:279–302, Jun 2015.
    10.1016/j.jcp.2015.02.050
  37. A Generalized Framework for Virtual Substitution (with M. Kosta). 1501.05826, Jan 2015
  38. Towards Conflict-Driven Learning for Virtual Substitution (with K. Korovin, M. Kosta). CASC 2014, LNCS 8660, pp.256–270, Sep 2014. 10.1007/978-3-319-10515-4_19
  39. Presburger Arithmetic in Memory Access Optimization for Data-Parallel Languages (with R. Karrenberg, M. Kosta). FroCoS 2013, LNAI 8152, pp.56–70, Sep 2013. 10.1007/978-3-642-40885-4_5
  40. Efficient Methods to Compute Hopf Bifurcations in Chemical Reaction Networks Using Reaction Coordinates (with H. Errami, M. Eiswirth, D. Grigoriev, W. Seiler, A. Weber). CASC 2013, LNCS 8136, pp.88–99, Sep 2013. 10.1007/978-3-319-02297-0_7
  41. Foreword to the Special Issue on Constraint Solving and Complex Systems (with S. Ratschan), Math. Comput. Sci., 6(4):345, Dec 2012.
    10.1007/s11786-012-0129-2
  42. On Muldowney’s Criteria for Polynomial Vector Fields with Constraints (with H. Errami, W. Seiler, A. Weber). CASC 2011, LNCS 6885, pp.135–143, Sep 2011. 10.1007/978-3-642-23568-9_11
  43. Verification and Synthesis Using Real Quantifier Elimination (with A. Tiwari). ISSAC 2011, pp.329–336, ACM Press, Jul 2011. 10.1145/1993886.1993935
    N26729
  44. Automatic Verification of the Adequacy of Models for Families of Geometric Objects (with A. Lasaruk). ADG 2008, LNCS 6301, pp.116–140, May 2011. 10.1007/978-3-642-21046-4_6
  45. Preface to Automated Deduction in Geometry: 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008, Revised Papers (with C. Zengler), LNAI 6301, Apr 2011.
    10.1007/978-3-642-21046-4
  46. Algorithmic Aspects of Muldowney's Extension of the Bendixson-Dulac Criterion for Polynomial Vector Fields (with H. Errami, A. Weber). Polynomial Computer Algebra, pp.25–28. Euler Institute, Petersburg, Apr 2011
  47. Algorithmic Global Criteria for Excluding Oscillation (with E. Abdel-Rahman, A. Weber). Bull. Math. Biol., 73(4):899–916, Apr 2011. 10.1007/s11538-010-9618-0
  48. Parametric Qualitative Analysis of Ordinary Differential Equations: Computer Algebra Methods for Excluding Oscillations (with E. Abdel-Rahman, W. Seiler, A. Weber). CASC 2010, LNCS 6244, pp 267–279, Sep 2010. 10.1007/978-3-642-15274-0_24
  49. Supporting Global Numerical Optimization of Rational Functions by Generic Symbolic Convexity Tests (with W. Neun, S. Vigerske). CASC 2010, LNCS 6244, pp.205–219, Sep 2010. 10.1007/978-3-642-15274-0_19
  50. Parametric Quantified SAT Solving (with C. Zengler). ISSAC 2010, pp.77–84. ACM Press, Jul 2010. 10.1145/1837934.1837954
    N26729
  51. A Lazy SMT-Solver for a Non-Linear Subset of Real Algebra (with E. Ábrahám, U. Loup, F. Corzilius). Dagstuhl Seminar Proceedings 10271, Nov 2010. Also at SMT 2010, Jul 2010.
    urn:nbn:de:0030-drops-27907
  52. Effective Quantifier Elimination for Presburger Arithmetic with Infinity (with A. Lasaruk). CASC 2009, LNCS 5743, pp.195–212, Sep 2009. 10.1007/978-3-642-04103-7_18
  53. Investigating Algebraic and Logical Algorithms to Solve Hopf Bifurcation Problems in Algebraic Biology (with A. Weber, E. O. Abdel-Rahman, M. El Kahoui). Math. Comput. Sci. 2(3):493–515, Mar 2009. 10.1007/s11786-008-0067-1
  54. Investigating Generic Methods to Solve Hopf Bifurcation Problems in Algebraic Biology (with A. Weber). AB 2008, LNCS 5147, pp.200–215, Jul 2008. 10.1007/978-3-540-85101-1_15
  55. Editorial of Special Issue on Parametric and Nonconvex Constraint Solving (with H. Anai). Appl. Algebr. Eng. Comm., 18(6):495–496, Dec 2007. 10.1007/s00200-007-0051-z
  56. Weak Quantifier Elimination for the Full Linear Theory of the Integers (with A. Lasaruk). Appl. Algebr. Eng. Comm., 18(6):545–574, Dec 2007. 10.1007/s00200-007-0053-x
  57. Weak Integer Quantifier Elimination Beyond the Linear Case (with A. Lasaruk). CASC 2007, LNCS 4770, pp.275–294, Sep 2007. 10.1007/978-3-540-75187-8_22
  58. Redlog Online Resources for Applied Quantifier Elimination. Acta Academiae Aboensis, Ser. B, Mathematica et Physica, 67(2):177–191, Feb 2007.
    urn:isbn:978-951-765-403-6
  59. Editorial of the Special Issue on the Occasion of Volker Weispfenning’s 60th Birthday (with A. Dolzmann). J. Symb. Comput., 41(11):1155–1156, Nov 2006.
    10.1016/j.jsc.2005.10.006
  60. New Domains for Applied Quantifier Elimination. CASC 2006, LNCS 4194, pp.295–301, Sep 2006. 10.1007/11870814_25
  61. Quantifier Elimination for Constraint Logic Programming. CASC 2005, LNCS 3718, pp.416–430, Sep 2005. 10.1007/11555964_36
  62. Preface of Algorithmic Algebra and Logic: Proceedings of the A3L 2005 (with A. Dolzmann, A. Seidl). pp.ix–x, BOD, Norderstedt, Mar 2005. amazon
  63. Generalized Constraint Solving by Elimination Methods. Kumulative Habilitationsschrift. FMI, Universität Passau, Germany, Jan 2005
  64. Solving Univariate P-adic Constraints (with V. Weispfenning). CASC 2004, pp.437–449, TUM, Munich, Sep2004.
    leabib
  65. Generalized Constraint Solving over Differential Algebras (with A. Dolzmann). CASC 2004, pp.111–125, TUM, Munich, Sep 2004.
    leabib
  66. Efficient Projection Orders for CAD (with A. Dolzmann, A. Seidl). ISSAC 2004, pp.111–118, ACM Press, Jul 2004. 10.1145/1005285.1005303
    N26721
  67. P-adic Root Isolation (with V. Weispfenning). Rev. R. Acad. Cien. Serie A. Mat. Algebra, 98(1):239–258, Jun 2004.
    dialnet.unirioja.es
  68. Boolean Quantification in a First-Order Context (with A. Seidl). CASC 2003, pp.329–345, TUM, München, Sep 2003.
    leabib
  69. A Generic Projection Operator for Partial Cylindrical Algebraic Decomposition (with A.  Seidl). ISSAC 2003, 240–247, ACM Press, Jul 2003. 10.1145/860854.860903
    N26721
  70. Applications of Computer Algebra (with F. Hehl, J. Fleischer, M. Steinhauser, G. Weiglein, J. Vermaseren, C. Heinicke, I. Kotsireas, E. Schrüfer, Y. Obukhov, S. Tertychniy, T. Wolf, G. Baumann, A. Dolzmann, V. Weispfenning, L. Lambe, J. Apel, I. Heckenberger, A. Schüler, W. Koepf, K. Gatermann, T. Beth, K. Homann, A. Klappenecker, J. Müller-Quade, A. Nückel, M. Roggenbach, V. Strehl, K. Behnke, K. Roesner, J. Grabmeier, M. Clausen, F. Kurth, P. Kovács, L. Gonzalez-Vega, A. Dress, H. Melenk, B. Waits, P. Drijvers, J. Berry, T. Graham, J. Sharp, S. Townend, A. Watkins, N. Boston, D. Fowler, O. Gloor, G. Hiss. G. Greuel). Chapter of Computer Algebra Handbook, pp.163–260, Springer, 2003. 10.1007/978-3-642-55826-9_3
  71. Quantifier Elimination in Term Algebras. The Case of Finite Languages (with V. Weispfenning). CASC 2002, pp.285–300, TUM, Munich, Sep 2002.
    leabib
  72. Integration of Quantifier Elimination with Constraint Logic Programming. Calculemus 2002, LNAI 2385, pp.7–11, Jul 2002. 10.1007/3-540-45470-5_4
  73. Parametric Systems of Linear Congruences (with A. Dolzmann). CASC 2001, pp.149–166, Springer, Sep 2001. 10.1007/978-3-642-56666-0_12
  74. An Algebraic Approach to Offsetting and Blending of Solids. CASC 2000, pp.367–382, Springer, Sep 2000. 10.1007/978-3-642-57201-2_28
  75. Linear Problems in Valued Fields. J. Symb. Comput. 30(2):207–219, Aug 2000.
    10.1006/jsco.1999.0303
  76. Real Quantifier Elimination in Geometry. Doctoral Dissertation. FMI, Universität Passau, Germany, Dec 1999.
  77. Reasoning Over Networks by Symbolic Methods. Appl. Algebr. Eng. Comm., 10(1):79–96, Aug 1999. 10.1007/s002000050123
  78. P-adic Constraint Solving (with A. Dolzmann). ISSAC 1999, pp.151–158, ACM Press, Jul 1999. 10.1145/309831.309894
    N26723
  79. Redlog User Manual. Edition 2.0 for Version 2.0 (with A. Dolzmann). MIP-9905, FMI, Universität Passau, D-94030 Passau, Germany, Apr 1999.
  80. Real Quantifier Elimination in Practice (with A. Dolzmann, V. Weispfenning). Algorithmic Algebra and Number Theory, pp.221–248. Springer, 1999. 10.1007/978-3-642-59932-3_11
  81. A New Approach for Automatic Theorem Proving in Real Geometry (with A. Dolzmann, V. Weispfenning). J. Autom. Reasoning 21(3):357–380, Dec 1998. 10.1023/A:1006031329384
  82. Approaches to Parallel Quantifier Elimination (with A. Dolzmann, O. Gloor). ISSAC 1998, pp.88–95, ACM Press, Aug 1998. 10.1145/281508.281564
    N26724
  83. Computational Geometry Problems in Redlog (with V. Weispfenning). ADG 1998, LNAI 1360, pp.58–86, Jun 1998. 10.1007/BFb0022720
  84. Simplification of Quantifier-Free Formulae over Ordered Fields (with A. Dolzmann). J. Symb. Comput. 24(2):209–231, Aug 1997.
    10.1006/jsco.1997.0123
  85. Guarded Expressions in Practice (with A. Dolzmann). ISSAC 97, pp.376–383, ACM Press, Jul 1997. 10.1145/258726.258851
    N26725
  86. Redlog: Computer Algebra Meets Computer Logic (with A. Dolzmann). ACM SIGSAM Bulletin 31(2):2–9, Jun 1997. 10.1145/261320.261324
    N26736
  87. Rounding and Blending of Solids by a Real Elimination Method (with V. Weispfenning). IMACS 97, pp.727–732, Wissenschaft & Technik Verlag, Berlin, 1997.
  88. Real Quadratic Quantifier Elimination in Risa/Asir. ISIS-RM-5E, Fujitsu Laboratories Ltd., 1-9-3, Nakase, Mihama-ku, Chiba-shi, Chiba 261, Japan, Sep 1996.

Publications as an Editor

  1. Special issue on Computer Algebra in Scientific Computing 2022 (with M. England, F. Boulier, T. Sadykov). Math. Comput. Sci., 17, Sep 2023.
    SpringerLink
  2. Proceedings of the SC-Square 2023 (with E. Ábrahám). CEUR-WS Vol-3455, Aug 2023.
    urn:nbn:de:0074-3455-4
  3. Special issue on Computer Algebra in Scientific Computing 2021 (with M. England, F. Boulier, T. Sadykov). Math. Comput. Sci., 16(2–3), Sep 2022.
    SpringerLink
  4. Special issue on Computer Algebra in Scientific Computing 2020 (with M. England, F. Boulier, T. Sadykov). Math. Comput. Sci., 15(3), Sep 2021.
    SpringerLink
  5. Special issue on Computer Algebra in Scientific Computing 2019 (with M. England, W. Koepf, T. Sadykov, W. Seiler). Math. Comput. Sci., 15(2), Jun 2021.
    SpringerLink
  6. Special issue on Symbolic Computation and Satisfiability Checking (with J.H. Davenport, M. England, A. Griggio, C. Tinelli). J. Symb. Comput., 100, Sep–Oct 2020.
    ScienceDirect
  7. Symbolic Computation and Satisfiability Checking (with E. Ábrahám, P. Fontaine, D. Wang). Dagstuhl Reports 5(11):71–89, Nov 2016.
    10.4230/DagRep.5.11.71
  8. Special issue on Constraints and Combinations (with P. Fontaine and U. Waldmann). Math. Comput. Sci., 9(3), Oct 2015.
    SpringerLink
  9. Proceedings of the MACIS 2013 (with M. Kosta). Nanning, China, Dec 2013.
    ZIP archive
  10. Symbolic Methods for Chemical Reaction Networks (with F. Boulier, A. Shiu, A. Weber). Dagstuhl Reports 2(11):66–86, Nov 2013.
    10.4230/DagRep.2.11.66
  11. Special issue on Constraint Solving and Complex Systems (with S. Ratschan). Math. Comput. Sci., 6(4), Dec 2012.
    SpringerLink
  12. Proceedings of the ADG 2008 (with C. Zengler). LNCS 6301, Apr 2011.
    10.1007/978-3-642-21046-4
  13. Special issue on Parametric and Nonconvex Constraint Solving (with H. Anai). Appl. Algebr. Eng. Comm., 18(6), Dec 2007.
    SpringerLink
  14. Special Issue on the Occasion of Volker Weispfenning's 60th Birthday (with A. Dolzmann). J. Symb. Comput., 41(11), Nov 2006.
    ScienceDirect
  15. Proceedings of the A3L 2005 (with A. Dolzmann, A. Seidl). BOD, Norderstedt, Mar 2005.
    amazon

 

Google Scholar



DBLP



arxiv.org



HAL