• Help

  • Referenced in 3 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 1 article [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 1 article [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...
  • AXIOM

  • Referenced in 152 articles [sw00063]
  • Axiom is a general purpose Computer Algebra system...
  • CASA

  • Referenced in 52 articles [sw00108]
  • CASA is a special-purpose system for computational...
  • CGAL

  • Referenced in 228 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • CoCoA

  • Referenced in 489 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • Coq

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

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

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

  • Referenced in 106 articles [sw00344]
  • The gfun package provides tools for determining and...
  • gmp

  • Referenced in 164 articles [sw00363]
  • GMP is a free library for arbitrary precision...
  • homalg

  • Referenced in 23 articles [sw00411]
  • homalg: a meta-package for homological algebra. The...
  • KANT/KASH

  • Referenced in 127 articles [sw00481]
  • KASH/KANT is a computer algebra system (CAS) for...
  • LAPACK

  • Referenced in 1222 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • Macaulay2

  • Referenced in 1014 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...
  • Magma

  • Referenced in 1721 articles [sw00540]
  • Computer algebra system (CAS). Magma is a large...
  • Maple

  • Referenced in 3967 articles [sw00545]
  • The result of over 30 years of cutting...