{"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"}