{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:EAK72WQSDBYILI3ZDKJN7SI6GT","short_pith_number":"pith:EAK72WQS","canonical_record":{"source":{"id":"1703.08914","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"math.NA","submitted_at":"2017-03-27T03:39:31Z","cross_cats_sorted":[],"title_canon_sha256":"2d12d48017ff552161a65a70bb95b62655405d2ef33936f85c36e50d1a1ba329","abstract_canon_sha256":"772bd6f683e426f37b1dcc22cbde821e0822f242a58fa6ed7cb2070a2a9a770a"},"schema_version":"1.0"},"canonical_sha256":"2015fd5a12187085a3791a92dfc91e34ca7e2a2e6f2f025feae26a1019248e85","source":{"kind":"arxiv","id":"1703.08914","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1703.08914","created_at":"2026-05-18T00:47:55Z"},{"alias_kind":"arxiv_version","alias_value":"1703.08914v1","created_at":"2026-05-18T00:47:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1703.08914","created_at":"2026-05-18T00:47:55Z"},{"alias_kind":"pith_short_12","alias_value":"EAK72WQSDBYI","created_at":"2026-05-18T12:31:12Z"},{"alias_kind":"pith_short_16","alias_value":"EAK72WQSDBYILI3Z","created_at":"2026-05-18T12:31:12Z"},{"alias_kind":"pith_short_8","alias_value":"EAK72WQS","created_at":"2026-05-18T12:31:12Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:EAK72WQSDBYILI3ZDKJN7SI6GT","target":"record","payload":{"canonical_record":{"source":{"id":"1703.08914","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"math.NA","submitted_at":"2017-03-27T03:39:31Z","cross_cats_sorted":[],"title_canon_sha256":"2d12d48017ff552161a65a70bb95b62655405d2ef33936f85c36e50d1a1ba329","abstract_canon_sha256":"772bd6f683e426f37b1dcc22cbde821e0822f242a58fa6ed7cb2070a2a9a770a"},"schema_version":"1.0"},"canonical_sha256":"2015fd5a12187085a3791a92dfc91e34ca7e2a2e6f2f025feae26a1019248e85","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:47:55.174669Z","signature_b64":"rQQ8xC0oe5mRN42cm4KxApUl1CHAOwEP6ormvaMupIx/0Bpq5w5Jwu3r9sxSbMi7QCcUTWD26HEZDoie6bCsCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2015fd5a12187085a3791a92dfc91e34ca7e2a2e6f2f025feae26a1019248e85","last_reissued_at":"2026-05-18T00:47:55.174103Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:47:55.174103Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1703.08914","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:47:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mnO1krheOKna+xKSTPc80B/wVPu6j4pNuLEHK/ZSNcsqUdYQ6amzcOHI2p2dDul9F4BwbsxWKCv5korKgqAnBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-24T09:48:48.423418Z"},"content_sha256":"932373c1b5d54f3a4195c41e3957d262badb516d5ab528789f17a6f9f7f8e4bc","schema_version":"1.0","event_id":"sha256:932373c1b5d54f3a4195c41e3957d262badb516d5ab528789f17a6f9f7f8e4bc"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:EAK72WQSDBYILI3ZDKJN7SI6GT","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"How AD Can Help Solve Differential-Algebraic Equations","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":[],"primary_cat":"math.NA","authors_text":"Guangning Tan, John D. Pryce, Nedialko S. Nedialkov, Xiao Li","submitted_at":"2017-03-27T03:39:31Z","abstract_excerpt":"A characteristic feature of differential-algebraic equations is that one needs to find derivatives of some of their equations with respect to time, as part of so called index reduction or regularisation, to prepare them for numerical solution. This is often done with the help of a computer algebra system. We show in two significant cases that it can be done efficiently by pure algorithmic differentiation. The first is the Dummy Derivatives method, here we give a mainly theoretical description, with tutorial examples. The second is the solution of a mechanical system directly from its Lagrangia"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1703.08914","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:47:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"a6CKTjhZ09Sm2Hi6nbVMPSQ6j7NDqxkWb3lZm9FcxjaEp6ZK6SBot5z6mwgJy14FqmWcoyjeHn/YuzCD+HUJCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-24T09:48:48.423771Z"},"content_sha256":"5453a2ee0776397b38b1dbd27b7e6a2ba1626c33c125f5e1c24edbbed4c65355","schema_version":"1.0","event_id":"sha256:5453a2ee0776397b38b1dbd27b7e6a2ba1626c33c125f5e1c24edbbed4c65355"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/EAK72WQSDBYILI3ZDKJN7SI6GT/bundle.json","state_url":"https://pith.science/pith/EAK72WQSDBYILI3ZDKJN7SI6GT/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/EAK72WQSDBYILI3ZDKJN7SI6GT/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-06-24T09:48:48Z","links":{"resolver":"https://pith.science/pith/EAK72WQSDBYILI3ZDKJN7SI6GT","bundle":"https://pith.science/pith/EAK72WQSDBYILI3ZDKJN7SI6GT/bundle.json","state":"https://pith.science/pith/EAK72WQSDBYILI3ZDKJN7SI6GT/state.json","well_known_bundle":"https://pith.science/.well-known/pith/EAK72WQSDBYILI3ZDKJN7SI6GT/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:EAK72WQSDBYILI3ZDKJN7SI6GT","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":"772bd6f683e426f37b1dcc22cbde821e0822f242a58fa6ed7cb2070a2a9a770a","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"math.NA","submitted_at":"2017-03-27T03:39:31Z","title_canon_sha256":"2d12d48017ff552161a65a70bb95b62655405d2ef33936f85c36e50d1a1ba329"},"schema_version":"1.0","source":{"id":"1703.08914","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1703.08914","created_at":"2026-05-18T00:47:55Z"},{"alias_kind":"arxiv_version","alias_value":"1703.08914v1","created_at":"2026-05-18T00:47:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1703.08914","created_at":"2026-05-18T00:47:55Z"},{"alias_kind":"pith_short_12","alias_value":"EAK72WQSDBYI","created_at":"2026-05-18T12:31:12Z"},{"alias_kind":"pith_short_16","alias_value":"EAK72WQSDBYILI3Z","created_at":"2026-05-18T12:31:12Z"},{"alias_kind":"pith_short_8","alias_value":"EAK72WQS","created_at":"2026-05-18T12:31:12Z"}],"graph_snapshots":[{"event_id":"sha256:5453a2ee0776397b38b1dbd27b7e6a2ba1626c33c125f5e1c24edbbed4c65355","target":"graph","created_at":"2026-05-18T00:47:55Z","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":"A characteristic feature of differential-algebraic equations is that one needs to find derivatives of some of their equations with respect to time, as part of so called index reduction or regularisation, to prepare them for numerical solution. This is often done with the help of a computer algebra system. We show in two significant cases that it can be done efficiently by pure algorithmic differentiation. The first is the Dummy Derivatives method, here we give a mainly theoretical description, with tutorial examples. The second is the solution of a mechanical system directly from its Lagrangia","authors_text":"Guangning Tan, John D. Pryce, Nedialko S. Nedialkov, Xiao Li","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"math.NA","submitted_at":"2017-03-27T03:39:31Z","title":"How AD Can Help Solve Differential-Algebraic Equations"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1703.08914","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:932373c1b5d54f3a4195c41e3957d262badb516d5ab528789f17a6f9f7f8e4bc","target":"record","created_at":"2026-05-18T00:47:55Z","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":"772bd6f683e426f37b1dcc22cbde821e0822f242a58fa6ed7cb2070a2a9a770a","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"math.NA","submitted_at":"2017-03-27T03:39:31Z","title_canon_sha256":"2d12d48017ff552161a65a70bb95b62655405d2ef33936f85c36e50d1a1ba329"},"schema_version":"1.0","source":{"id":"1703.08914","kind":"arxiv","version":1}},"canonical_sha256":"2015fd5a12187085a3791a92dfc91e34ca7e2a2e6f2f025feae26a1019248e85","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2015fd5a12187085a3791a92dfc91e34ca7e2a2e6f2f025feae26a1019248e85","first_computed_at":"2026-05-18T00:47:55.174103Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:47:55.174103Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"rQQ8xC0oe5mRN42cm4KxApUl1CHAOwEP6ormvaMupIx/0Bpq5w5Jwu3r9sxSbMi7QCcUTWD26HEZDoie6bCsCA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:47:55.174669Z","signed_message":"canonical_sha256_bytes"},"source_id":"1703.08914","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:932373c1b5d54f3a4195c41e3957d262badb516d5ab528789f17a6f9f7f8e4bc","sha256:5453a2ee0776397b38b1dbd27b7e6a2ba1626c33c125f5e1c24edbbed4c65355"],"state_sha256":"02dd86a4914ed1763f18755d37604e0be3ba5fe5a4aabf5d79ce0cc14b32e237"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"of5IMNr5NnUcM2OymofcuFS1jRu2SKtUUXuyZbIt+zqiiyOhknlzEexP9G2SWmli9KumIyUY0iY+uitY3fMNBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-24T09:48:48.425737Z","bundle_sha256":"972163bd5762ebadd282da342f06c7fc9c71db7f68617b401eb40f4c51cc21c5"}}