{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2007:4H4CZ4VWJCIQCZYYZIYTS7OUNG","short_pith_number":"pith:4H4CZ4VW","schema_version":"1.0","canonical_sha256":"e1f82cf2b64891016718ca31397dd469aa0ffbb74c9eddb0f8513e03e242bfd2","source":{"kind":"arxiv","id":"hep-th/0701238","version":3},"attestation_state":"computed","paper":{"title":"Introducing Cadabra: a symbolic computer algebra system for field theory problems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["gr-qc","hep-ph"],"primary_cat":"hep-th","authors_text":"Kasper Peeters","submitted_at":"2007-01-25T16:28:21Z","abstract_excerpt":"Cadabra is a new computer algebra system designed specifically for the solution of problems encountered in field theory. It has extensive functionality for tensor polynomial simplification taking care of Bianchi and Schouten identities, for fermions and anti-commuting variables, Clifford algebras and Fierz transformations, implicit coordinate dependence, multiple index types and many other field theory related concepts. The input format is a subset of TeX and thus easy to learn. Both a command-line and a graphical interface are available. The present paper is an introduction to the program usi"},"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":"hep-th/0701238","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"hep-th","submitted_at":"2007-01-25T16:28:21Z","cross_cats_sorted":["gr-qc","hep-ph"],"title_canon_sha256":"ac5a1300c0906718fb006043ef8dc62d2b38bc6af553e0cfdf5ec17cf375787b","abstract_canon_sha256":"9d5df35aa61ea79269c5b8a8f05dc3066089f19a08b9df21a79ebdae75722996"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:19:31.366847Z","signature_b64":"jeSOZILmIWYcJ+7iN2P1Gnz+Xabw+UXEuYHbdtdcNU028eS5OoFmU55KK8qEogd91nAkrqyaOiZoQBozxotYAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e1f82cf2b64891016718ca31397dd469aa0ffbb74c9eddb0f8513e03e242bfd2","last_reissued_at":"2026-05-18T00:19:31.366412Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:19:31.366412Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Introducing Cadabra: a symbolic computer algebra system for field theory problems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["gr-qc","hep-ph"],"primary_cat":"hep-th","authors_text":"Kasper Peeters","submitted_at":"2007-01-25T16:28:21Z","abstract_excerpt":"Cadabra is a new computer algebra system designed specifically for the solution of problems encountered in field theory. It has extensive functionality for tensor polynomial simplification taking care of Bianchi and Schouten identities, for fermions and anti-commuting variables, Clifford algebras and Fierz transformations, implicit coordinate dependence, multiple index types and many other field theory related concepts. The input format is a subset of TeX and thus easy to learn. Both a command-line and a graphical interface are available. The present paper is an introduction to the program usi"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"hep-th/0701238","kind":"arxiv","version":3},"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":"hep-th/0701238","created_at":"2026-05-18T00:19:31.366486+00:00"},{"alias_kind":"arxiv_version","alias_value":"hep-th/0701238v3","created_at":"2026-05-18T00:19:31.366486+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.hep-th/0701238","created_at":"2026-05-18T00:19:31.366486+00:00"},{"alias_kind":"pith_short_12","alias_value":"4H4CZ4VWJCIQ","created_at":"2026-05-18T12:25:54.717736+00:00"},{"alias_kind":"pith_short_16","alias_value":"4H4CZ4VWJCIQCZYY","created_at":"2026-05-18T12:25:54.717736+00:00"},{"alias_kind":"pith_short_8","alias_value":"4H4CZ4VW","created_at":"2026-05-18T12:25:54.717736+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":3,"internal_anchor_count":3,"sample":[{"citing_arxiv_id":"2510.08201","citing_title":"Spectrum of pure $R^2$ gravity: full Hamiltonian analysis","ref_index":22,"is_internal_anchor":true},{"citing_arxiv_id":"2605.16869","citing_title":"Gauge-invariant cosmological perturbations in Type 3 New General Relativity and background-hierarchy bounds","ref_index":38,"is_internal_anchor":true},{"citing_arxiv_id":"2602.01830","citing_title":"Hyperbolicity analysis of the linearised 3+1 formulation in the Teleparallel Equivalent of General Relativity","ref_index":41,"is_internal_anchor":true}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/4H4CZ4VWJCIQCZYYZIYTS7OUNG","json":"https://pith.science/pith/4H4CZ4VWJCIQCZYYZIYTS7OUNG.json","graph_json":"https://pith.science/api/pith-number/4H4CZ4VWJCIQCZYYZIYTS7OUNG/graph.json","events_json":"https://pith.science/api/pith-number/4H4CZ4VWJCIQCZYYZIYTS7OUNG/events.json","paper":"https://pith.science/paper/4H4CZ4VW"},"agent_actions":{"view_html":"https://pith.science/pith/4H4CZ4VWJCIQCZYYZIYTS7OUNG","download_json":"https://pith.science/pith/4H4CZ4VWJCIQCZYYZIYTS7OUNG.json","view_paper":"https://pith.science/paper/4H4CZ4VW","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=hep-th/0701238&json=true","fetch_graph":"https://pith.science/api/pith-number/4H4CZ4VWJCIQCZYYZIYTS7OUNG/graph.json","fetch_events":"https://pith.science/api/pith-number/4H4CZ4VWJCIQCZYYZIYTS7OUNG/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/4H4CZ4VWJCIQCZYYZIYTS7OUNG/action/timestamp_anchor","attest_storage":"https://pith.science/pith/4H4CZ4VWJCIQCZYYZIYTS7OUNG/action/storage_attestation","attest_author":"https://pith.science/pith/4H4CZ4VWJCIQCZYYZIYTS7OUNG/action/author_attestation","sign_citation":"https://pith.science/pith/4H4CZ4VWJCIQCZYYZIYTS7OUNG/action/citation_signature","submit_replication":"https://pith.science/pith/4H4CZ4VWJCIQCZYYZIYTS7OUNG/action/replication_record"}},"created_at":"2026-05-18T00:19:31.366486+00:00","updated_at":"2026-05-18T00:19:31.366486+00:00"}