3 search results for "author:"Maxime Dénès""

Showing 1 - 3
  1. coq-coqeal

    No documentation

    CoqEAL - The Coq Effective Algebra Library
    category:Computer Science/Decision Procedures and Certified Algorithms/Correctness proofs of algorithms keyword:effective algebra keyword:elementary divisor rings keyword:Smith normal form keyword:mathematical components keyword:Bareiss keyword:Karatsuba multiplication keyword:refinements logpath:CoqEAL
    Guillaume Cano Cyril Cohen Maxime Dénès Érik Martin-Dorel Anders Mörtberg et al.
    2.0.3
    MIT
    Used by 3 other packages
    16 Dec 2024
  2. coq-coqeal-refinements

    No documentation

    A refinement framework (for algebra)
    category:Computer Science/Decision Procedures and Certified Algorithms/Correctness proofs of algorithms keyword:Karatsuba multiplication keyword:refinements logpath:CoqEAL_refinements
    Guillaume Cano Cyril Cohen Maxime Dénès Anders Mörtberg Vincent Siles
    0.9.1
    MIT
    Used by 0 other packages
    25 Nov 2015
  3. coq-coqeal-theory

    No documentation

    The theory needed by the CoqEAL refinement framework library
    category:Mathematics/Algebra keyword:effective algebra keyword:elementary divisor rings keyword:Smith normal form keyword:mathematical components keyword:Bareiss logpath:CoqEAL_theory
    Guillaume Cano Cyril Cohen Maxime Dénès Anders Mörtberg Vincent Siles
    0.9.1
    MIT
    Used by 2 other packages
    25 Nov 2015