1 search result for "tag:"keyword:measure theory""
Showing 1 - 1
-
coq-mathcomp-analysis
No documentation
An analysis library for mathematical componentscategory:Mathematics/Real Calculus and Topology keyword:analysis keyword:Cantor keyword:topology keyword:real numbers keyword:sequence keyword:convexity keyword:Landau notation keyword:logarithm keyword:sin keyword:cos keyword:tangent keyword:trigonometric function keyword:exponential keyword:differentiation keyword:derivative keyword:measure theory keyword:integration keyword:Lebesgue keyword:probability logpath:mathcomp.analysis1.8.0CECILL-CUsed by 7 other packages19 Dec 2024