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)

Recommendations

• scientific article
• 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
• scientific article
• On sequences of integers
• The representation of real numbers by infinite series of rationals

zbMATH Keywords

constructive mathematicsreal arithmeticarithmetizationstream of integers

Mathematics Subject Classification ID

Computer science (68-XX)

Cites Work

• Formalization of real analysis: a survey of proof assistants and libraries
• Eine Erweiterung der Infinitesimalrechnung
• Arbitrary precision real arithmetic: design and algorithms
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• Foundational aspects of multiscale digitization
• Multi-scale arithmetization of linear transformations

Cited In (1)

• Standard representations of real numbers

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)