{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:2FXSIB5HONO34T7L4T6DJ2C6R7","short_pith_number":"pith:2FXSIB5H","schema_version":"1.0","canonical_sha256":"d16f2407a7735dbe4febe4fc34e85e8fc02a89c8e7020f0ded83113469fb6de3","source":{"kind":"arxiv","id":"1802.02374","version":2},"attestation_state":"computed","paper":{"title":"Experience Report: Formal Methods in Material Science","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Bernhard Beckert, Britta Nestler, Mattias Ulbrich, Michael Selzer, Moritz Kiefer","submitted_at":"2018-02-07T10:20:00Z","abstract_excerpt":"Increased demands in the field of scientific computation require that algorithms be more efficiently implemented. Maintaining correctness in addition to efficiency is a challenge that software engineers in the field have to face.\n  In this report we share our first impressions and experiences on the applicability of formal methods to such design challenges arising in the development of scientific computation software in the field of material science. We investigated two different algorithms, one for load distribution and one for the computation of convex hulls, and demonstrate how formal metho"},"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":"1802.02374","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-02-07T10:20:00Z","cross_cats_sorted":[],"title_canon_sha256":"8f220e5918123f06bde4e7ff5ef846149a982734a81d61f339e581d12a85ac19","abstract_canon_sha256":"ec028a8d3f28e17ea4aa82f3aa55beaf23a0fdd62b25af0824c8a93cc7d5164e"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:23:22.646446Z","signature_b64":"2Dp3AtQZxd5iU68vIgPJ6E/JWmhPz5w9bACdNjtYAxj5wKfiEg6FGsMxYKhJBkSz1U1kyFwWED6tYB31AalYBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d16f2407a7735dbe4febe4fc34e85e8fc02a89c8e7020f0ded83113469fb6de3","last_reissued_at":"2026-05-18T00:23:22.645713Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:23:22.645713Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Experience Report: Formal Methods in Material Science","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Bernhard Beckert, Britta Nestler, Mattias Ulbrich, Michael Selzer, Moritz Kiefer","submitted_at":"2018-02-07T10:20:00Z","abstract_excerpt":"Increased demands in the field of scientific computation require that algorithms be more efficiently implemented. Maintaining correctness in addition to efficiency is a challenge that software engineers in the field have to face.\n  In this report we share our first impressions and experiences on the applicability of formal methods to such design challenges arising in the development of scientific computation software in the field of material science. We investigated two different algorithms, one for load distribution and one for the computation of convex hulls, and demonstrate how formal metho"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1802.02374","kind":"arxiv","version":2},"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":"1802.02374","created_at":"2026-05-18T00:23:22.645823+00:00"},{"alias_kind":"arxiv_version","alias_value":"1802.02374v2","created_at":"2026-05-18T00:23:22.645823+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1802.02374","created_at":"2026-05-18T00:23:22.645823+00:00"},{"alias_kind":"pith_short_12","alias_value":"2FXSIB5HONO3","created_at":"2026-05-18T12:32:02.567920+00:00"},{"alias_kind":"pith_short_16","alias_value":"2FXSIB5HONO34T7L","created_at":"2026-05-18T12:32:02.567920+00:00"},{"alias_kind":"pith_short_8","alias_value":"2FXSIB5H","created_at":"2026-05-18T12:32:02.567920+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/2FXSIB5HONO34T7L4T6DJ2C6R7","json":"https://pith.science/pith/2FXSIB5HONO34T7L4T6DJ2C6R7.json","graph_json":"https://pith.science/api/pith-number/2FXSIB5HONO34T7L4T6DJ2C6R7/graph.json","events_json":"https://pith.science/api/pith-number/2FXSIB5HONO34T7L4T6DJ2C6R7/events.json","paper":"https://pith.science/paper/2FXSIB5H"},"agent_actions":{"view_html":"https://pith.science/pith/2FXSIB5HONO34T7L4T6DJ2C6R7","download_json":"https://pith.science/pith/2FXSIB5HONO34T7L4T6DJ2C6R7.json","view_paper":"https://pith.science/paper/2FXSIB5H","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1802.02374&json=true","fetch_graph":"https://pith.science/api/pith-number/2FXSIB5HONO34T7L4T6DJ2C6R7/graph.json","fetch_events":"https://pith.science/api/pith-number/2FXSIB5HONO34T7L4T6DJ2C6R7/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/2FXSIB5HONO34T7L4T6DJ2C6R7/action/timestamp_anchor","attest_storage":"https://pith.science/pith/2FXSIB5HONO34T7L4T6DJ2C6R7/action/storage_attestation","attest_author":"https://pith.science/pith/2FXSIB5HONO34T7L4T6DJ2C6R7/action/author_attestation","sign_citation":"https://pith.science/pith/2FXSIB5HONO34T7L4T6DJ2C6R7/action/citation_signature","submit_replication":"https://pith.science/pith/2FXSIB5HONO34T7L4T6DJ2C6R7/action/replication_record"}},"created_at":"2026-05-18T00:23:22.645823+00:00","updated_at":"2026-05-18T00:23:22.645823+00:00"}