{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:MICY6WTTDIIRTFSD6TQZGHTFDY","short_pith_number":"pith:MICY6WTT","schema_version":"1.0","canonical_sha256":"62058f5a731a11199643f4e1931e651e041e555c0995b53d9b0f1f0d8e37311e","source":{"kind":"arxiv","id":"1806.08648","version":1},"attestation_state":"computed","paper":{"title":"Francy - An Interactive Discrete Mathematics Framework for GAP","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["stat.ML"],"primary_cat":"cs.HC","authors_text":"Manuel Machado Martins, Markus Pfeiffer","submitted_at":"2018-06-19T11:58:37Z","abstract_excerpt":"Data visualization and interaction with large data sets is known to be essential and critical in many businesses today, and the same applies to research and teaching, in this case, when exploring large and complex mathematical objects. GAP is a computer algebra system for computational discrete algebra with an emphasis on computational group theory. The existing XGAP package for GAP works exclusively on the X Window System. It lacks abstraction between its mathematical and graphical cores, making it difficult to extend, maintain, or port. In this paper, we present Francy, a graphical semantics"},"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":"1806.08648","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.HC","submitted_at":"2018-06-19T11:58:37Z","cross_cats_sorted":["stat.ML"],"title_canon_sha256":"57d24a438c3ad66525ac6a16359928b99302e0ddd15173ca6fa349a64c522715","abstract_canon_sha256":"ddf4c10b9006c429256b2169206e5a3804da83aa53464afbb7a16c68bcb24f43"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:12:36.567286Z","signature_b64":"o43pN3qfd44L5OuMmyX6Og5w7FYamWbASDx/wDNRcOZlAcduH/ZGFPE3TXbFQGWCFYBRrkOMrkDwzstWOMS+Cg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"62058f5a731a11199643f4e1931e651e041e555c0995b53d9b0f1f0d8e37311e","last_reissued_at":"2026-05-18T00:12:36.566534Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:12:36.566534Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Francy - An Interactive Discrete Mathematics Framework for GAP","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["stat.ML"],"primary_cat":"cs.HC","authors_text":"Manuel Machado Martins, Markus Pfeiffer","submitted_at":"2018-06-19T11:58:37Z","abstract_excerpt":"Data visualization and interaction with large data sets is known to be essential and critical in many businesses today, and the same applies to research and teaching, in this case, when exploring large and complex mathematical objects. GAP is a computer algebra system for computational discrete algebra with an emphasis on computational group theory. The existing XGAP package for GAP works exclusively on the X Window System. It lacks abstraction between its mathematical and graphical cores, making it difficult to extend, maintain, or port. In this paper, we present Francy, a graphical semantics"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1806.08648","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1806.08648","created_at":"2026-05-18T00:12:36.566651+00:00"},{"alias_kind":"arxiv_version","alias_value":"1806.08648v1","created_at":"2026-05-18T00:12:36.566651+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1806.08648","created_at":"2026-05-18T00:12:36.566651+00:00"},{"alias_kind":"pith_short_12","alias_value":"MICY6WTTDIIR","created_at":"2026-05-18T12:32:37.024351+00:00"},{"alias_kind":"pith_short_16","alias_value":"MICY6WTTDIIRTFSD","created_at":"2026-05-18T12:32:37.024351+00:00"},{"alias_kind":"pith_short_8","alias_value":"MICY6WTT","created_at":"2026-05-18T12:32:37.024351+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/MICY6WTTDIIRTFSD6TQZGHTFDY","json":"https://pith.science/pith/MICY6WTTDIIRTFSD6TQZGHTFDY.json","graph_json":"https://pith.science/api/pith-number/MICY6WTTDIIRTFSD6TQZGHTFDY/graph.json","events_json":"https://pith.science/api/pith-number/MICY6WTTDIIRTFSD6TQZGHTFDY/events.json","paper":"https://pith.science/paper/MICY6WTT"},"agent_actions":{"view_html":"https://pith.science/pith/MICY6WTTDIIRTFSD6TQZGHTFDY","download_json":"https://pith.science/pith/MICY6WTTDIIRTFSD6TQZGHTFDY.json","view_paper":"https://pith.science/paper/MICY6WTT","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1806.08648&json=true","fetch_graph":"https://pith.science/api/pith-number/MICY6WTTDIIRTFSD6TQZGHTFDY/graph.json","fetch_events":"https://pith.science/api/pith-number/MICY6WTTDIIRTFSD6TQZGHTFDY/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/MICY6WTTDIIRTFSD6TQZGHTFDY/action/timestamp_anchor","attest_storage":"https://pith.science/pith/MICY6WTTDIIRTFSD6TQZGHTFDY/action/storage_attestation","attest_author":"https://pith.science/pith/MICY6WTTDIIRTFSD6TQZGHTFDY/action/author_attestation","sign_citation":"https://pith.science/pith/MICY6WTTDIIRTFSD6TQZGHTFDY/action/citation_signature","submit_replication":"https://pith.science/pith/MICY6WTTDIIRTFSD6TQZGHTFDY/action/replication_record"}},"created_at":"2026-05-18T00:12:36.566651+00:00","updated_at":"2026-05-18T00:12:36.566651+00:00"}