Christoph Lüders | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Thomas Sturm
10 publications
Ovidiu Radulescu
6 publications
Niclas Kruff
1 publication
Sebastian Walcher
1 publication

research

∙ 01/22/2022

ODEbase: A Repository of ODE Systems for Systems Biology

Recently, symbolic computation and computer algebra systems have been su...

0 Christoph Lüders, et al. ∙

research

∙ 10/20/2020

Algorithmic Reduction of Biological Networks With Multiple Time Scales

We present a symbolic algorithmic approach that allows to compute invari...

0 Niclas Kruff, et al. ∙

research

∙ 04/15/2020

Computing Tropical Prevarieties with Satisfiability Modulo Theories (SMT) Solvers

A novel way to use SMT (Satisfiability Modulo Theories) solvers to compu...

0 Christoph Lüders, et al. ∙

research

∙ 04/15/2020

Computing Tropical Prevarieties with Satisfiability Modulo Theory (SMT) Solvers

I am presenting a novel way to use SMT (Satisfiability Modulo Theory) to...

0 Christoph Lüders, et al. ∙