scientific article
From MaRDI portal
Publication:4037536
zbMath0778.03023MaRDI QIDQ4037536
Publication date: 18 May 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Nonstandard models in mathematics (03H05) Numerical methods for ordinary differential equations (65L99)
Related Items (5)
Insight in discrete geometry and computational content of a discrete model of the continuum ⋮ Foundational aspects of multiscale digitization ⋮ A First Look into a Formal and Constructive Approach for Discrete Geometry Using Nonstandard Analysis ⋮ Arithmetization of a Circular Arc ⋮ Formalizing a discrete model of the continuum in Coq from a discrete geometry perspective
This page was built for publication: