{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2022:OKQ66K236ZQM5JN45V2PXIKTWU","short_pith_number":"pith:OKQ66K23","canonical_record":{"source":{"id":"2201.00545","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2022-01-03T09:28:42Z","cross_cats_sorted":["cs.MS"],"title_canon_sha256":"d025e32eab042fcb0575677a0886203dba62b9a4288cc57c561625177332f508","abstract_canon_sha256":"54762da07cd46ae45fc7ab4e5efc2edb3737df3093f1e03c6494027bf1323e4e"},"schema_version":"1.0"},"canonical_sha256":"72a1ef2b5bf660cea5bced74fba153b53ec416ea1e880b431c0c1a0aa8e3267b","source":{"kind":"arxiv","id":"2201.00545","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2201.00545","created_at":"2026-07-05T03:45:03Z"},{"alias_kind":"arxiv_version","alias_value":"2201.00545v1","created_at":"2026-07-05T03:45:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2201.00545","created_at":"2026-07-05T03:45:03Z"},{"alias_kind":"pith_short_12","alias_value":"OKQ66K236ZQM","created_at":"2026-07-05T03:45:03Z"},{"alias_kind":"pith_short_16","alias_value":"OKQ66K236ZQM5JN4","created_at":"2026-07-05T03:45:03Z"},{"alias_kind":"pith_short_8","alias_value":"OKQ66K23","created_at":"2026-07-05T03:45:03Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2022:OKQ66K236ZQM5JN45V2PXIKTWU","target":"record","payload":{"canonical_record":{"source":{"id":"2201.00545","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2022-01-03T09:28:42Z","cross_cats_sorted":["cs.MS"],"title_canon_sha256":"d025e32eab042fcb0575677a0886203dba62b9a4288cc57c561625177332f508","abstract_canon_sha256":"54762da07cd46ae45fc7ab4e5efc2edb3737df3093f1e03c6494027bf1323e4e"},"schema_version":"1.0"},"canonical_sha256":"72a1ef2b5bf660cea5bced74fba153b53ec416ea1e880b431c0c1a0aa8e3267b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T03:45:03.837283Z","signature_b64":"oxl1LXyeGBT+I8w3T/NrH1vchIU3cZz+GKztFeXMuClDNGsAf2W4s4eH9I3cHudVqZIDzYk5f+1PYjH9Ty16Cw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"72a1ef2b5bf660cea5bced74fba153b53ec416ea1e880b431c0c1a0aa8e3267b","last_reissued_at":"2026-07-05T03:45:03.836743Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T03:45:03.836743Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2201.00545","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-07-05T03:45:03Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"aj7wR172lC7KKzXDEeyudEaHAAxT2ubM+ks9/0VCZceJ7133q6z/6PW/cy5wX4kcR8KnhuQ5kocUyMo1zDRMDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-14T02:30:11.902293Z"},"content_sha256":"12954856a39a24eecc0b5904986c88f0198a4ec5b4cafd891fb9d0ffe8a425a0","schema_version":"1.0","event_id":"sha256:12954856a39a24eecc0b5904986c88f0198a4ec5b4cafd891fb9d0ffe8a425a0"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2022:OKQ66K236ZQM5JN45V2PXIKTWU","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Parametric Root Finding for Supporting Proving and Discovering Geometric Inequalities in GeoGebra","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.MS"],"primary_cat":"math.AG","authors_text":"Austria), Hungary), Linz, R\\'obert Vajda (Bolyai Institute, Szeged, University of Szeged, Zolt\\'an Kov\\'acs (The Private University College of Education of the Diocese of Linz","submitted_at":"2022-01-03T09:28:42Z","abstract_excerpt":"We introduced the package/subsystem GeoGebra Discovery to GeoGebra which supports the automated proving or discovering of elementary geometry inequalities. In this case study, for inequality exploration problems related to isosceles and right angle triangle subclasses, we demonstrate how our general real quantifier elimination (RQE) approach could be replaced by a parametric root finding (PRF) algorithm. The general RQE requires the full cell decomposition of a high dimensional space, while the new method can avoid this expensive computation and can lead to practical speedups. To obtain a solu"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2201.00545","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/2201.00545/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-05T03:45:03Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hOcl2lALF1TnmrtVG3cA/uyjLNwzOHQsKV23KC118o5mGrH6ObJCQbnp3m8gNXoPn4PNaQ+EieCBLhF+gTEsBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-14T02:30:11.903197Z"},"content_sha256":"aa802a4eeca5c93c3f7be3346a6e86dba3fdbf1f32c4da65eca0192604ae03aa","schema_version":"1.0","event_id":"sha256:aa802a4eeca5c93c3f7be3346a6e86dba3fdbf1f32c4da65eca0192604ae03aa"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/OKQ66K236ZQM5JN45V2PXIKTWU/bundle.json","state_url":"https://pith.science/pith/OKQ66K236ZQM5JN45V2PXIKTWU/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/OKQ66K236ZQM5JN45V2PXIKTWU/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-14T02:30:11Z","links":{"resolver":"https://pith.science/pith/OKQ66K236ZQM5JN45V2PXIKTWU","bundle":"https://pith.science/pith/OKQ66K236ZQM5JN45V2PXIKTWU/bundle.json","state":"https://pith.science/pith/OKQ66K236ZQM5JN45V2PXIKTWU/state.json","well_known_bundle":"https://pith.science/.well-known/pith/OKQ66K236ZQM5JN45V2PXIKTWU/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:OKQ66K236ZQM5JN45V2PXIKTWU","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":"54762da07cd46ae45fc7ab4e5efc2edb3737df3093f1e03c6494027bf1323e4e","cross_cats_sorted":["cs.MS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2022-01-03T09:28:42Z","title_canon_sha256":"d025e32eab042fcb0575677a0886203dba62b9a4288cc57c561625177332f508"},"schema_version":"1.0","source":{"id":"2201.00545","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2201.00545","created_at":"2026-07-05T03:45:03Z"},{"alias_kind":"arxiv_version","alias_value":"2201.00545v1","created_at":"2026-07-05T03:45:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2201.00545","created_at":"2026-07-05T03:45:03Z"},{"alias_kind":"pith_short_12","alias_value":"OKQ66K236ZQM","created_at":"2026-07-05T03:45:03Z"},{"alias_kind":"pith_short_16","alias_value":"OKQ66K236ZQM5JN4","created_at":"2026-07-05T03:45:03Z"},{"alias_kind":"pith_short_8","alias_value":"OKQ66K23","created_at":"2026-07-05T03:45:03Z"}],"graph_snapshots":[{"event_id":"sha256:aa802a4eeca5c93c3f7be3346a6e86dba3fdbf1f32c4da65eca0192604ae03aa","target":"graph","created_at":"2026-07-05T03:45:03Z","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/2201.00545/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We introduced the package/subsystem GeoGebra Discovery to GeoGebra which supports the automated proving or discovering of elementary geometry inequalities. In this case study, for inequality exploration problems related to isosceles and right angle triangle subclasses, we demonstrate how our general real quantifier elimination (RQE) approach could be replaced by a parametric root finding (PRF) algorithm. The general RQE requires the full cell decomposition of a high dimensional space, while the new method can avoid this expensive computation and can lead to practical speedups. To obtain a solu","authors_text":"Austria), Hungary), Linz, R\\'obert Vajda (Bolyai Institute, Szeged, University of Szeged, Zolt\\'an Kov\\'acs (The Private University College of Education of the Diocese of Linz","cross_cats":["cs.MS"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2022-01-03T09:28:42Z","title":"Parametric Root Finding for Supporting Proving and Discovering Geometric Inequalities in GeoGebra"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2201.00545","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:12954856a39a24eecc0b5904986c88f0198a4ec5b4cafd891fb9d0ffe8a425a0","target":"record","created_at":"2026-07-05T03:45:03Z","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":"54762da07cd46ae45fc7ab4e5efc2edb3737df3093f1e03c6494027bf1323e4e","cross_cats_sorted":["cs.MS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2022-01-03T09:28:42Z","title_canon_sha256":"d025e32eab042fcb0575677a0886203dba62b9a4288cc57c561625177332f508"},"schema_version":"1.0","source":{"id":"2201.00545","kind":"arxiv","version":1}},"canonical_sha256":"72a1ef2b5bf660cea5bced74fba153b53ec416ea1e880b431c0c1a0aa8e3267b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"72a1ef2b5bf660cea5bced74fba153b53ec416ea1e880b431c0c1a0aa8e3267b","first_computed_at":"2026-07-05T03:45:03.836743Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T03:45:03.836743Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"oxl1LXyeGBT+I8w3T/NrH1vchIU3cZz+GKztFeXMuClDNGsAf2W4s4eH9I3cHudVqZIDzYk5f+1PYjH9Ty16Cw==","signature_status":"signed_v1","signed_at":"2026-07-05T03:45:03.837283Z","signed_message":"canonical_sha256_bytes"},"source_id":"2201.00545","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:12954856a39a24eecc0b5904986c88f0198a4ec5b4cafd891fb9d0ffe8a425a0","sha256:aa802a4eeca5c93c3f7be3346a6e86dba3fdbf1f32c4da65eca0192604ae03aa"],"state_sha256":"2709b334599737ba8a21496c2ab6f23001e8d1b0cd2e7677801b85be8f7daef9"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+oBPRwAajoaj7YQ/uuo/scdBC9jimHiDYW1hvlciWLwNrjnCgK6cdEhK1xz2aaj5az2EJvXBS/XBSCH8CWpbBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-14T02:30:11.915184Z","bundle_sha256":"feb4837add68e1f5f9e521ed5d5c472cff13d901cd37e9bc63c30679246189ea"}}