Some representations of real numbers using integer sequences

DOI10.1017/S0960129522000342MaRDI QIDQ5877245

Gaëlle Skapin, Loïc Mazo, Marie-Andrée da Col-Jacob, Nicolas Magaud, Laurent Fuchs

Publication date: 10 February 2023

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

zbMATH Keywords

constructive mathematicsreal arithmeticarithmetizationstream of integers

Mathematics Subject Classification ID

Computer science (68-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Eine Erweiterung der Infinitesimalrechnung
• A certified, corecursive implementation of exact real numbers
• Insight in discrete geometry and computational content of a discrete model of the continuum
• Quasi-linear transformations and discrete tilings
• Arbitrary precision real arithmetic: design and algorithms
• Foundational aspects of multiscale digitization
• Formalizing a discrete model of the continuum in Coq from a discrete geometry perspective
• Multi-scale arithmetization of linear transformations
• Formalization of real analysis: a survey of proof assistants and libraries

This page was built for publication: Some representations of real numbers using integer sequences