
Help
 Referenced in 17 articles
[sw14497]
 partial augmentations of torsion units in integral group rings using a method developed by Luthar ... Prime Graph Question for finite groups, once characters are known. It uses an interface ... software package 4ti2 to solve integral linear inequalities...

Congruence
 Referenced in 2 articles
[sw08632]
 subgroups of finite index in integral group rings of finite groups. E. Jespers, G. Leal ... subgroup of finite index in the integral group ring of a finite group G provided...

PCQL
 Referenced in 2 articles
[sw09148]
 algorithm uses Groebner bases over integral group rings of polycyclic groups as main means...

Miura
 Referenced in 1 article
[sw20305]
 ideal class group via the isomorphism. The underlying quotient ring should be over the ideal ... Miura. Although computing the multiplication of two integral ideals is not hard, we need ... also for understanding the divisor class group arithmetic from the ideal point of view...

PerMuVAR
 Referenced in 2 articles
[sw12309]
 rings of permutation groups. The purpose was to study (at least partially) permutation groups that ... permutation groups; use of external specialized libraries for critical sections). PerMuVAR is now integrated...

ACL2
 Referenced in 283 articles
[sw00060]
 ACL2 is both a programming language in which...

AXIOM
 Referenced in 173 articles
[sw00063]
 Axiom is a general purpose Computer Algebra system...

CASA
 Referenced in 105 articles
[sw00108]
 CASA is a specialpurpose system for computational...

CGAL
 Referenced in 394 articles
[sw00118]
 The goal of the CGAL Open Source Project...

CLIFFORD
 Referenced in 84 articles
[sw00131]
 CLIFFORD performs various computations in Grass mann and...

CoCoA
 Referenced in 654 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

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

Coq
 Referenced in 1888 articles
[sw00161]
 Coq is a formal proof management system. It...

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

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

gfun
 Referenced in 144 articles
[sw00344]
 The gfun package provides tools for determining and...

gmp
 Referenced in 282 articles
[sw00363]
 GMP is a free library for arbitrary precision...

homalg
 Referenced in 30 articles
[sw00411]
 homalg: a metapackage for homological algebra. The...

HSL
 Referenced in 279 articles
[sw00418]
 HSL (formerly the Harwell Subroutine Library) is a...

Isabelle
 Referenced in 710 articles
[sw00454]
 Isabelle is a generic proof assistant. It allows...