{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2012:PYXFOLGSX4CRHWWSQV3GTGWN5S","short_pith_number":"pith:PYXFOLGS","schema_version":"1.0","canonical_sha256":"7e2e572cd2bf0513dad28576699acdecbf2649c16f406449fe315a2234a00f85","source":{"kind":"arxiv","id":"1205.2980","version":1},"attestation_state":"computed","paper":{"title":"Optimizing the Evaluation of Finite Element Matrices","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.NA","authors_text":"Anders Logg, L. Ridgway Scott, Matthew Knepley, Robert C. Kirby","submitted_at":"2012-05-14T10:41:29Z","abstract_excerpt":"Assembling stiffness matrices represents a significant cost in many finite element computations. We address the question of optimizing the evaluation of these matrices. By finding redundant computations, we are able to significantly reduce the cost of building local stiffness matrices for the Laplace operator and for the trilinear form for Navier-Stokes. For the Laplace operator in two space dimensions, we have developed a heuristic graph algorithm that searches for such redundancies and generates code for computing the local stiffness matrices. Up to cubics, we are able to build the stiffness"},"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":"1205.2980","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NA","submitted_at":"2012-05-14T10:41:29Z","cross_cats_sorted":[],"title_canon_sha256":"a989e83537bb5ab4d50be9ca4e7dea3633cbdaeb924a5eb0a9c9345dea7713fc","abstract_canon_sha256":"f1157b6fc9762b65fe3382bdf3d7f11b17eb1bf063138626dc42311c389694d8"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:55:45.567491Z","signature_b64":"TcOKrqUtouPyWEIZDrvLw9Md95Yq/cBqJ/HisShRInxMsTbaLquPJKBnYXVIkQL4TWOTvA3IOP6lQ2VBqsoxBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7e2e572cd2bf0513dad28576699acdecbf2649c16f406449fe315a2234a00f85","last_reissued_at":"2026-05-18T03:55:45.567006Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:55:45.567006Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Optimizing the Evaluation of Finite Element Matrices","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.NA","authors_text":"Anders Logg, L. Ridgway Scott, Matthew Knepley, Robert C. Kirby","submitted_at":"2012-05-14T10:41:29Z","abstract_excerpt":"Assembling stiffness matrices represents a significant cost in many finite element computations. We address the question of optimizing the evaluation of these matrices. By finding redundant computations, we are able to significantly reduce the cost of building local stiffness matrices for the Laplace operator and for the trilinear form for Navier-Stokes. For the Laplace operator in two space dimensions, we have developed a heuristic graph algorithm that searches for such redundancies and generates code for computing the local stiffness matrices. Up to cubics, we are able to build the stiffness"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1205.2980","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":"1205.2980","created_at":"2026-05-18T03:55:45.567077+00:00"},{"alias_kind":"arxiv_version","alias_value":"1205.2980v1","created_at":"2026-05-18T03:55:45.567077+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1205.2980","created_at":"2026-05-18T03:55:45.567077+00:00"},{"alias_kind":"pith_short_12","alias_value":"PYXFOLGSX4CR","created_at":"2026-05-18T12:27:18.751474+00:00"},{"alias_kind":"pith_short_16","alias_value":"PYXFOLGSX4CRHWWS","created_at":"2026-05-18T12:27:18.751474+00:00"},{"alias_kind":"pith_short_8","alias_value":"PYXFOLGS","created_at":"2026-05-18T12:27:18.751474+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/PYXFOLGSX4CRHWWSQV3GTGWN5S","json":"https://pith.science/pith/PYXFOLGSX4CRHWWSQV3GTGWN5S.json","graph_json":"https://pith.science/api/pith-number/PYXFOLGSX4CRHWWSQV3GTGWN5S/graph.json","events_json":"https://pith.science/api/pith-number/PYXFOLGSX4CRHWWSQV3GTGWN5S/events.json","paper":"https://pith.science/paper/PYXFOLGS"},"agent_actions":{"view_html":"https://pith.science/pith/PYXFOLGSX4CRHWWSQV3GTGWN5S","download_json":"https://pith.science/pith/PYXFOLGSX4CRHWWSQV3GTGWN5S.json","view_paper":"https://pith.science/paper/PYXFOLGS","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1205.2980&json=true","fetch_graph":"https://pith.science/api/pith-number/PYXFOLGSX4CRHWWSQV3GTGWN5S/graph.json","fetch_events":"https://pith.science/api/pith-number/PYXFOLGSX4CRHWWSQV3GTGWN5S/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/PYXFOLGSX4CRHWWSQV3GTGWN5S/action/timestamp_anchor","attest_storage":"https://pith.science/pith/PYXFOLGSX4CRHWWSQV3GTGWN5S/action/storage_attestation","attest_author":"https://pith.science/pith/PYXFOLGSX4CRHWWSQV3GTGWN5S/action/author_attestation","sign_citation":"https://pith.science/pith/PYXFOLGSX4CRHWWSQV3GTGWN5S/action/citation_signature","submit_replication":"https://pith.science/pith/PYXFOLGSX4CRHWWSQV3GTGWN5S/action/replication_record"}},"created_at":"2026-05-18T03:55:45.567077+00:00","updated_at":"2026-05-18T03:55:45.567077+00:00"}