scientific article; zbMATH DE number 2003153
From MaRDI portal
Publication:4435465
zbMath1023.03059MaRDI QIDQ4435465
Publication date: 12 November 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2646/26460108.htm
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 (4)
Measure construction by extension in dependent type theory with application to integration ⋮ Computer theorem proving in mathematics ⋮ 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:
