7 search results for "tag:"category: Mathematics/Algebra""

Showing 1 - 7
  1. coq-algebra

    No documentation

    Basics notions of algebra
    keyword: algebra category: Mathematics/Algebra date: 1999-03
    Loïc Pottier [http://www-sop.inria.fr/croap/personnel/Loic.Pottier/home.html]
    8.10.0
    LGPL 2.1
    Used by 0 other packages
    07 Dec 2019
  2. coq-free-groups

    No documentation

    Free Groups
    keyword: free group category: Mathematics/Algebra
    Daniel Schepler <dschepler@gmail.com>
    8.10.0
    LGPL
    Used by 0 other packages
    07 Dec 2019
  3. coq-group-theory

    No documentation

    Elements of Group Theory
    keyword: Group Theory category: Mathematics/Algebra
    Gilles Kahn
    8.10.0
    Unknown
    Used by 0 other packages
    07 Dec 2019
  4. coq-lin-alg

    No documentation

    Linear Algebra
    keyword: linear algebra category: Mathematics/Algebra date: 19 spetember 2003
    Jasper Stein <jasper@cs.kun.nl>
    8.9.0
    LGPL 2.1
    Used by 1 other packages
    08 Dec 2019
  5. coq-matrices

    No documentation

    Ring properties for square matrices
    keyword: matrices keyword: vectors keyword: linear algebra keyword: Coq modules category: Mathematics/Algebra date: 2003-03
    Nicolas Magaud
    8.10.0
    LGPL 2.1
    Used by 0 other packages
    07 Dec 2019
  6. coq-orb-stab

    No documentation

    Finite orbit-stabilizer theorem
    keyword: orbit keyword: stabilizer keyword: inclusion-exclusion category: Mathematics/Algebra date: 2008-01-5
    Robert Kam <rkam2001@hotmail.com> [none]
    8.9.0
    GNU Lesser Public License
    Used by 0 other packages
    08 Dec 2019
  7. coq-square-matrices

    No documentation

    From Fast Exponentiation to Square Matrices
    keyword: exponentiation keyword: vectors keyword: matrices keyword: polymorphic recursion keyword: nested datatypes category: Mathematics/Algebra
    Jean-Christophe Filliâtre
    8.10.0
    LGPL 2.1
    Used by 0 other packages
    07 Dec 2019