Published June 23, 2017 | Version v1
Dataset Open

Dataset supporting the paper: Symbolic Versus Numerical Computation and Visualization of Parameter Regions for Multistationarity of Biological Networks

  • 1. Coventry University
  • 2. University of Bonn
  • 3. CNRS & University of Lille
  • 4. University of Montpellier
  • 5. UL, CNRS, Inria & LORIA

Description

Dataset supporting the paper:

Matthew England, Hassan Errami, Dima Grigoriev, Ovidiu Radulescu, Thomas Sturm, and Andreas Weber. Symbolic Versus Numerical Computation and Visualization of Parameter Regions for Multistationarity of Biological Networks.  In Proceedings of CASC ’17, Beijing, China, September 18-22 2017, 15 pages. Springer, 2017.

The files whose name starts with "SamplePoints" are text files containing the data that produced the plots in the paper.

The files whose name starts with "Sys" show the Maple computations used to produce the data.  The mw files are to be run with the Maple Computer Algebra System (https://www.maplesoft.com/products/maple/).  Pdf printouts of these have also been included for those who do not have access to Maple.

 

Files

SamplePoints-Sys26-Original-Graph1.txt

Files (652.6 kB)

Name Size Download all
md5:a82b96b8b3850c6fad9f3be0fe5a6701
5.7 kB Preview Download
md5:8923d805751dae91b4e86036a6cca254
6.5 kB Preview Download
md5:a1e6f6c7cebb23e3fab9d7631a4d89e0
6.1 kB Preview Download
md5:0d8970415ee5b2723542b02643ff10d4
7.1 kB Preview Download
md5:01ef635e1ae854dd0e6d8363ac257e4c
28.2 kB Preview Download
md5:a723ef1e72b1035933ee0c9452b87ff9
32.8 kB Preview Download
md5:29d7869dbbd946cb452992a0787308f2
1.6 kB Preview Download
md5:53569a8e390696255260f8cf77f71bc0
1.6 kB Preview Download
md5:a9966efc4feafa496bf2f1c18c5d7b75
26.2 kB Preview Download
md5:7bd813af4f0ae69f34c20311781a7990
5.5 kB Preview Download
md5:8cd4183c95b021699ea146e3940e36c4
26.5 kB Preview Download
md5:9f933c6c4fbf263a99395abbbc48f325
5.7 kB Preview Download
md5:d7dd46b03d22a294fb7aa73a85cbc269
190.0 kB Download
md5:20313740c70038c01c8ef50233918638
77.0 kB Preview Download
md5:af7c6cda7ae118e5550fdaf543b26c1c
165.7 kB Download
md5:08d972145c43247632d64c2664d039c4
66.5 kB Preview Download

Additional details

Funding

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

References

  • Matthew England, Hassan Errami, Dima Grigoriev, Ovidiu Radulescu, Thomas Sturm, and Andreas Weber. Symbolic Versus Numerical Computation and Visualization of Parameter Regions for Multistationarity of Biological Networks.  In Proceedings of CASC '17, Beijing, China, September 18-22 2017, 15 pages. Springer, 2017.