scientific article; zbMATH DE number 3805547
From MaRDI portal
Publication:4749840
zbMath0511.03031MaRDI QIDQ4749840
Publication date: 1983
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (4)
A constructive approach to nonstandard analysis ⋮ Multi-scale arithmetization of linear transformations ⋮ Formalizing a discrete model of the continuum in Coq from a discrete geometry perspective ⋮ Some representations of real numbers using integer sequences
This page was built for publication: