David R. Lester

MaRDI QIDQ714619zbMATH OpenORCIDWikidataFDO

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
The correctness of a higher-order lazy functional language implementation: An exercise in mechanical theorem proving Higher-Order Algebra, Logic, and Term Rewriting	2019-01-11	Paper
Verified Real Number Calculations: A Library for Interval Arithmetic IEEE Transactions on Computers	2017-08-08	Paper
The world's shortest correct exact real arithmetic program? Information and Computation	2012-10-11	Paper
Real Number Calculations and Theorem Proving Lecture Notes in Computer Science	2008-12-04	Paper
Numerical Software with Result Verification Lecture Notes in Computer Science	2007-09-28	Paper
Theorem Proving in Higher Order Logics Lecture Notes in Computer Science	2006-07-06	Paper
FUNCTIONAL PEARL: Enumerating the rationals Journal of Functional Programming	2006-06-09	Paper
scientific article; zbMATH DE number 2079040 (Why is no real title available?)	2004-07-21	Paper
Using PVS to validate the algorithms of an exact arithmetic. Theoretical Computer Science	2003-01-21	Paper
A constructive algorithm for finding the exact roots of polynomials with computable real coefficients. Theoretical Computer Science	2002-07-15	Paper
scientific article; zbMATH DE number 1746032 (Why is no real title available?)	2002-05-27	Paper
scientific article; zbMATH DE number 1542839 (Why is no real title available?)	2001-02-26	Paper
scientific article; zbMATH DE number 1419234 (Why is no real title available?)	1996-01-01	Paper
scientific article; zbMATH DE number 4043222 (Why is no real title available?)	1987-01-01	Paper

Research outcomes over time

This page was built for person: David R. Lester