9 search results for "tag:"keyword:algebra""

Showing 1 - 9
  1. coq-corn

    No documentation

    The Coq Constructive Repository at Nijmegen
    category:Mathematics/Algebra category:Mathematics/Real Calculus and Topology category:Mathematics/Exact Real computation keyword:constructive mathematics keyword:algebra keyword:real calculus keyword:real numbers keyword:Fundamental Theorem of Algebra logpath:CoRN date:2025-01-27
    Evgeny Makarov Robbert Krebbers Eelis van der Weegen Bas Spitters Jelle Herold et al.
    8.20.0
    GPL-2.0
    Used by 0 other packages
    01 Feb 2025
  2. coq-functional-algebra

    No documentation

    This package provides a Coq formalization of abstract algebra using
    keyword:algebra keyword:abstract algebra category:Miscellaneous/Coq Extensions date:2018-08-11 logpath:functional-algebra
    Larry D. Lee Jr.
    1.0.2
    LGPL-3.0
    Used by 0 other packages
    24 Aug 2018
  3. coq-graph-theory

    No documentation

    General graph theory definitions and results in Coq and MathComp
    category:Computer Science/Graph Theory keyword:graph theory keyword:minors keyword:treewidth keyword:algebra logpath:GraphTheory.core date:2024-06-30
    Christian Doczkal Damien Pous
    0.9.5
    CECILL-B
    Used by 1 other packages
    30 Jun 2024
  4. coq-hol-light

    No documentation

    HOL-Light library in Coq
    logpath:HOLLight date:2025-01-20 category:Math/Arith/Misc category:Math/Arith/Real Numbers category:Math/Real Numbers category:Mathematics/Real Calculus and Topology keyword:HOL-Light keyword:list keyword:basic set theory keyword:arithmetic keyword:integer keyword:real keyword:complex keyword:permutation keyword:group keyword:matroid keyword:binomial keyword:topology keyword:metric keyword:space keyword:analysis keyword:homology keyword:vector keyword:linear keyword:algebra keyword:convex keyword:path keyword:polytope keyword:Brouwer keyword:degree keyword:derivative keyword:Clifford keyword:integration keyword:measure keyword:Lebesgue keyword:transcendental
    Frédéric Blanqui
    3.0.0
    CeCILL-2.1
    Used by 0 other packages
    21 Jan 2025
  5. coq-mathcomp-abel

    No documentation

    Abel - Ruffini's theorem
    keyword:algebra keyword:Galois keyword:Abel Ruffini keyword:unsolvability of quintincs logpath:Abel date:2022-07-13
    Sophie Bernard Cyril Cohen Assia Mahboubi Pierre-Yves Strub
    1.2.1
    CECILL-B
    Used by 0 other packages
    24 Oct 2022
  6. coq-mathcomp-algebra

    No documentation

    Mathematical Components Library on Algebra
    keyword:small scale reflection keyword:mathematical components keyword:algebra keyword:algebraic structure hierarchies keyword:archimedean field keyword:floor keyword:ceil keyword:intervals keyword:matrices keyword:vectors keyword:block matrices keyword:determinant keyword:Cramer rule keyword:Vandermonde matrices keyword:LUP decomposition keyword:Gaussian elimination keyword:matrix rank keyword:eigen values keyword:single variable polynomials keyword:bivariate polynomials keyword:polynomial division keyword:integers keyword:rational numbers keyword:semirings keyword:rings keyword:left algebra keyword:left module keyword:unit rings keyword:field keyword:algebraically closed field keyword:additive morphisms keyword:ring morphisms keyword:finite dimensional vector spaces keyword:complex numbers keyword:square root logpath:mathcomp.algebra
    The Mathematical Components team
    2.3.0
    CECILL-B
    Used by 32 other packages
    29 Nov 2024
  7. coq-mathcomp-character

    No documentation

    Mathematical Components Library on character theory
    keyword:small scale reflection keyword:mathematical components keyword:algebra keyword:character logpath:mathcomp.character
    The Mathematical Components team
    2.3.0
    CECILL-B
    Used by 1 other packages
    29 Nov 2024
  8. coq-mathcomp-field

    No documentation

    Mathematical Components Library on Fields
    keyword:small scale reflection keyword:mathematical components keyword:algebra keyword:field logpath:mathcomp.field
    The Mathematical Components team
    2.3.0
    CECILL-B
    Used by 12 other packages
    29 Nov 2024
  9. coq-mathcomp-field-extra

    No documentation

    Extra Mathematical Components Library on Fields
    keyword:algebra keyword:field keyword:small scale reflection keyword:mathematical components keyword:odd order theorem
    Jeremy Avigad <> Andrea Asperti <> Stephane Le Roux <> Yves Bertot <> Laurence Rideau <> et al.
    1.6.1
    CeCILL-B
    Used by 1 other packages
    26 Jun 2019