{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2000:WPQWCO6ULPGKGVVATRJP4467GD","short_pith_number":"pith:WPQWCO6U","canonical_record":{"source":{"id":"cs/0004015","kind":"arxiv","version":2},"metadata":{"license":"","primary_cat":"cs.SC","submitted_at":"2000-04-27T10:30:58Z","cross_cats_sorted":["hep-ph","physics.comp-ph"],"title_canon_sha256":"9f07abe958ee73ff1682c170665f01cc0b802f3d5d93bca22cb484ddf11e9688","abstract_canon_sha256":"992c42da0cc82fe5b36744e7e635ae020113318580cceb7fa838cc0535db7740"},"schema_version":"1.0"},"canonical_sha256":"b3e1613bd45bcca356a09c52fe73df30d3fe64e06a35204dcaeb547f78f2cd88","source":{"kind":"arxiv","id":"cs/0004015","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"cs/0004015","created_at":"2026-07-04T14:24:02Z"},{"alias_kind":"arxiv_version","alias_value":"cs/0004015v2","created_at":"2026-07-04T14:24:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.cs/0004015","created_at":"2026-07-04T14:24:02Z"},{"alias_kind":"pith_short_12","alias_value":"WPQWCO6ULPGK","created_at":"2026-07-04T14:24:02Z"},{"alias_kind":"pith_short_16","alias_value":"WPQWCO6ULPGKGVVA","created_at":"2026-07-04T14:24:02Z"},{"alias_kind":"pith_short_8","alias_value":"WPQWCO6U","created_at":"2026-07-04T14:24:02Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2000:WPQWCO6ULPGKGVVATRJP4467GD","target":"record","payload":{"canonical_record":{"source":{"id":"cs/0004015","kind":"arxiv","version":2},"metadata":{"license":"","primary_cat":"cs.SC","submitted_at":"2000-04-27T10:30:58Z","cross_cats_sorted":["hep-ph","physics.comp-ph"],"title_canon_sha256":"9f07abe958ee73ff1682c170665f01cc0b802f3d5d93bca22cb484ddf11e9688","abstract_canon_sha256":"992c42da0cc82fe5b36744e7e635ae020113318580cceb7fa838cc0535db7740"},"schema_version":"1.0"},"canonical_sha256":"b3e1613bd45bcca356a09c52fe73df30d3fe64e06a35204dcaeb547f78f2cd88","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-04T14:24:02.061618Z","signature_b64":"wmk1Qj2SqEhZUft21kFn+AyHr2ZidFoWJjcAFJjfFwQ4zrldBT8OtwwLvraQ6cnqmLp2YYlF+iS9UWWUoeTJDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b3e1613bd45bcca356a09c52fe73df30d3fe64e06a35204dcaeb547f78f2cd88","last_reissued_at":"2026-07-04T14:24:02.061228Z","signature_status":"signed_v1","first_computed_at":"2026-07-04T14:24:02.061228Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"cs/0004015","source_version":2,"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-07-04T14:24:02Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/nzflWrkTtFjM53C2p/Bs5MSTLwsL1WdcJI73UUlAbaGK5nN5gNWWAlNT2LdoxX0hEbLI7XqHd3DhXn9ZC1IDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T16:47:30.030651Z"},"content_sha256":"f5625865e2f70893411fc82686a52cd82b1079f211a5042362c8deb4682db1cc","schema_version":"1.0","event_id":"sha256:f5625865e2f70893411fc82686a52cd82b1079f211a5042362c8deb4682db1cc"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2000:WPQWCO6ULPGKGVVATRJP4467GD","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Introduction to the GiNaC Framework for Symbolic Computation within the C++ Programming Language","license":"","headline":"","cross_cats":["hep-ph","physics.comp-ph"],"primary_cat":"cs.SC","authors_text":"Alexander Frink, Christian Bauer, Richard Kreckel","submitted_at":"2000-04-27T10:30:58Z","abstract_excerpt":"The traditional split-up into a low level language and a high level language in the design of computer algebra systems may become obsolete with the advent of more versatile computer languages. We describe GiNaC, a special-purpose system that deliberately denies the need for such a distinction. It is entirely written in C++ and the user can interact with it directly in that language. It was designed to provide efficient handling of multivariate polynomials, algebras and special functions that are needed for loop calculations in theoretical quantum field theory. It also bears some potential to b"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"cs/0004015","kind":"arxiv","version":2},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/cs/0004015/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-07-04T14:24:02Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vug/WQqX+vaudxGsO0D94d46TNjMLIcNzs6YMh+sDd/CYqDlncTVKXEJnfwGEPum+dvf8qUhnKC0bUMomWvuDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T16:47:30.031140Z"},"content_sha256":"8a56d2590feba352cabcbe3a83a65b6dae8df5c31142003939478b646d75e466","schema_version":"1.0","event_id":"sha256:8a56d2590feba352cabcbe3a83a65b6dae8df5c31142003939478b646d75e466"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/WPQWCO6ULPGKGVVATRJP4467GD/bundle.json","state_url":"https://pith.science/pith/WPQWCO6ULPGKGVVATRJP4467GD/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/WPQWCO6ULPGKGVVATRJP4467GD/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-08-03T16:47:30Z","links":{"resolver":"https://pith.science/pith/WPQWCO6ULPGKGVVATRJP4467GD","bundle":"https://pith.science/pith/WPQWCO6ULPGKGVVATRJP4467GD/bundle.json","state":"https://pith.science/pith/WPQWCO6ULPGKGVVATRJP4467GD/state.json","well_known_bundle":"https://pith.science/.well-known/pith/WPQWCO6ULPGKGVVATRJP4467GD/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2000:WPQWCO6ULPGKGVVATRJP4467GD","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":"992c42da0cc82fe5b36744e7e635ae020113318580cceb7fa838cc0535db7740","cross_cats_sorted":["hep-ph","physics.comp-ph"],"license":"","primary_cat":"cs.SC","submitted_at":"2000-04-27T10:30:58Z","title_canon_sha256":"9f07abe958ee73ff1682c170665f01cc0b802f3d5d93bca22cb484ddf11e9688"},"schema_version":"1.0","source":{"id":"cs/0004015","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"cs/0004015","created_at":"2026-07-04T14:24:02Z"},{"alias_kind":"arxiv_version","alias_value":"cs/0004015v2","created_at":"2026-07-04T14:24:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.cs/0004015","created_at":"2026-07-04T14:24:02Z"},{"alias_kind":"pith_short_12","alias_value":"WPQWCO6ULPGK","created_at":"2026-07-04T14:24:02Z"},{"alias_kind":"pith_short_16","alias_value":"WPQWCO6ULPGKGVVA","created_at":"2026-07-04T14:24:02Z"},{"alias_kind":"pith_short_8","alias_value":"WPQWCO6U","created_at":"2026-07-04T14:24:02Z"}],"graph_snapshots":[{"event_id":"sha256:8a56d2590feba352cabcbe3a83a65b6dae8df5c31142003939478b646d75e466","target":"graph","created_at":"2026-07-04T14:24:02Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/cs/0004015/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The traditional split-up into a low level language and a high level language in the design of computer algebra systems may become obsolete with the advent of more versatile computer languages. We describe GiNaC, a special-purpose system that deliberately denies the need for such a distinction. It is entirely written in C++ and the user can interact with it directly in that language. It was designed to provide efficient handling of multivariate polynomials, algebras and special functions that are needed for loop calculations in theoretical quantum field theory. It also bears some potential to b","authors_text":"Alexander Frink, Christian Bauer, Richard Kreckel","cross_cats":["hep-ph","physics.comp-ph"],"headline":"","license":"","primary_cat":"cs.SC","submitted_at":"2000-04-27T10:30:58Z","title":"Introduction to the GiNaC Framework for Symbolic Computation within the C++ Programming Language"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"cs/0004015","kind":"arxiv","version":2},"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:f5625865e2f70893411fc82686a52cd82b1079f211a5042362c8deb4682db1cc","target":"record","created_at":"2026-07-04T14:24:02Z","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":"992c42da0cc82fe5b36744e7e635ae020113318580cceb7fa838cc0535db7740","cross_cats_sorted":["hep-ph","physics.comp-ph"],"license":"","primary_cat":"cs.SC","submitted_at":"2000-04-27T10:30:58Z","title_canon_sha256":"9f07abe958ee73ff1682c170665f01cc0b802f3d5d93bca22cb484ddf11e9688"},"schema_version":"1.0","source":{"id":"cs/0004015","kind":"arxiv","version":2}},"canonical_sha256":"b3e1613bd45bcca356a09c52fe73df30d3fe64e06a35204dcaeb547f78f2cd88","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b3e1613bd45bcca356a09c52fe73df30d3fe64e06a35204dcaeb547f78f2cd88","first_computed_at":"2026-07-04T14:24:02.061228Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-04T14:24:02.061228Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"wmk1Qj2SqEhZUft21kFn+AyHr2ZidFoWJjcAFJjfFwQ4zrldBT8OtwwLvraQ6cnqmLp2YYlF+iS9UWWUoeTJDQ==","signature_status":"signed_v1","signed_at":"2026-07-04T14:24:02.061618Z","signed_message":"canonical_sha256_bytes"},"source_id":"cs/0004015","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f5625865e2f70893411fc82686a52cd82b1079f211a5042362c8deb4682db1cc","sha256:8a56d2590feba352cabcbe3a83a65b6dae8df5c31142003939478b646d75e466"],"state_sha256":"4fd3457c3a512f0697aba2bb70db6aa4a373bb9843dcc1fc863e0eb20c3363eb"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"neNMxcEH7tro26npUMkcEAvBWGQsp+i0HKTpuzUDKTlVZKBg6ISJwZHhqE3BADexEa9Kh8MVuErALmnzwYy2Ag==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-03T16:47:30.034768Z","bundle_sha256":"365cc00d33d07943f5066abcd598a49d1ce6445fe9fcac3d4115eaba15b0fac4"}}