scientific article; zbMATH DE number 2003153

From MaRDI portal

Revision as of 03:40, 7 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4435465

Jump to:navigation, search

zbMath1023.03059MaRDI QIDQ4435465

Luís Cruz-Filipe

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.

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Mechanization of proofs and logical operations (03B35) Constructive real analysis (26E40)

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

Coq

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4435465&oldid=18478879"