Some representations of real numbers using integer sequences

DOI10.1017/S0960129522000342MaRDI QIDQ5877245FDOQ5877245

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

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

Cited In (1)

• Standard representations of real numbers

   Recommendations

• Title not available (Why is that?) 👍 👎
• Generalizations of certain representations of real numbers 👍 👎
• Representation of real numbers by the alternating Cantor series 👍 👎
• Sequences of Reals to Sequences of Zeros and Ones 👍 👎
• On the Representation of Integers 👍 👎
• Some sequences of integers 👍 👎
• Real numbers with redundant representations 👍 👎
• Title not available (Why is that?) 👍 👎
• On sequences of integers 👍 👎
• The representation of real numbers by infinite series of rationals 👍 👎

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5877245)