{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2006:SJ7B4ZJAVGSD6TQV2ZRKZPHEKD","short_pith_number":"pith:SJ7B4ZJA","canonical_record":{"source":{"id":"cs/0602005","kind":"arxiv","version":1},"metadata":{"license":"","primary_cat":"cs.MS","submitted_at":"2006-02-03T18:29:52Z","cross_cats_sorted":[],"title_canon_sha256":"a39e23d0b977fbebdd3783628549802e066016275bdc830cfeb76718fde3215c","abstract_canon_sha256":"eb2f18855dcfb10418ae94fc6d9186a8ee196e555f36ca6cc75a361fb91dfd29"},"schema_version":"1.0"},"canonical_sha256":"927e1e6520a9a43f4e15d662acbce450ebbeb753cc65f91135e8b87e52bcf162","source":{"kind":"arxiv","id":"cs/0602005","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"cs/0602005","created_at":"2026-05-18T01:08:54Z"},{"alias_kind":"arxiv_version","alias_value":"cs/0602005v1","created_at":"2026-05-18T01:08:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.cs/0602005","created_at":"2026-05-18T01:08:54Z"},{"alias_kind":"pith_short_12","alias_value":"SJ7B4ZJAVGSD","created_at":"2026-05-18T12:25:54Z"},{"alias_kind":"pith_short_16","alias_value":"SJ7B4ZJAVGSD6TQV","created_at":"2026-05-18T12:25:54Z"},{"alias_kind":"pith_short_8","alias_value":"SJ7B4ZJA","created_at":"2026-05-18T12:25:54Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2006:SJ7B4ZJAVGSD6TQV2ZRKZPHEKD","target":"record","payload":{"canonical_record":{"source":{"id":"cs/0602005","kind":"arxiv","version":1},"metadata":{"license":"","primary_cat":"cs.MS","submitted_at":"2006-02-03T18:29:52Z","cross_cats_sorted":[],"title_canon_sha256":"a39e23d0b977fbebdd3783628549802e066016275bdc830cfeb76718fde3215c","abstract_canon_sha256":"eb2f18855dcfb10418ae94fc6d9186a8ee196e555f36ca6cc75a361fb91dfd29"},"schema_version":"1.0"},"canonical_sha256":"927e1e6520a9a43f4e15d662acbce450ebbeb753cc65f91135e8b87e52bcf162","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:08:54.869151Z","signature_b64":"uoduLSYVcnfjXwf7MmcSuH3t3C2ciFsD6qbLBTRyw3zR8YpQWX8F4Mhfx7HdPWNVf53DWP/HM04kTV/UoyauDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"927e1e6520a9a43f4e15d662acbce450ebbeb753cc65f91135e8b87e52bcf162","last_reissued_at":"2026-05-18T01:08:54.868504Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:08:54.868504Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"cs/0602005","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-18T01:08:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5q02Gwi+oJdrup3JQgX7NxgGRK33rMeA9ScMYTPXKo92cy8O1gffdYcuoSHg+2+8cnjdKVwAc71Bk2skRv64Dg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-11T22:23:13.479799Z"},"content_sha256":"58a44b60b2f31de24651222d44c7d837ea4ee0b5f99371fd7b4aa125abd06337","schema_version":"1.0","event_id":"sha256:58a44b60b2f31de24651222d44c7d837ea4ee0b5f99371fd7b4aa125abd06337"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2006:SJ7B4ZJAVGSD6TQV2ZRKZPHEKD","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A library of Taylor models for PVS automatic proof checker","license":"","headline":"","cross_cats":[],"primary_cat":"cs.MS","authors_text":"Francisco Ch\\'aves (LIP), Lp2a), Marc Daumas (LIRMM","submitted_at":"2006-02-03T18:29:52Z","abstract_excerpt":"We present in this paper a library to compute with Taylor models, a technique extending interval arithmetic to reduce decorrelation and to solve differential equations. Numerical software usually produces only numerical results. Our library can be used to produce both results and proofs. As seen during the development of Fermat's last theorem reported by Aczel 1996, providing a proof is not sufficient. Our library provides a proof that has been thoroughly scrutinized by a trustworthy and tireless assistant. PVS is an automatic proof assistant that has been fairly developed and used and that ha"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"cs/0602005","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-18T01:08:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rGbmodxKeSAu5KmDDR75WgABlijo20tDgrX2bH0vPKigHCKe13W+6yqfDnmP9g/tYQhtSHmQaBiuo+S8QTQpCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-11T22:23:13.480215Z"},"content_sha256":"2a695ff7d81ea9350e06a937bc7046e4640cd72452f90bbcb604bbe62fc4d3bb","schema_version":"1.0","event_id":"sha256:2a695ff7d81ea9350e06a937bc7046e4640cd72452f90bbcb604bbe62fc4d3bb"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/SJ7B4ZJAVGSD6TQV2ZRKZPHEKD/bundle.json","state_url":"https://pith.science/pith/SJ7B4ZJAVGSD6TQV2ZRKZPHEKD/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/SJ7B4ZJAVGSD6TQV2ZRKZPHEKD/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-11T22:23:13Z","links":{"resolver":"https://pith.science/pith/SJ7B4ZJAVGSD6TQV2ZRKZPHEKD","bundle":"https://pith.science/pith/SJ7B4ZJAVGSD6TQV2ZRKZPHEKD/bundle.json","state":"https://pith.science/pith/SJ7B4ZJAVGSD6TQV2ZRKZPHEKD/state.json","well_known_bundle":"https://pith.science/.well-known/pith/SJ7B4ZJAVGSD6TQV2ZRKZPHEKD/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2006:SJ7B4ZJAVGSD6TQV2ZRKZPHEKD","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":"eb2f18855dcfb10418ae94fc6d9186a8ee196e555f36ca6cc75a361fb91dfd29","cross_cats_sorted":[],"license":"","primary_cat":"cs.MS","submitted_at":"2006-02-03T18:29:52Z","title_canon_sha256":"a39e23d0b977fbebdd3783628549802e066016275bdc830cfeb76718fde3215c"},"schema_version":"1.0","source":{"id":"cs/0602005","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"cs/0602005","created_at":"2026-05-18T01:08:54Z"},{"alias_kind":"arxiv_version","alias_value":"cs/0602005v1","created_at":"2026-05-18T01:08:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.cs/0602005","created_at":"2026-05-18T01:08:54Z"},{"alias_kind":"pith_short_12","alias_value":"SJ7B4ZJAVGSD","created_at":"2026-05-18T12:25:54Z"},{"alias_kind":"pith_short_16","alias_value":"SJ7B4ZJAVGSD6TQV","created_at":"2026-05-18T12:25:54Z"},{"alias_kind":"pith_short_8","alias_value":"SJ7B4ZJA","created_at":"2026-05-18T12:25:54Z"}],"graph_snapshots":[{"event_id":"sha256:2a695ff7d81ea9350e06a937bc7046e4640cd72452f90bbcb604bbe62fc4d3bb","target":"graph","created_at":"2026-05-18T01:08:54Z","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 present in this paper a library to compute with Taylor models, a technique extending interval arithmetic to reduce decorrelation and to solve differential equations. Numerical software usually produces only numerical results. Our library can be used to produce both results and proofs. As seen during the development of Fermat's last theorem reported by Aczel 1996, providing a proof is not sufficient. Our library provides a proof that has been thoroughly scrutinized by a trustworthy and tireless assistant. PVS is an automatic proof assistant that has been fairly developed and used and that ha","authors_text":"Francisco Ch\\'aves (LIP), Lp2a), Marc Daumas (LIRMM","cross_cats":[],"headline":"","license":"","primary_cat":"cs.MS","submitted_at":"2006-02-03T18:29:52Z","title":"A library of Taylor models for PVS automatic proof checker"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"cs/0602005","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:58a44b60b2f31de24651222d44c7d837ea4ee0b5f99371fd7b4aa125abd06337","target":"record","created_at":"2026-05-18T01:08:54Z","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":"eb2f18855dcfb10418ae94fc6d9186a8ee196e555f36ca6cc75a361fb91dfd29","cross_cats_sorted":[],"license":"","primary_cat":"cs.MS","submitted_at":"2006-02-03T18:29:52Z","title_canon_sha256":"a39e23d0b977fbebdd3783628549802e066016275bdc830cfeb76718fde3215c"},"schema_version":"1.0","source":{"id":"cs/0602005","kind":"arxiv","version":1}},"canonical_sha256":"927e1e6520a9a43f4e15d662acbce450ebbeb753cc65f91135e8b87e52bcf162","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"927e1e6520a9a43f4e15d662acbce450ebbeb753cc65f91135e8b87e52bcf162","first_computed_at":"2026-05-18T01:08:54.868504Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:08:54.868504Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"uoduLSYVcnfjXwf7MmcSuH3t3C2ciFsD6qbLBTRyw3zR8YpQWX8F4Mhfx7HdPWNVf53DWP/HM04kTV/UoyauDQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:08:54.869151Z","signed_message":"canonical_sha256_bytes"},"source_id":"cs/0602005","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:58a44b60b2f31de24651222d44c7d837ea4ee0b5f99371fd7b4aa125abd06337","sha256:2a695ff7d81ea9350e06a937bc7046e4640cd72452f90bbcb604bbe62fc4d3bb"],"state_sha256":"d30f508b736f95231dbe924a23f000195cc44d092d26e54facf8dc4f9e5bed92"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ch1wySS9QtR49JLvt3jO/gbe+RUvyCxg4wtv6dNzc0LXR0vxJivi3LJ/u8mhcbFyM1XTe+wvaz1cMcSMuN98CQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-11T22:23:13.483496Z","bundle_sha256":"a338d61144cbce9785f45455412a9d34b72f04ef0bdb9e3f3b6ae912602509bf"}}