• LAGUNA

  • Referenced in 18 articles [sw08650]
  • LAGUNA: Lie AlGebras and UNits of group Algebras. The LAGUNA package replaces the LAG package ... normalized unit group of the modular group algebra of the finite p-group...
  • ModIsom

  • Referenced in 2 articles [sw08645]
  • Computing automorphisms and checking isomorphisms for modular group algebras of finite p-groups. The ModIsom ... algebras over finite fields and of modular group algebras of finite p-groups...
  • Mod-p group cohomology

  • Referenced in 8 articles [sw08638]
  • Sage computer algebra system. It computes modular cohomology rings of finite groups. It yields minimal...
  • UnitLib

  • Referenced in 0 articles [sw31135]
  • library of normalized unit groups of modular group algebras of all finite p-groups...
  • pygroup

  • Referenced in 1 article [sw22109]
  • computational power when studying algebra. The groups established are based modular multiplication and addition...
  • classifyMapGerms

  • Referenced in 1 article [sw23298]
  • space at the orbit of an algebraic group action. The tangent space is usually described ... rings. It computes the standard basis using modular methods and parallel modular methods. It also...
  • Congruence

  • Referenced in 2 articles [sw08632]
  • commutative division algebra, in its rational group algebra. The aim of the paper ... relations for subgroups of the modular group PSL 2 (ℤ), acting on the hyperbolic plane ... package Congruence for the computer algebra system GAP by the authors...
  • FoCaL

  • Referenced in 1 article [sw09352]
  • representations which are commonly used in Computer Algebra but seldom formally described. We further provide ... library for modular arithmetic through the certification of quotient groups and quotient rings which...
  • QaoS

  • Referenced in 1 article [sw26669]
  • algebraic data, both comfortably and fast. Its modular design promises scalability and extensibilty. QaoS ... gateway to an algebraic database via web-browsers and computer algebra systems, such as KASH ... intended to provide data for: Algebraic Number Fields. Transitive Groups. Algebraic Function Fields (presumably...
  • ADOL-C

  • Referenced in 221 articles [sw00019]
  • ADOL-C: Automatic Differentiation of C/C++. We present...
  • BARON

  • Referenced in 305 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • CLUCalc

  • Referenced in 32 articles [sw00133]
  • CLUCalc is a freely available software tool for...
  • CoCoA

  • Referenced in 605 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • CoCoALib

  • Referenced in 54 articles [sw00144]
  • CoCoALib: A C++ library for computations in commutative...
  • Coq

  • Referenced in 1751 articles [sw00161]
  • Coq is a formal proof management system. It...
  • CSDP

  • Referenced in 194 articles [sw00169]
  • CSDP, A C Library for Semidefinite Programming. This...
  • FGb

  • Referenced in 234 articles [sw00286]
  • FGb/Gb libraryGb is a program (191 420 lines...
  • FLINT

  • Referenced in 40 articles [sw00297]
  • Fast library for number theory: an introduction. We...
  • GAP

  • Referenced in 2702 articles [sw00320]
  • GAP is a system for computational discrete algebra...