Published February 8, 2019 | Version v2

Dataset supporting the paper: "Identifying the Parametric Occurrence of Multiple Steady States for some Biological Networks"

Description

Dataset supporting the paper:

Russell Bradford, James H. Davenport, Matthew England, Hassan Errami, Vladimir Gerdt, Dima Grigoriev, Charles Hoyt, Marek Košta, Ovidiu Radulescu, Thomas Sturm, and Andreas Weber.
Identifying the Parametric Occurrence of Multiple Steady States for some Biological Networks.
To appear in the Journal of Symbolic Computation.

We provide all the accompanying material for the main computations, split up into sections as presented in the paper.  For Sections 3 and 9 the computations are introduced by a plain text ReadMe.  For Sections 4 and 6 they are introduced by a Maple (also available ad pdf printout).

Files

Section3.zip

Files (54.4 MB)

Name Size Download all
md5:230c80ad82f5f4c5c2aac20306a2e97a
8.5 kB Preview Download
md5:f474d1a508fa956541f6487a374e7aff
27.0 MB Preview Download
md5:69ed43bb9ac5bf819dd6a0933b34de92
27.2 MB Preview Download
md5:12e69cf3a0df9f423a74391d90b50e0d
190.1 kB Preview Download

Additional details

Funding

European Commission
SC-square - SC-square - Satisfiability Checking and Symbolic Computation: uniting two communities to solve real problems 712689