{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:HTEE7R45CKMC52FRLGLKC2G4VJ","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":"5237861bb1658737f52f02d44dbeaf45c629cdf4b78cbcecd81cc711634468ee","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.GL","submitted_at":"2025-01-27T19:35:18Z","title_canon_sha256":"7d3fcac5e8bdafef8997bf8cdd85394f36f3cfef9cd5b9c8e8e604d77ac60985"},"schema_version":"1.0","source":{"id":"2501.16457","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2501.16457","created_at":"2026-06-23T00:11:47Z"},{"alias_kind":"arxiv_version","alias_value":"2501.16457v3","created_at":"2026-06-23T00:11:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2501.16457","created_at":"2026-06-23T00:11:47Z"},{"alias_kind":"pith_short_12","alias_value":"HTEE7R45CKMC","created_at":"2026-06-23T00:11:47Z"},{"alias_kind":"pith_short_16","alias_value":"HTEE7R45CKMC52FR","created_at":"2026-06-23T00:11:47Z"},{"alias_kind":"pith_short_8","alias_value":"HTEE7R45","created_at":"2026-06-23T00:11:47Z"}],"graph_snapshots":[{"event_id":"sha256:9a895f64136f83fdbf10fd60d1c72d2342ec032008fcdfae5f7e2b6ac27b0fec","target":"graph","created_at":"2026-06-23T00:11:47Z","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/2501.16457/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Today, symbolic mathematical computation is taken for granted as part of the scientific infrastructure, but it has not always been so. This paper provides a historical survey of the discipline's formative decade, 1965-1975, viewed from a 50 year perspective. This span of years saw the evolution from a few specialized programs with naive algorithms to integrated systems with substantial capabilities. We highlight some of the important early figures in the field and the innovations upon which the current generation of systems and algorithms are built. By revisiting a period unfamiliar to most cu","authors_text":"Arthur C. Norman, Robert M. Corless, Stephen M. Watt, Tomas Recio, William J. Turkel","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.GL","submitted_at":"2025-01-27T19:35:18Z","title":"Symbolic Mathematical Computation 1965--1975: The emergence of a discipline"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2501.16457","kind":"arxiv","version":3},"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:51aa436c0e3282e55bbf654763eb2c73c16e64436fedcd87efb46afb1a0f0b1f","target":"record","created_at":"2026-06-23T00:11:47Z","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":"5237861bb1658737f52f02d44dbeaf45c629cdf4b78cbcecd81cc711634468ee","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.GL","submitted_at":"2025-01-27T19:35:18Z","title_canon_sha256":"7d3fcac5e8bdafef8997bf8cdd85394f36f3cfef9cd5b9c8e8e604d77ac60985"},"schema_version":"1.0","source":{"id":"2501.16457","kind":"arxiv","version":3}},"canonical_sha256":"3cc84fc79d12982ee8b15996a168dcaa6e9f7d4f6161038342d79c55e4122468","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3cc84fc79d12982ee8b15996a168dcaa6e9f7d4f6161038342d79c55e4122468","first_computed_at":"2026-06-23T00:11:47.622592Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-23T00:11:47.622592Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"XGLqFjqymbhD3kybNMzIw3LOR83kgfjIxrhnAuVXOgh8JvhM7Il0ignh01ssZcxTdzH5vOBnJoSO/eqJYs72AQ==","signature_status":"signed_v1","signed_at":"2026-06-23T00:11:47.623104Z","signed_message":"canonical_sha256_bytes"},"source_id":"2501.16457","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:51aa436c0e3282e55bbf654763eb2c73c16e64436fedcd87efb46afb1a0f0b1f","sha256:9a895f64136f83fdbf10fd60d1c72d2342ec032008fcdfae5f7e2b6ac27b0fec"],"state_sha256":"cc1b6c298b7d74433f91835a8faf6ac3fff1d719fad7bbd1d77e8291660aaa30"}