{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:EAK72WQSDBYILI3ZDKJN7SI6GT","short_pith_number":"pith:EAK72WQS","schema_version":"1.0","canonical_sha256":"2015fd5a12187085a3791a92dfc91e34ca7e2a2e6f2f025feae26a1019248e85","source":{"kind":"arxiv","id":"1703.08914","version":1},"attestation_state":"computed","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"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1703.08914","created_at":"2026-05-18T00:47:55.174187+00:00"},{"alias_kind":"arxiv_version","alias_value":"1703.08914v1","created_at":"2026-05-18T00:47:55.174187+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1703.08914","created_at":"2026-05-18T00:47:55.174187+00:00"},{"alias_kind":"pith_short_12","alias_value":"EAK72WQSDBYI","created_at":"2026-05-18T12:31:12.930513+00:00"},{"alias_kind":"pith_short_16","alias_value":"EAK72WQSDBYILI3Z","created_at":"2026-05-18T12:31:12.930513+00:00"},{"alias_kind":"pith_short_8","alias_value":"EAK72WQS","created_at":"2026-05-18T12:31:12.930513+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/EAK72WQSDBYILI3ZDKJN7SI6GT","json":"https://pith.science/pith/EAK72WQSDBYILI3ZDKJN7SI6GT.json","graph_json":"https://pith.science/api/pith-number/EAK72WQSDBYILI3ZDKJN7SI6GT/graph.json","events_json":"https://pith.science/api/pith-number/EAK72WQSDBYILI3ZDKJN7SI6GT/events.json","paper":"https://pith.science/paper/EAK72WQS"},"agent_actions":{"view_html":"https://pith.science/pith/EAK72WQSDBYILI3ZDKJN7SI6GT","download_json":"https://pith.science/pith/EAK72WQSDBYILI3ZDKJN7SI6GT.json","view_paper":"https://pith.science/paper/EAK72WQS","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1703.08914&json=true","fetch_graph":"https://pith.science/api/pith-number/EAK72WQSDBYILI3ZDKJN7SI6GT/graph.json","fetch_events":"https://pith.science/api/pith-number/EAK72WQSDBYILI3ZDKJN7SI6GT/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/EAK72WQSDBYILI3ZDKJN7SI6GT/action/timestamp_anchor","attest_storage":"https://pith.science/pith/EAK72WQSDBYILI3ZDKJN7SI6GT/action/storage_attestation","attest_author":"https://pith.science/pith/EAK72WQSDBYILI3ZDKJN7SI6GT/action/author_attestation","sign_citation":"https://pith.science/pith/EAK72WQSDBYILI3ZDKJN7SI6GT/action/citation_signature","submit_replication":"https://pith.science/pith/EAK72WQSDBYILI3ZDKJN7SI6GT/action/replication_record"}},"created_at":"2026-05-18T00:47:55.174187+00:00","updated_at":"2026-05-18T00:47:55.174187+00:00"}