scientific article
From MaRDI portal
Publication:2754041
zbMath0974.68186MaRDI QIDQ2754041
Publication date: 11 November 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (9)
The gauge integral theory in HOL4 ⋮ Formal Verification of Exact Computations Using Newton’s Method ⋮ Wave equation numerical resolution: a comprehensive mechanized proof of a C program ⋮ Differentiation on interval ⋮ Towards a UTP Semantics for Modelica ⋮ Decision algorithms for fragments of real analysis. I: Continuous functions with strict convexity and concavity predicates ⋮ Banishing Ultrafilters from Our Consciousness ⋮ Coquelicot: a user-friendly library of real analysis for Coq ⋮ Exploring the Foundations of Discrete Analytical Geometry in Isabelle/HOL
Uses Software
This page was built for publication: