{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:65XTRBKPRBGNDEV47HKFVNHK6Q","short_pith_number":"pith:65XTRBKP","schema_version":"1.0","canonical_sha256":"f76f38854f884cd192bcf9d45ab4eaf40e546333b32184c2ae0cfa7ab9d54e6c","source":{"kind":"arxiv","id":"1707.03540","version":1},"attestation_state":"computed","paper":{"title":"VMEXT: A Visualization Tool for Mathematical Expression Trees","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DL"],"primary_cat":"cs.HC","authors_text":"Bela Gipp, Howard S. Cohl, Moritz Schubotz, Norman Meuschke, Thomas Hepp","submitted_at":"2017-07-12T04:57:45Z","abstract_excerpt":"Mathematical expressions can be represented as a tree consisting of terminal symbols, such as identifiers or numbers (leaf nodes), and functions or operators (non-leaf nodes). Expression trees are an important mechanism for storing and processing mathematical expressions as well as the most frequently used visualization of the structure of mathematical expressions. Typically, researchers and practitioners manually visualize expression trees using general-purpose tools. This approach is laborious, redundant, and error-prone. Manual visualizations represent a user's notion of what the markup of "},"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":"1707.03540","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.HC","submitted_at":"2017-07-12T04:57:45Z","cross_cats_sorted":["cs.DL"],"title_canon_sha256":"a8c91b12a357ef0de60ea54270ee7a416b59ae0512e2d0a134dc56a05f07cac2","abstract_canon_sha256":"b0f81dde85cc2ea5ce99929a17609281927f1ac428b618e8a7b1eebcec2a39fe"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:18:36.179323Z","signature_b64":"uk3Pyp4k4LnIKM+wQceKZbf4SVYWDSEGN6Zd+qRQskxR9nX0DzIvobGlrQYXg3E1ndOFkbDWym1UlnxrYTAqAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f76f38854f884cd192bcf9d45ab4eaf40e546333b32184c2ae0cfa7ab9d54e6c","last_reissued_at":"2026-05-18T00:18:36.178787Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:18:36.178787Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"VMEXT: A Visualization Tool for Mathematical Expression Trees","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DL"],"primary_cat":"cs.HC","authors_text":"Bela Gipp, Howard S. Cohl, Moritz Schubotz, Norman Meuschke, Thomas Hepp","submitted_at":"2017-07-12T04:57:45Z","abstract_excerpt":"Mathematical expressions can be represented as a tree consisting of terminal symbols, such as identifiers or numbers (leaf nodes), and functions or operators (non-leaf nodes). Expression trees are an important mechanism for storing and processing mathematical expressions as well as the most frequently used visualization of the structure of mathematical expressions. Typically, researchers and practitioners manually visualize expression trees using general-purpose tools. This approach is laborious, redundant, and error-prone. Manual visualizations represent a user's notion of what the markup of "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1707.03540","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":"1707.03540","created_at":"2026-05-18T00:18:36.178859+00:00"},{"alias_kind":"arxiv_version","alias_value":"1707.03540v1","created_at":"2026-05-18T00:18:36.178859+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1707.03540","created_at":"2026-05-18T00:18:36.178859+00:00"},{"alias_kind":"pith_short_12","alias_value":"65XTRBKPRBGN","created_at":"2026-05-18T12:31:03.183658+00:00"},{"alias_kind":"pith_short_16","alias_value":"65XTRBKPRBGNDEV4","created_at":"2026-05-18T12:31:03.183658+00:00"},{"alias_kind":"pith_short_8","alias_value":"65XTRBKP","created_at":"2026-05-18T12:31:03.183658+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/65XTRBKPRBGNDEV47HKFVNHK6Q","json":"https://pith.science/pith/65XTRBKPRBGNDEV47HKFVNHK6Q.json","graph_json":"https://pith.science/api/pith-number/65XTRBKPRBGNDEV47HKFVNHK6Q/graph.json","events_json":"https://pith.science/api/pith-number/65XTRBKPRBGNDEV47HKFVNHK6Q/events.json","paper":"https://pith.science/paper/65XTRBKP"},"agent_actions":{"view_html":"https://pith.science/pith/65XTRBKPRBGNDEV47HKFVNHK6Q","download_json":"https://pith.science/pith/65XTRBKPRBGNDEV47HKFVNHK6Q.json","view_paper":"https://pith.science/paper/65XTRBKP","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1707.03540&json=true","fetch_graph":"https://pith.science/api/pith-number/65XTRBKPRBGNDEV47HKFVNHK6Q/graph.json","fetch_events":"https://pith.science/api/pith-number/65XTRBKPRBGNDEV47HKFVNHK6Q/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/65XTRBKPRBGNDEV47HKFVNHK6Q/action/timestamp_anchor","attest_storage":"https://pith.science/pith/65XTRBKPRBGNDEV47HKFVNHK6Q/action/storage_attestation","attest_author":"https://pith.science/pith/65XTRBKPRBGNDEV47HKFVNHK6Q/action/author_attestation","sign_citation":"https://pith.science/pith/65XTRBKPRBGNDEV47HKFVNHK6Q/action/citation_signature","submit_replication":"https://pith.science/pith/65XTRBKPRBGNDEV47HKFVNHK6Q/action/replication_record"}},"created_at":"2026-05-18T00:18:36.178859+00:00","updated_at":"2026-05-18T00:18:36.178859+00:00"}