scientific article
From MaRDI portal
Publication:3184782
zbMath1194.68097MaRDI QIDQ3184782
Russell O'Connor, Cezary Kaliszyk
Publication date: 22 October 2009
Full work available at URL: http://jfr.cib.unibo.it/article/view/1411
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 (3)
Formal Verification of Exact Computations Using Newton’s Method ⋮ Coquelicot: a user-friendly library of real analysis for Coq ⋮ A computer-verified monadic functional implementation of the integral
Uses Software
This page was built for publication:
