2 search results for "tag:"keyword:Lebesgue""

Showing 1 - 2
  1. coq-mathcomp-analysis

    No documentation

    An analysis library for mathematical components
    category: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.analysis
    Reynald Affeldt Alessandro Bruni Yves Bertot Cyril Cohen Marie Kerjean et al.
    1.8.0
    CECILL-C
    Used by 7 other packages
    19 Dec 2024
  2. coq-num-analysis

    No documentation

    Numerical Analysis in Coq
    category:Mathematics/Real Calculus and Topology keyword:real analysis keyword:Lax-Milgram theorem keyword:Lebesgue integration keyword:Tonelli theorem keyword:Bochner integration logpath:Lebesgue logpath:LM date:2022-09-06
    Sylvie Boldo François Clément Vincent Martin Micaela Mayero Florian Faissole et al.
    1.0.0
    LGPL-3.0-or-later
    Used by 0 other packages
    06 Sep 2022