Pierre Weis
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Trusting computations: a mechanized proof from partial differential equations to actual program Computers & Mathematics with Applications | 2017-08-21 | Paper |
| Wave equation numerical resolution: a comprehensive mechanized proof of a C program Journal of Automated Reasoning | 2013-07-05 | Paper |
| Formal proof of a wave equation resolution scheme: the method error Interactive Theorem Proving | 2010-09-14 | Paper |
| On the Implementation of Construction Functions for Non-free Concrete Data Types Programming Languages and Systems | 2007-09-04 | Paper |
Research outcomes over time
This page was built for person: Pierre Weis
