{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:RHWU7HD46DQF2YON66VJC6ZPCT","short_pith_number":"pith:RHWU7HD4","canonical_record":{"source":{"id":"1906.11485","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DL","submitted_at":"2019-06-27T08:08:09Z","cross_cats_sorted":["cs.SC"],"title_canon_sha256":"97aea8f2d05adf01acd0dd5eae93b58aa6825a4ad8e8a0ee6a35d97e095f6be2","abstract_canon_sha256":"a06b75b9be7acde2957c04eee7f6927d935baaa2158728d18fe2ee5a30bbe82b"},"schema_version":"1.0"},"canonical_sha256":"89ed4f9c7cf0e05d61cdf7aa917b2f14feea45beef5b034fe00335b08ea64f3d","source":{"kind":"arxiv","id":"1906.11485","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1906.11485","created_at":"2026-05-17T23:42:04Z"},{"alias_kind":"arxiv_version","alias_value":"1906.11485v1","created_at":"2026-05-17T23:42:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1906.11485","created_at":"2026-05-17T23:42:04Z"},{"alias_kind":"pith_short_12","alias_value":"RHWU7HD46DQF","created_at":"2026-05-18T12:33:27Z"},{"alias_kind":"pith_short_16","alias_value":"RHWU7HD46DQF2YON","created_at":"2026-05-18T12:33:27Z"},{"alias_kind":"pith_short_8","alias_value":"RHWU7HD4","created_at":"2026-05-18T12:33:27Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:RHWU7HD46DQF2YON66VJC6ZPCT","target":"record","payload":{"canonical_record":{"source":{"id":"1906.11485","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DL","submitted_at":"2019-06-27T08:08:09Z","cross_cats_sorted":["cs.SC"],"title_canon_sha256":"97aea8f2d05adf01acd0dd5eae93b58aa6825a4ad8e8a0ee6a35d97e095f6be2","abstract_canon_sha256":"a06b75b9be7acde2957c04eee7f6927d935baaa2158728d18fe2ee5a30bbe82b"},"schema_version":"1.0"},"canonical_sha256":"89ed4f9c7cf0e05d61cdf7aa917b2f14feea45beef5b034fe00335b08ea64f3d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:42:04.716350Z","signature_b64":"E1My0BZjoV3Gz2FRQZ9zotwqwWh0oTupCcFJfdUIEzmI908g1daG+Se1ir25jk62ZK9znc3pJSksBegkTMBpAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"89ed4f9c7cf0e05d61cdf7aa917b2f14feea45beef5b034fe00335b08ea64f3d","last_reissued_at":"2026-05-17T23:42:04.715782Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:42:04.715782Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1906.11485","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-17T23:42:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"y57jecaJq8tcENMtm7IwvHyFpBHz5LPELFmnQZ8u5/jiIOkGko4+8itG7HDSjxiWhsOVQqLsWsJrnsfSXg7HAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-19T11:36:33.301048Z"},"content_sha256":"6ec396a0ac520fab6a4e7a2293120639d01deb0446f4c178356423df42193b55","schema_version":"1.0","event_id":"sha256:6ec396a0ac520fab6a4e7a2293120639d01deb0446f4c178356423df42193b55"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:RHWU7HD46DQF2YON66VJC6ZPCT","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Semantic Preserving Bijective Mappings for Expressions involving Special Functions in Computer Algebra Systems and Document Preparation Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SC"],"primary_cat":"cs.DL","authors_text":"Andre Greiner-Petter, Bela Gipp, Howard S. Cohl, Moritz Schubotz","submitted_at":"2019-06-27T08:08:09Z","abstract_excerpt":"Purpose: Modern mathematicians and scientists of math-related disciplines often use Document Preparation Systems (DPS) to write and Computer Algebra Systems (CAS) to calculate mathematical expressions. Usually, they translate the expressions manually between DPS and CAS. This process is time-consuming and error-prone. Our goal is to automate this translation. This paper uses Maple and Mathematica as the CAS, and LaTeX as our DPS.\n  Design/methodology/approach: Bruce Miller at the National Institute of Standards and Technology (NIST) developed a collection of special LaTeX macros that create li"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1906.11485","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-17T23:42:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"yTxozrARmap/f6CPKwSRp9s1t4dwqX+DfLOK7Mc7kkZUuAFvd9//bAf/FzGgzSNSXaJdypwKMu1M6slslwFgDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-19T11:36:33.301463Z"},"content_sha256":"40c154350bde22c52f03e5caee32f8e830247670e109c288794f39447315f8fe","schema_version":"1.0","event_id":"sha256:40c154350bde22c52f03e5caee32f8e830247670e109c288794f39447315f8fe"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/RHWU7HD46DQF2YON66VJC6ZPCT/bundle.json","state_url":"https://pith.science/pith/RHWU7HD46DQF2YON66VJC6ZPCT/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/RHWU7HD46DQF2YON66VJC6ZPCT/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-19T11:36:33Z","links":{"resolver":"https://pith.science/pith/RHWU7HD46DQF2YON66VJC6ZPCT","bundle":"https://pith.science/pith/RHWU7HD46DQF2YON66VJC6ZPCT/bundle.json","state":"https://pith.science/pith/RHWU7HD46DQF2YON66VJC6ZPCT/state.json","well_known_bundle":"https://pith.science/.well-known/pith/RHWU7HD46DQF2YON66VJC6ZPCT/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:RHWU7HD46DQF2YON66VJC6ZPCT","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":"a06b75b9be7acde2957c04eee7f6927d935baaa2158728d18fe2ee5a30bbe82b","cross_cats_sorted":["cs.SC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DL","submitted_at":"2019-06-27T08:08:09Z","title_canon_sha256":"97aea8f2d05adf01acd0dd5eae93b58aa6825a4ad8e8a0ee6a35d97e095f6be2"},"schema_version":"1.0","source":{"id":"1906.11485","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1906.11485","created_at":"2026-05-17T23:42:04Z"},{"alias_kind":"arxiv_version","alias_value":"1906.11485v1","created_at":"2026-05-17T23:42:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1906.11485","created_at":"2026-05-17T23:42:04Z"},{"alias_kind":"pith_short_12","alias_value":"RHWU7HD46DQF","created_at":"2026-05-18T12:33:27Z"},{"alias_kind":"pith_short_16","alias_value":"RHWU7HD46DQF2YON","created_at":"2026-05-18T12:33:27Z"},{"alias_kind":"pith_short_8","alias_value":"RHWU7HD4","created_at":"2026-05-18T12:33:27Z"}],"graph_snapshots":[{"event_id":"sha256:40c154350bde22c52f03e5caee32f8e830247670e109c288794f39447315f8fe","target":"graph","created_at":"2026-05-17T23:42:04Z","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":"Purpose: Modern mathematicians and scientists of math-related disciplines often use Document Preparation Systems (DPS) to write and Computer Algebra Systems (CAS) to calculate mathematical expressions. Usually, they translate the expressions manually between DPS and CAS. This process is time-consuming and error-prone. Our goal is to automate this translation. This paper uses Maple and Mathematica as the CAS, and LaTeX as our DPS.\n  Design/methodology/approach: Bruce Miller at the National Institute of Standards and Technology (NIST) developed a collection of special LaTeX macros that create li","authors_text":"Andre Greiner-Petter, Bela Gipp, Howard S. Cohl, Moritz Schubotz","cross_cats":["cs.SC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DL","submitted_at":"2019-06-27T08:08:09Z","title":"Semantic Preserving Bijective Mappings for Expressions involving Special Functions in Computer Algebra Systems and Document Preparation Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1906.11485","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:6ec396a0ac520fab6a4e7a2293120639d01deb0446f4c178356423df42193b55","target":"record","created_at":"2026-05-17T23:42:04Z","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":"a06b75b9be7acde2957c04eee7f6927d935baaa2158728d18fe2ee5a30bbe82b","cross_cats_sorted":["cs.SC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DL","submitted_at":"2019-06-27T08:08:09Z","title_canon_sha256":"97aea8f2d05adf01acd0dd5eae93b58aa6825a4ad8e8a0ee6a35d97e095f6be2"},"schema_version":"1.0","source":{"id":"1906.11485","kind":"arxiv","version":1}},"canonical_sha256":"89ed4f9c7cf0e05d61cdf7aa917b2f14feea45beef5b034fe00335b08ea64f3d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"89ed4f9c7cf0e05d61cdf7aa917b2f14feea45beef5b034fe00335b08ea64f3d","first_computed_at":"2026-05-17T23:42:04.715782Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:42:04.715782Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"E1My0BZjoV3Gz2FRQZ9zotwqwWh0oTupCcFJfdUIEzmI908g1daG+Se1ir25jk62ZK9znc3pJSksBegkTMBpAg==","signature_status":"signed_v1","signed_at":"2026-05-17T23:42:04.716350Z","signed_message":"canonical_sha256_bytes"},"source_id":"1906.11485","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6ec396a0ac520fab6a4e7a2293120639d01deb0446f4c178356423df42193b55","sha256:40c154350bde22c52f03e5caee32f8e830247670e109c288794f39447315f8fe"],"state_sha256":"00efbecd88ad7e15a9fc02c467a4094499673b8f1c4b1e529f1f7f9397bd0fa0"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Ixz2w3u5Qed4mgBIga4QYn4W3YB6C8s7axpxNXTV9c1tNtfE/20Vb60oJlIlxZ1p62yKsrPekfE298PnqRmwDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-19T11:36:33.303166Z","bundle_sha256":"acef09035e161b4f5a5b7bec582af35dc00ec06bc1843b9b2df7f50260ecec44"}}