{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2021:KYJYYVXN4FSFJYC5JSNPAUXZHW","short_pith_number":"pith:KYJYYVXN","schema_version":"1.0","canonical_sha256":"56138c56ede16454e05d4c9af052f93db028b8108a0fd9239317dde051b23908","source":{"kind":"arxiv","id":"2112.14770","version":1},"attestation_state":"computed","paper":{"title":"Proceedings of the 13th International Conference on Automated Deduction in Geometry","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.LO","cs.MS","cs.SC"],"primary_cat":"cs.AI","authors_text":"Predrag Jani\\v{c}i\\'c, Zolt\\'an Kov\\'acs","submitted_at":"2021-12-28T21:56:13Z","abstract_excerpt":"Automated Deduction in Geometry (ADG) is a forum to exchange ideas and views, to present research results and progress, and to demonstrate software tools at the intersection between geometry and automated deduction. Relevant topics include (but are not limited to): polynomial algebra, invariant and coordinate-free methods; probabilistic, synthetic, and logic approaches, techniques  for automated geometric reasoning from discrete mathematics, combinatorics, and numerics; interactive theorem proving in geometry; symbolic and numeric methods for geometric computation, geometric constraint solving"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2112.14770","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2021-12-28T21:56:13Z","cross_cats_sorted":["cs.LO","cs.MS","cs.SC"],"title_canon_sha256":"25dd181ccd98ac01c80e76e2679fb2e61d5623180e5be7bb248ad4e803223b81","abstract_canon_sha256":"bda58f29eeaa81d064c915666600a9a28f6eb4bd83199228856f345f96eea8b0"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T03:44:33.464781Z","signature_b64":"eo5ld9rehghkkEwFe0AaKyVd/FvXO+25h197rzSN6qCEPOziKswSDW7bjlq4WrF/WoC02iFxXVCW5fK5ji8lDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"56138c56ede16454e05d4c9af052f93db028b8108a0fd9239317dde051b23908","last_reissued_at":"2026-07-05T03:44:33.464395Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T03:44:33.464395Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Proceedings of the 13th International Conference on Automated Deduction in Geometry","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.LO","cs.MS","cs.SC"],"primary_cat":"cs.AI","authors_text":"Predrag Jani\\v{c}i\\'c, Zolt\\'an Kov\\'acs","submitted_at":"2021-12-28T21:56:13Z","abstract_excerpt":"Automated Deduction in Geometry (ADG) is a forum to exchange ideas and views, to present research results and progress, and to demonstrate software tools at the intersection between geometry and automated deduction. Relevant topics include (but are not limited to): polynomial algebra, invariant and coordinate-free methods; probabilistic, synthetic, and logic approaches, techniques  for automated geometric reasoning from discrete mathematics, combinatorics, and numerics; interactive theorem proving in geometry; symbolic and numeric methods for geometric computation, geometric constraint solving"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2112.14770","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2112.14770/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2112.14770","created_at":"2026-07-05T03:44:33.464451+00:00"},{"alias_kind":"arxiv_version","alias_value":"2112.14770v1","created_at":"2026-07-05T03:44:33.464451+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2112.14770","created_at":"2026-07-05T03:44:33.464451+00:00"},{"alias_kind":"pith_short_12","alias_value":"KYJYYVXN4FSF","created_at":"2026-07-05T03:44:33.464451+00:00"},{"alias_kind":"pith_short_16","alias_value":"KYJYYVXN4FSFJYC5","created_at":"2026-07-05T03:44:33.464451+00:00"},{"alias_kind":"pith_short_8","alias_value":"KYJYYVXN","created_at":"2026-07-05T03:44:33.464451+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/KYJYYVXN4FSFJYC5JSNPAUXZHW","json":"https://pith.science/pith/KYJYYVXN4FSFJYC5JSNPAUXZHW.json","graph_json":"https://pith.science/api/pith-number/KYJYYVXN4FSFJYC5JSNPAUXZHW/graph.json","events_json":"https://pith.science/api/pith-number/KYJYYVXN4FSFJYC5JSNPAUXZHW/events.json","paper":"https://pith.science/paper/KYJYYVXN"},"agent_actions":{"view_html":"https://pith.science/pith/KYJYYVXN4FSFJYC5JSNPAUXZHW","download_json":"https://pith.science/pith/KYJYYVXN4FSFJYC5JSNPAUXZHW.json","view_paper":"https://pith.science/paper/KYJYYVXN","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2112.14770&json=true","fetch_graph":"https://pith.science/api/pith-number/KYJYYVXN4FSFJYC5JSNPAUXZHW/graph.json","fetch_events":"https://pith.science/api/pith-number/KYJYYVXN4FSFJYC5JSNPAUXZHW/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/KYJYYVXN4FSFJYC5JSNPAUXZHW/action/timestamp_anchor","attest_storage":"https://pith.science/pith/KYJYYVXN4FSFJYC5JSNPAUXZHW/action/storage_attestation","attest_author":"https://pith.science/pith/KYJYYVXN4FSFJYC5JSNPAUXZHW/action/author_attestation","sign_citation":"https://pith.science/pith/KYJYYVXN4FSFJYC5JSNPAUXZHW/action/citation_signature","submit_replication":"https://pith.science/pith/KYJYYVXN4FSFJYC5JSNPAUXZHW/action/replication_record"}},"created_at":"2026-07-05T03:44:33.464451+00:00","updated_at":"2026-07-05T03:44:33.464451+00:00"}