Christoph Lüders

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 9

Top Topics

Satisfiability Modulo Theories

Chemical Reaction

Top Venues

SIAM J. Appl. Dyn. Syst.

Math. Comput. Sci.

Publications

Aurélien Desoeuvres, Alexandru Iosif, Christoph Lüders, Ovidiu Radulescu, Hamid Rahkooy, Matthias Seiß, Thomas Sturm
Reduction of Chemical Reaction Networks with Approximate Conservation Laws. SIAM J. Appl. Dyn. Syst. 23 (1) (2024)
Aurélien Desoeuvres, Alexandru Iosif, Christoph Lüders, Ovidiu Radulescu, Hamid Rahkooy, Matthias Seiß, Thomas Sturm
A Computational Approach to Polynomial Conservation Laws. SIAM J. Appl. Dyn. Syst. 23 (1) (2024)
Christoph Lüders, Thomas Sturm, Ovidiu Radulescu
ODEbase: A Repository of ODE Systems for Systems Biology. CoRR (2022)
Niclas Kruff, Christoph Lüders, Ovidiu Radulescu, Thomas Sturm, Sebastian Walcher
Algorithmic Reduction of Biological Networks with Multiple Time Scales. Math. Comput. Sci. 15 (3) (2021)
Christoph Lüders
Computing Tropical Prevarieties with Satisfiability Modulo Theory (SMT) Solvers. CoRR (2020)
Niclas Kruff, Christoph Lüders, Ovidiu Radulescu, Thomas Sturm, Sebastian Walcher
Algorithmic Reduction of Biological Networks With Multiple Time Scales. CoRR (2020)
Christoph Lüders
Computing Tropical Prevarieties With Satisfiability Modulo Theories (SMT) Solvers. PAAR+SC²@IJCAR (2020)
Christoph Lüders
Implementation of the DKSS Algorithm for Multiplication of Large Numbers. ISSAC (2015)
Christoph Lüders
Fast Multiplication of Large Integers: Implementation and Analysis of the DKSS Algorithm. CoRR (2015)