A certified, corecursive implementation of exact real numbers-Reference-Cited by-同舟云学术

A certified, corecursive implementation of exact real numbers

Published:2006-02 Issue:1 Volume:351 Page:39-51
ISSN:0304-3975
Container-title:Theoretical Computer Science
language:en
Short-container-title:Theoretical Computer Science

Author:

Ciaffaglione Alberto,Di Gianantonio Pietro

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference21 articles.

1. Foundations of Constructive Analysis;Bishop,1967

2. D. Bridges, Constructive mathematics: a foundation for computable analysis, Theoret. Comput. Sci. 219, 1999.

3. J. Cederquist, A pointfree approach to constructive analysis in type theory, Ph.D. Thesis, Göteborg University, 1997.

4. J. Chirimar, D.J. Howe, Implementing constructive real analysis: preliminary report, Proc. Constructivity in Computer Science, Lecture Notes in Computer Science, Springer, Berlin, Vol. 613, 1992.

5. A. Ciaffaglione, Certified reasoning on real numbers and objects in co-inductive type theory, Ph.D. Thesis, Dipartimento di Matematica e Informatica, Università di Udine, Italy and INPL-ENSMNS, Nancy, France, 2003.

Cited by 21 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Limits of real numbers in the binary signed digit representation;Logical Methods in Computer Science;2022-08-19

2. Some representations of real numbers using integer sequences;Mathematical Structures in Computer Science;2022-05

3. Computing with continuous objects: a uniform co-inductive approach;Mathematical Structures in Computer Science;2021-02

4. LOGIC FOR EXACT REAL ARITHMETIC;LOG METH COMPUT SCI;2021

5. Polynomial Time over the Reals with Parsimony;Functional and Logic Programming;2020