Person:714619

Available identifiers

zbMath Open lester.david-rWikidataQ57163491 ScholiaQ57163491MaRDI QIDQ714619

List of research outcomes

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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: David R. Lester