Pierre Weis

From MaRDI portal
Person:352951

Available identifiers

zbMath Open weis.pierreMaRDI QIDQ352951

List of research outcomes





PublicationDate of PublicationType
Trusting computations: a mechanized proof from partial differential equations to actual program2017-08-21Paper
Wave equation numerical resolution: a comprehensive mechanized proof of a C program2013-07-05Paper
Formal proof of a wave equation resolution scheme: the method error2010-09-14Paper
On the Implementation of Construction Functions for Non-free Concrete Data Types2007-09-04Paper

Research outcomes over time

This page was built for person: Pierre Weis

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:352951&oldid=6731895"
Powered by MediaWiki