11 search results for "author:"Micaela Mayero""

Showing 1 - 11
  1. coq-cecoa

    No documentation

    Implicit-complexity Coq library to prove that some programs are computable in polynomial time
    category:Computer Science/Algorithms/Complexity keyword:implicit complexity keyword:polynomial time keyword:rewriting logpath:Cecoa date:2018-09-10
    Hugo Férée Samuel Hym Micaela Mayero Jean-Yves Moyen David Nowak
    1.0.0
    CeCILL-A
    Used by 0 other packages
    13 Sep 2018
  2. coq-fermat4

    No documentation

    Diophantus' 20th Problem and Fermat's Last Theorem for n = 4
    keyword: Diophantus keyword: Fermat keyword: arithmetic keyword: infinite descent category: Mathematics/Arithmetic and Number Theory/Number theory date: 2005-07
    David Delahaye Micaela Mayero
    8.10.0
    Unknown
    Used by 0 other packages
    07 Dec 2019
  3. coq-maple-mode

    No documentation

    A Maple Mode for Coq
    keyword: Maple keyword: simplification keyword: field tactic category: Miscellaneous/Coq Extensions date: 2002-03
    David Delahaye Micaela Mayero
    8.9.0
    Unknown
    Used by 0 other packages
    08 Dec 2019
  4. 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
  5. coq-three-gap

    No documentation

    A Proof of the Three Gap Theorem (Steinhaus Conjecture)
    keyword: real numbers keyword: Steinhaus keyword: Three Gap Theorem category: Mathematics/Geometry category: Mathematics/Arithmetic and Number Theory/Miscellaneous
    Micaela Mayero
    8.10.0
    LGPL 2.1
    Used by 0 other packages
    07 Dec 2019
  6. rocq-num-analysis

    No documentation

    Numerical analysis in Rocq
    Sylvie Boldo François Clément Vincent Martin Micaela Mayero Florian Faissole et al.
    2.0.0
    LGPL-3.0-or-later
    Used by 0 other packages
    23 Jun 2025
  7. rocq-num-analysis-algebra

    No documentation

    Algebraic structures for numerical analysis in Rocq
    category: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 coefficient
    Sylvie Boldo François Clément Vincent Martin Micaela Mayero Florian Faissole et al.
    2.0.0
    LGPL-3.0-or-later
    Used by 2 other packages
    23 Jun 2025
  8. rocq-num-analysis-fem

    No documentation

    The finite element method
    category:Math/Real Calculus and Topology date:2025-06 logpath:NumAnalysis.FEM keyword:multi-index keyword:multi-variate polynomial keyword:Lagrange polynomial keyword:finite element keyword:simplicial Lagrange finite element
    Sylvie Boldo François Clément Vincent Martin Micaela Mayero Florian Faissole et al.
    2.0.0
    LGPL-3.0-or-later
    Used by 1 other packages
    23 Jun 2025
  9. rocq-num-analysis-lax-milgram

    No documentation

    Lax-Milgram theorem
    category:Math/Real Calculus and Topology date:2025-06 logpath:NumAnalysis.LM keyword:fixed point theorem (in a Banach space) keyword:orthogonal projection keyword:orthogonal complement keyword:Riesz-Fréchet representation theorem keyword:Lax-Milgram theorem keyword:Céa's lemma
    Sylvie Boldo François Clément Vincent Martin Micaela Mayero Florian Faissole et al.
    2.0.0
    LGPL-3.0-or-later
    Used by 1 other packages
    23 Jun 2025
  10. rocq-num-analysis-lebesgue

    No documentation

    Lebesgue integral
    category: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 integral
    Sylvie Boldo François Clément Vincent Martin Micaela Mayero Florian Faissole et al.
    2.0.0
    LGPL-3.0-or-later
    Used by 1 other packages
    23 Jun 2025
  11. rocq-num-analysis-subset

    No documentation

    Subsets for numerical analysis in Rocq
    category:Math/Logic/Set theory date:2025-06 logpath:NumAnalysis.Requisite logpath:NumAnalysis.Logic logpath:NumAnalysis.Numbers logpath:NumAnalysis.Subsets keyword:subset keyword:function keyword:homogeneous binary relation keyword:operation on finite families
    Sylvie Boldo François Clément Vincent Martin Micaela Mayero Florian Faissole et al.
    2.0.0
    LGPL-3.0-or-later
    Used by 2 other packages
    23 Jun 2025