Searching for "A certified, corecursive implementation of exact real numbers." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

A certified, corecursive implementation of exact real numbers
by Alberto Ciaffaglione — 2006 — Theoretical Computer Science
…, corecursive implementation of exact real numbers Alberto Ciaffaglione ∗ , Pietro Di Gianantonio Dipartimento…
Cited by 2 (0 self) – Add To MetaCart

A coinductive approach to exact real number computation
by Ulrich Berger — 2009
…, corecursive implementation of exact real numbers. TCS 351:39–51, 2006. T. Coquand, A. Spiwack. Proof of strong…
Add To MetaCart

◮ Digit spaces
by Ulrich Berger
… certified, corecursive implementation of exact real numbers. Theoretical Computer Science, Volume 351 (2006…
Add To MetaCart

Showing 1 through 3.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB