{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:W5J7Y253UONJ3VDSJ665NE63YW","short_pith_number":"pith:W5J7Y253","canonical_record":{"source":{"id":"1706.08794","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2017-06-27T11:45:35Z","cross_cats_sorted":[],"title_canon_sha256":"19027c62126682d17d696222aa98120e67c126d5bee700e90b1d0a52d325b0f7","abstract_canon_sha256":"5b92e7f37a0b536dfa62f0364c87bd6dd6080b16e01799011caafdd36dfa3fca"},"schema_version":"1.0"},"canonical_sha256":"b753fc6bbba39a9dd4724fbdd693dbc5b0e3dd4a80c199af2dfee7f4d779db27","source":{"kind":"arxiv","id":"1706.08794","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1706.08794","created_at":"2026-05-18T00:27:30Z"},{"alias_kind":"arxiv_version","alias_value":"1706.08794v1","created_at":"2026-05-18T00:27:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1706.08794","created_at":"2026-05-18T00:27:30Z"},{"alias_kind":"pith_short_12","alias_value":"W5J7Y253UONJ","created_at":"2026-05-18T12:31:53Z"},{"alias_kind":"pith_short_16","alias_value":"W5J7Y253UONJ3VDS","created_at":"2026-05-18T12:31:53Z"},{"alias_kind":"pith_short_8","alias_value":"W5J7Y253","created_at":"2026-05-18T12:31:53Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:W5J7Y253UONJ3VDSJ665NE63YW","target":"record","payload":{"canonical_record":{"source":{"id":"1706.08794","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2017-06-27T11:45:35Z","cross_cats_sorted":[],"title_canon_sha256":"19027c62126682d17d696222aa98120e67c126d5bee700e90b1d0a52d325b0f7","abstract_canon_sha256":"5b92e7f37a0b536dfa62f0364c87bd6dd6080b16e01799011caafdd36dfa3fca"},"schema_version":"1.0"},"canonical_sha256":"b753fc6bbba39a9dd4724fbdd693dbc5b0e3dd4a80c199af2dfee7f4d779db27","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:27:30.363743Z","signature_b64":"TBDemm54cHzlB32c8K1QVodzNybDg2xZRKBAeEvqR5DftztfdCwWhdu13+KRzSx9CWXfhKcbNnzBRTEvPuj3Cg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b753fc6bbba39a9dd4724fbdd693dbc5b0e3dd4a80c199af2dfee7f4d779db27","last_reissued_at":"2026-05-18T00:27:30.362875Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:27:30.362875Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1706.08794","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:27:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mm8JrDIebaojbfj4JQ1016gkYZ0o3naH2s8DFFzk5V4dXJ0beokwHes2+8UqqtpHh+ejzW8C0DbSQHfz94nADg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T17:31:03.704334Z"},"content_sha256":"ebb5601f860e20d1183935e3ec59e9c699d4fcd03f2914dc6e6cb2772076cb10","schema_version":"1.0","event_id":"sha256:ebb5601f860e20d1183935e3ec59e9c699d4fcd03f2914dc6e6cb2772076cb10"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:W5J7Y253UONJ3VDSJ665NE63YW","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Symbolic Versus Numerical Computation and Visualization of Parameter Regions for Multistationarity of Biological Networks","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SC","authors_text":"Andreas Weber, Dima Grigoriev, Hassan Errami, Matthew England, Ovidiu Radulescu, Thomas Sturm","submitted_at":"2017-06-27T11:45:35Z","abstract_excerpt":"We investigate models of the mitogenactivated protein kinases (MAPK) network, with the aim of determining where in parameter space there exist multiple positive steady states. We build on recent progress which combines various symbolic computation methods for mixed systems of equalities and inequalities. We demonstrate that those techniques benefit tremendously from a newly implemented graph theoretical symbolic preprocessing method. We compare computation times and quality of results of numerical continuation methods with our symbolic approach before and after the application of our preproces"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1706.08794","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:27:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"sOHH81rqtcmRiwO/gAYULc5GmfkK4lzK7jGkr2ZyztAmOOQMjJlU0iN6+EF3rgC+l2OFowe3e20/qjMTQ/uTDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T17:31:03.704721Z"},"content_sha256":"a9188a9f93971ad0a50b8a104f66a17a6647cc490b9bd0412e381cf569969d80","schema_version":"1.0","event_id":"sha256:a9188a9f93971ad0a50b8a104f66a17a6647cc490b9bd0412e381cf569969d80"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/W5J7Y253UONJ3VDSJ665NE63YW/bundle.json","state_url":"https://pith.science/pith/W5J7Y253UONJ3VDSJ665NE63YW/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/W5J7Y253UONJ3VDSJ665NE63YW/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-05-31T17:31:03Z","links":{"resolver":"https://pith.science/pith/W5J7Y253UONJ3VDSJ665NE63YW","bundle":"https://pith.science/pith/W5J7Y253UONJ3VDSJ665NE63YW/bundle.json","state":"https://pith.science/pith/W5J7Y253UONJ3VDSJ665NE63YW/state.json","well_known_bundle":"https://pith.science/.well-known/pith/W5J7Y253UONJ3VDSJ665NE63YW/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:W5J7Y253UONJ3VDSJ665NE63YW","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"5b92e7f37a0b536dfa62f0364c87bd6dd6080b16e01799011caafdd36dfa3fca","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2017-06-27T11:45:35Z","title_canon_sha256":"19027c62126682d17d696222aa98120e67c126d5bee700e90b1d0a52d325b0f7"},"schema_version":"1.0","source":{"id":"1706.08794","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1706.08794","created_at":"2026-05-18T00:27:30Z"},{"alias_kind":"arxiv_version","alias_value":"1706.08794v1","created_at":"2026-05-18T00:27:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1706.08794","created_at":"2026-05-18T00:27:30Z"},{"alias_kind":"pith_short_12","alias_value":"W5J7Y253UONJ","created_at":"2026-05-18T12:31:53Z"},{"alias_kind":"pith_short_16","alias_value":"W5J7Y253UONJ3VDS","created_at":"2026-05-18T12:31:53Z"},{"alias_kind":"pith_short_8","alias_value":"W5J7Y253","created_at":"2026-05-18T12:31:53Z"}],"graph_snapshots":[{"event_id":"sha256:a9188a9f93971ad0a50b8a104f66a17a6647cc490b9bd0412e381cf569969d80","target":"graph","created_at":"2026-05-18T00:27:30Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"We investigate models of the mitogenactivated protein kinases (MAPK) network, with the aim of determining where in parameter space there exist multiple positive steady states. We build on recent progress which combines various symbolic computation methods for mixed systems of equalities and inequalities. We demonstrate that those techniques benefit tremendously from a newly implemented graph theoretical symbolic preprocessing method. We compare computation times and quality of results of numerical continuation methods with our symbolic approach before and after the application of our preproces","authors_text":"Andreas Weber, Dima Grigoriev, Hassan Errami, Matthew England, Ovidiu Radulescu, Thomas Sturm","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2017-06-27T11:45:35Z","title":"Symbolic Versus Numerical Computation and Visualization of Parameter Regions for Multistationarity of Biological Networks"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1706.08794","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:ebb5601f860e20d1183935e3ec59e9c699d4fcd03f2914dc6e6cb2772076cb10","target":"record","created_at":"2026-05-18T00:27:30Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"5b92e7f37a0b536dfa62f0364c87bd6dd6080b16e01799011caafdd36dfa3fca","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2017-06-27T11:45:35Z","title_canon_sha256":"19027c62126682d17d696222aa98120e67c126d5bee700e90b1d0a52d325b0f7"},"schema_version":"1.0","source":{"id":"1706.08794","kind":"arxiv","version":1}},"canonical_sha256":"b753fc6bbba39a9dd4724fbdd693dbc5b0e3dd4a80c199af2dfee7f4d779db27","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b753fc6bbba39a9dd4724fbdd693dbc5b0e3dd4a80c199af2dfee7f4d779db27","first_computed_at":"2026-05-18T00:27:30.362875Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:27:30.362875Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"TBDemm54cHzlB32c8K1QVodzNybDg2xZRKBAeEvqR5DftztfdCwWhdu13+KRzSx9CWXfhKcbNnzBRTEvPuj3Cg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:27:30.363743Z","signed_message":"canonical_sha256_bytes"},"source_id":"1706.08794","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ebb5601f860e20d1183935e3ec59e9c699d4fcd03f2914dc6e6cb2772076cb10","sha256:a9188a9f93971ad0a50b8a104f66a17a6647cc490b9bd0412e381cf569969d80"],"state_sha256":"4cfa3c8bcf62450edcacbfaff23d96b51b4d2bf65fba289cbaa3d19e6f45be07"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"lzifcYf4M8m5T6chYEJm0sIYd+FSXeDot2w7lI7Rjk/06ZHVAkcAFQnapVNOE/8HhKTzDl+Bkan5fc/OgwWpCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-31T17:31:03.711156Z","bundle_sha256":"f0b8c6630c55f45762999ca0800719556e1da5a43682801e410869cd61d07bee"}}