Proof-Carrying Numerics: Evidence Chain (Reproducible Release)

2026 Dataset

View at publisher
Authors: Seer Kai, Cn
DOI: 10.13140/rg.2.2.27556.13449
Cited by: 0

Fields of Study & Subjects

Logic programming and type systems Formal Methods in Verification Numerical Methods and Algorithms

Publication details

Publication date
1 January 2026
Language
EN
Document type
Dataset