scientific article
From MaRDI portal
Publication:3141106
zbMath0804.03049MaRDI QIDQ3141106
Publication date: 9 November 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
History of mathematical logic and foundations (03-03) Nonstandard models in mathematics (03H05) History of real functions (26-03) Nonstandard analysis (26E35)
Related Items (9)
Insight in discrete geometry and computational content of a discrete model of the continuum ⋮ Multi-scale arithmetization of linear transformations ⋮ Foundational aspects of multiscale digitization ⋮ Modeling of complex systems. II: A minimalist and unified semantics for heterogeneous integrated systems ⋮ A First Look into a Formal and Constructive Approach for Discrete Geometry Using Nonstandard Analysis ⋮ Arithmetization of a Circular Arc ⋮ Exploring the Foundations of Discrete Analytical Geometry in Isabelle/HOL ⋮ 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:
