David R. Lester

From MaRDI portal
Person:714619

Available identifiers

zbMath Open lester.david-rWikidataQ57163491 ScholiaQ57163491MaRDI QIDQ714619

List of research outcomes





PublicationDate of PublicationType
The correctness of a higher-order lazy functional language implementation: An exercise in mechanical theorem proving2019-01-11Paper
Verified Real Number Calculations: A Library for Interval Arithmetic2017-08-08Paper
The world's shortest correct exact real arithmetic program?2012-10-11Paper
Real Number Calculations and Theorem Proving2008-12-04Paper
Numerical Software with Result Verification2007-09-28Paper
Theorem Proving in Higher Order Logics2006-07-06Paper
FUNCTIONAL PEARL: Enumerating the rationals2006-06-09Paper
https://portal.mardi4nfdi.de/entity/Q44748532004-07-21Paper
Using PVS to validate the algorithms of an exact arithmetic.2003-01-21Paper
A constructive algorithm for finding the exact roots of polynomials with computable real coefficients.2002-07-15Paper
https://portal.mardi4nfdi.de/entity/Q45319792002-05-27Paper
https://portal.mardi4nfdi.de/entity/Q45202892001-02-26Paper
https://portal.mardi4nfdi.de/entity/Q49422521996-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37804161987-01-01Paper

Research outcomes over time

This page was built for person: David R. Lester

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