{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:Z5F75KUKGUFHUYT5U2A25JDBTS","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":"97e245300dd9af1dd61c1f7ec9eb442efea5b2898e8377582b83358c35c5345d","cross_cats_sorted":["math.HO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CG","submitted_at":"2016-05-30T09:37:28Z","title_canon_sha256":"774bed7c7fa612b7f87b56f112c05f08684f6b8470cbeb18fa41bc0c61495ded"},"schema_version":"1.0","source":{"id":"1605.09153","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1605.09153","created_at":"2026-05-18T01:13:21Z"},{"alias_kind":"arxiv_version","alias_value":"1605.09153v1","created_at":"2026-05-18T01:13:21Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1605.09153","created_at":"2026-05-18T01:13:21Z"},{"alias_kind":"pith_short_12","alias_value":"Z5F75KUKGUFH","created_at":"2026-05-18T12:30:53Z"},{"alias_kind":"pith_short_16","alias_value":"Z5F75KUKGUFHUYT5","created_at":"2026-05-18T12:30:53Z"},{"alias_kind":"pith_short_8","alias_value":"Z5F75KUK","created_at":"2026-05-18T12:30:53Z"}],"graph_snapshots":[{"event_id":"sha256:52e44904b811bfc123fb3b8fafdbe2d4dcb8604029a7ebc3bf9765726e175076","target":"graph","created_at":"2026-05-18T01:13:21Z","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":"GeoGebra is an open source mathematics education software tool being used in thousands of schools worldwide. Since version 4.2 (December 2012) it supports symbolic computation of locus equations as a result of joint effort of mathematicians and programmers helping the GeoGebra developer team. The joint work, based on former researches, started in 2010 and continued until present days, now enables fast locus and envelope computations even in a web browser in full HTML5 mode. Thus, classroom demonstrations and deeper investigations of dynamic analytical geometry are ready to use on tablets or sm","authors_text":"Francisco Botana, Zolt\\'an Kov\\'acs","cross_cats":["math.HO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CG","submitted_at":"2016-05-30T09:37:28Z","title":"New tools in GeoGebra offering novel opportunities to teach loci and envelopes"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1605.09153","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:4ed5d288dfb5239d7f92c1e26061c2e3e112046b37a874dfc554cca44de2cff3","target":"record","created_at":"2026-05-18T01:13:21Z","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":"97e245300dd9af1dd61c1f7ec9eb442efea5b2898e8377582b83358c35c5345d","cross_cats_sorted":["math.HO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CG","submitted_at":"2016-05-30T09:37:28Z","title_canon_sha256":"774bed7c7fa612b7f87b56f112c05f08684f6b8470cbeb18fa41bc0c61495ded"},"schema_version":"1.0","source":{"id":"1605.09153","kind":"arxiv","version":1}},"canonical_sha256":"cf4bfeaa8a350a7a627da681aea4619c8b0f9302680ac780b2591021ca0b959f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"cf4bfeaa8a350a7a627da681aea4619c8b0f9302680ac780b2591021ca0b959f","first_computed_at":"2026-05-18T01:13:21.926845Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:13:21.926845Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"rEvbYZgsTYDV6DYFTik27yX4wqksGkT1vVrrV0H8gFWXWHV1voYCNNhg/P5nht2TazquygxOn2OA74BNNFTyDw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:13:21.927395Z","signed_message":"canonical_sha256_bytes"},"source_id":"1605.09153","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4ed5d288dfb5239d7f92c1e26061c2e3e112046b37a874dfc554cca44de2cff3","sha256:52e44904b811bfc123fb3b8fafdbe2d4dcb8604029a7ebc3bf9765726e175076"],"state_sha256":"9f91200af956e798cd3c13dd08bf01b0bc9dff684a5f7fdb637c633e7bcea8bb"}