Efficient syntax-driven lumping of differential equations
From MaRDI portal
Publication:2272914
DOI10.1007/978-3-662-49674-9_6zbMath1420.68241OpenAlexW2409226593WikidataQ56981825 ScholiaQ56981825MaRDI QIDQ2272914
Max Tschaikowski, Luca Cardelli, Andrea Vandin, Mirco Tribastone
Publication date: 17 September 2019
Full work available at URL: http://eprints.imtlucca.it/3437/1/tacas2016.pdf
Symbolic computation and algebraic computation (68W30) Explicit solutions, first integrals of ordinary differential equations (34A05)
Related Items (6)
Reducing Boolean networks with backward Boolean equivalence ⋮ Verifying chemical reaction network implementations: a bisimulation approach ⋮ Comparing chemical reaction networks: a categorical and algorithmic perspective ⋮ Formal lumping of polynomial differential equations through approximate equivalences ⋮ A large-scale assessment of exact lumping of quantitative models in the biomodels repository ⋮ Symbolic computation of differential equivalences
This page was built for publication: Efficient syntax-driven lumping of differential equations
