A Tour with Constructive Real Numbers

Authors:
Alberto Ciaffaglione;Pietro Di Gianantonio
Affiliations:
-;-
Venue:
TYPES '00 Selected papers from the International Workshop on Types for Proofs and Programs
Year:
2000

Citing 6
Cited 2

The calculus of constructions

Information and Computation - Semantics of Data Types
Constructive mathematics: a foundation for computable analysis

Theoretical Computer Science - Special issue on computability and complexity in analysis
Computable analysis: an introduction

Computable analysis: an introduction
A Co-inductive Approach to Real Numbers

TYPES '99 Selected papers from the International Workshop on Types for Proofs and Programs
Constructive Reals in Coq: Axioms and Categoricity

TYPES '00 Selected papers from the International Workshop on Types for Proofs and Programs
Semantics of Exact Real Arithmetic

LICS '97 Proceedings of the 12th Annual IEEE Symposium on Logic in Computer Science

Constructive Reals in Coq: Axioms and Categoricity

TYPES '00 Selected papers from the International Workshop on Types for Proofs and Programs
A certified, corecursive implementation of exact real numbers

Theoretical Computer Science - Real numbers and computers

Quantified Score

Hi-index	0.00

Visualization

Abstract

The aim of this work is to characterize constructive real numbers through a minimal axiomatization. We introduce, discuss and justify 16 constructive axioms. Then we address their expressivity considering the alternative axiomatizations.