4 search results for "author:"Anders Mörtberg""

Showing 1 - 4
  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.1.0
    MIT
    Used by 3 other packages
    18 Feb 2025
  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
  4. coq-fpmods

    No documentation

    A short constructive formalization of finitely presented modules
    logpath:fpmods
    Cyril Cohen and Anders Mörtberg
    0.2.0
    MIT
    Used by 0 other packages
    25 Nov 2015