7 search results for "author:"Stéphane Aubry""
            Showing 1 - 7
          
        - 
            coq-num-analysisNo documentation Numerical Analysis in Coq1.0.0LGPL-3.0-or-laterUsed by 0 other packages06 Sep 2022
- 
            rocq-num-analysisNo documentation Numerical analysis in Rocq2.0.0LGPL-3.0-or-laterUsed by 0 other packages23 Jun 2025
- 
            rocq-num-analysis-algebraNo documentation Algebraic structures for numerical analysis in Rocqcategory:Math/Algebra date:2025-06 logpath:NumAnalysis.Algebra keyword:algebra keyword:algebraic structure hierarchy keyword:functions to an algebraic structure keyword:algebraic substructure keyword:morphism keyword:monoid keyword:group keyword:ring keyword:module space keyword:affine space keyword:dimension theorem keyword:incomplete basis theorem keyword:dual basis keyword:predual basis keyword:rank-nullity theorem keyword:binomial coefficient2.0.0LGPL-3.0-or-laterUsed by 2 other packages23 Jun 2025
- 
            rocq-num-analysis-femNo documentation The finite element method2.0.0LGPL-3.0-or-laterUsed by 1 other packages23 Jun 2025
- 
            rocq-num-analysis-lax-milgramNo documentation Lax-Milgram theorem2.0.0LGPL-3.0-or-laterUsed by 1 other packages23 Jun 2025
- 
            rocq-num-analysis-lebesgueNo documentation Lebesgue integralcategory:Math/Real Calculus and Topology date:2025-06 logpath:NumAnalysis.Lebesgue keyword:sigma-algebra keyword:monotone class theorem keyword:Dynkin pi-lambda theorem keyword:measure theory keyword:Lebesgue measure keyword:simple function keyword:adapted sequence keyword:Beppo Levi (monotone convergence) theorem keyword:Fatou lemma keyword:Lebesgue (dominated convergence) theorem keyword:Lebesgue induction principle keyword:Tonelli theorem keyword:Bochner integral2.0.0LGPL-3.0-or-laterUsed by 1 other packages23 Jun 2025
- 
            rocq-num-analysis-subsetNo documentation Subsets for numerical analysis in Rocq2.0.0LGPL-3.0-or-laterUsed by 2 other packages23 Jun 2025