{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:TJNPST7GF2PGMECR5HD7CAXMTL","short_pith_number":"pith:TJNPST7G","canonical_record":{"source":{"id":"1803.01471","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CY","submitted_at":"2018-03-05T02:47:23Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"b08b9efe2ae405a17f96e22064b108682464a844a8db3530ebe8b468ee325f31","abstract_canon_sha256":"c6241c1be0062a2aa7b6e076870311f3aef0b432c96b8c8e8652581e7ec3282a"},"schema_version":"1.0"},"canonical_sha256":"9a5af94fe62e9e661051e9c7f102ec9ad2c41bff279ee266bf505af61bbaa4f1","source":{"kind":"arxiv","id":"1803.01471","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1803.01471","created_at":"2026-05-18T00:22:00Z"},{"alias_kind":"arxiv_version","alias_value":"1803.01471v1","created_at":"2026-05-18T00:22:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1803.01471","created_at":"2026-05-18T00:22:00Z"},{"alias_kind":"pith_short_12","alias_value":"TJNPST7GF2PG","created_at":"2026-05-18T12:32:53Z"},{"alias_kind":"pith_short_16","alias_value":"TJNPST7GF2PGMECR","created_at":"2026-05-18T12:32:53Z"},{"alias_kind":"pith_short_8","alias_value":"TJNPST7G","created_at":"2026-05-18T12:32:53Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:TJNPST7GF2PGMECR5HD7CAXMTL","target":"record","payload":{"canonical_record":{"source":{"id":"1803.01471","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CY","submitted_at":"2018-03-05T02:47:23Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"b08b9efe2ae405a17f96e22064b108682464a844a8db3530ebe8b468ee325f31","abstract_canon_sha256":"c6241c1be0062a2aa7b6e076870311f3aef0b432c96b8c8e8652581e7ec3282a"},"schema_version":"1.0"},"canonical_sha256":"9a5af94fe62e9e661051e9c7f102ec9ad2c41bff279ee266bf505af61bbaa4f1","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:22:00.577335Z","signature_b64":"0900Vki5evn/OT+rCn4hDkF/zAr8fRchdDfsU50dcJzNnvRc7tXi7lm5/Q2+A/A4PtwOSpnMj+l68hfi+qf0Aw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9a5af94fe62e9e661051e9c7f102ec9ad2c41bff279ee266bf505af61bbaa4f1","last_reissued_at":"2026-05-18T00:22:00.576856Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:22:00.576856Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1803.01471","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-18T00:22:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"L2ISXwdCxwYv/8KMawSEB6WOM9Of//CGIk3gbntDFWN8D5ICS4y5TShF4YLEw8ssozzLbdaJFIA7xsFARlDyDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T11:03:28.413156Z"},"content_sha256":"1e3c477857eed5ba956fca2e53e366f7958c18fb7ce8e03c1b4a06cc49ca984d","schema_version":"1.0","event_id":"sha256:1e3c477857eed5ba956fca2e53e366f7958c18fb7ce8e03c1b4a06cc49ca984d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:TJNPST7GF2PGMECR5HD7CAXMTL","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Exchange of Geometric Information Between Applications","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.CY","authors_text":"Nuno Baeta (University of Coimbra, Pedro Quaresma (University of Coimbra, Portugal), Vanda Santos (University of Coimbra","submitted_at":"2018-03-05T02:47:23Z","abstract_excerpt":"The Web Geometry Laboratory (WGL) is a collaborative and adaptive e-learning Web platform integrating a well known dynamic geometry system. Thousands of Geometric problems for Geometric Theorem Provers (TGTP) is a Web-based repository of geometric problems to support the testing and evaluation of geometric automated theorem proving systems.\n  The users of these systems should be able to profit from each other. The TGTP corpus must be made available to the WGL user, allowing, in this way, the exploration of TGTP problems and their proofs. On the other direction TGTP could gain by the possibilit"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1803.01471","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-18T00:22:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"44PrlvYED4W1AdHifroxVG04MLbKpKbw/vLUGcKbvpJkm1CoK5eWQqNZADuhg7Du0GMxz6oqh0e1JxO7vX8kDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T11:03:28.413516Z"},"content_sha256":"c93b17aec8380680d16a7ac0efca50aba4af05780028c04eda990de1c5340d89","schema_version":"1.0","event_id":"sha256:c93b17aec8380680d16a7ac0efca50aba4af05780028c04eda990de1c5340d89"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/TJNPST7GF2PGMECR5HD7CAXMTL/bundle.json","state_url":"https://pith.science/pith/TJNPST7GF2PGMECR5HD7CAXMTL/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/TJNPST7GF2PGMECR5HD7CAXMTL/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-07T11:03:28Z","links":{"resolver":"https://pith.science/pith/TJNPST7GF2PGMECR5HD7CAXMTL","bundle":"https://pith.science/pith/TJNPST7GF2PGMECR5HD7CAXMTL/bundle.json","state":"https://pith.science/pith/TJNPST7GF2PGMECR5HD7CAXMTL/state.json","well_known_bundle":"https://pith.science/.well-known/pith/TJNPST7GF2PGMECR5HD7CAXMTL/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:TJNPST7GF2PGMECR5HD7CAXMTL","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":"c6241c1be0062a2aa7b6e076870311f3aef0b432c96b8c8e8652581e7ec3282a","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CY","submitted_at":"2018-03-05T02:47:23Z","title_canon_sha256":"b08b9efe2ae405a17f96e22064b108682464a844a8db3530ebe8b468ee325f31"},"schema_version":"1.0","source":{"id":"1803.01471","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1803.01471","created_at":"2026-05-18T00:22:00Z"},{"alias_kind":"arxiv_version","alias_value":"1803.01471v1","created_at":"2026-05-18T00:22:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1803.01471","created_at":"2026-05-18T00:22:00Z"},{"alias_kind":"pith_short_12","alias_value":"TJNPST7GF2PG","created_at":"2026-05-18T12:32:53Z"},{"alias_kind":"pith_short_16","alias_value":"TJNPST7GF2PGMECR","created_at":"2026-05-18T12:32:53Z"},{"alias_kind":"pith_short_8","alias_value":"TJNPST7G","created_at":"2026-05-18T12:32:53Z"}],"graph_snapshots":[{"event_id":"sha256:c93b17aec8380680d16a7ac0efca50aba4af05780028c04eda990de1c5340d89","target":"graph","created_at":"2026-05-18T00:22:00Z","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":"The Web Geometry Laboratory (WGL) is a collaborative and adaptive e-learning Web platform integrating a well known dynamic geometry system. Thousands of Geometric problems for Geometric Theorem Provers (TGTP) is a Web-based repository of geometric problems to support the testing and evaluation of geometric automated theorem proving systems.\n  The users of these systems should be able to profit from each other. The TGTP corpus must be made available to the WGL user, allowing, in this way, the exploration of TGTP problems and their proofs. On the other direction TGTP could gain by the possibilit","authors_text":"Nuno Baeta (University of Coimbra, Pedro Quaresma (University of Coimbra, Portugal), Vanda Santos (University of Coimbra","cross_cats":["cs.SE"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CY","submitted_at":"2018-03-05T02:47:23Z","title":"Exchange of Geometric Information Between Applications"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1803.01471","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:1e3c477857eed5ba956fca2e53e366f7958c18fb7ce8e03c1b4a06cc49ca984d","target":"record","created_at":"2026-05-18T00:22:00Z","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":"c6241c1be0062a2aa7b6e076870311f3aef0b432c96b8c8e8652581e7ec3282a","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CY","submitted_at":"2018-03-05T02:47:23Z","title_canon_sha256":"b08b9efe2ae405a17f96e22064b108682464a844a8db3530ebe8b468ee325f31"},"schema_version":"1.0","source":{"id":"1803.01471","kind":"arxiv","version":1}},"canonical_sha256":"9a5af94fe62e9e661051e9c7f102ec9ad2c41bff279ee266bf505af61bbaa4f1","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9a5af94fe62e9e661051e9c7f102ec9ad2c41bff279ee266bf505af61bbaa4f1","first_computed_at":"2026-05-18T00:22:00.576856Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:22:00.576856Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"0900Vki5evn/OT+rCn4hDkF/zAr8fRchdDfsU50dcJzNnvRc7tXi7lm5/Q2+A/A4PtwOSpnMj+l68hfi+qf0Aw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:22:00.577335Z","signed_message":"canonical_sha256_bytes"},"source_id":"1803.01471","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1e3c477857eed5ba956fca2e53e366f7958c18fb7ce8e03c1b4a06cc49ca984d","sha256:c93b17aec8380680d16a7ac0efca50aba4af05780028c04eda990de1c5340d89"],"state_sha256":"e09c66a1b593c2132caa62c5bfdb784430775f8dea7d8ebe3ab7cbfac928c530"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"tRCIL0g16lOZwx9aPPA5HXKAGuYanbTdyBUBtDl/dadFUuDWutPt7Om+Ex6WlUHUwTxmncZWLyCFRF5DEzzzBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-07T11:03:28.415548Z","bundle_sha256":"228aa894b5e00255b81415a4eaef92174ec54d0fa70060a1b3a4a7559eed5e23"}}