David R. Lester

Available identifiers

Publication	Date of Publication	Type
The correctness of a higher-order lazy functional language implementation: An exercise in mechanical theorem proving	2019-01-11	Paper
Verified Real Number Calculations: A Library for Interval Arithmetic	2017-08-08	Paper
The world's shortest correct exact real arithmetic program?	2012-10-11	Paper
Real Number Calculations and Theorem Proving	2008-12-04	Paper
Numerical Software with Result Verification	2007-09-28	Paper
Theorem Proving in Higher Order Logics	2006-07-06	Paper
FUNCTIONAL PEARL: Enumerating the rationals	2006-06-09	Paper
https://portal.mardi4nfdi.de/entity/Q4474853	2004-07-21	Paper
Using PVS to validate the algorithms of an exact arithmetic.	2003-01-21	Paper
A constructive algorithm for finding the exact roots of polynomials with computable real coefficients.	2002-07-15	Paper
https://portal.mardi4nfdi.de/entity/Q4531979	2002-05-27	Paper
https://portal.mardi4nfdi.de/entity/Q4520289	2001-02-26	Paper
https://portal.mardi4nfdi.de/entity/Q4942252	1996-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3780416	1987-01-01	Paper

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: David R. Lester