Some representations of real numbers using integer sequences
From MaRDI portal
Publication:5877245
Recommendations
- scientific article; zbMATH DE number 4087741
- 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; zbMATH DE number 4158706
- On sequences of integers
- The representation of real numbers by infinite series of rationals
Cites work
- scientific article; zbMATH DE number 444627 (Why is no real title available?)
- scientific article; zbMATH DE number 44113 (Why is no real title available?)
- scientific article; zbMATH DE number 3805547 (Why is no real title available?)
- A certified, corecursive implementation of exact real numbers
- Arbitrary precision real arithmetic: design and algorithms
- Eine Erweiterung der Infinitesimalrechnung
- Formalization of real analysis: a survey of proof assistants and libraries
- Formalizing a discrete model of the continuum in Coq from a discrete geometry perspective
- Foundational aspects of multiscale digitization
- Insight in discrete geometry and computational content of a discrete model of the continuum
- Multi-scale arithmetization of linear transformations
- Quasi-linear transformations and discrete tilings
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)
