
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 pgroup...

ModIsom
 Referenced in 2 articles
[sw08645]
 Computing automorphisms and checking isomorphisms for modular group algebras of finite pgroups. The ModIsom ... algebras over finite fields and of modular group algebras of finite pgroups...

Modp 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 pgroups...

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 webbrowsers and computer algebra systems, such as KASH ... intended to provide data for: Algebraic Number Fields. Transitive Groups. Algebraic Function Fields (presumably...

ADOLC
 Referenced in 221 articles
[sw00019]
 ADOLC: 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...

FFLASFFPACK
 Referenced in 20 articles
[sw00283]
 FFPACK: finite field linear algebra package. The FFLAS...

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...