• Fermat

  • Referenced in 41 articles [sw00277]
  • Fermat is a computer algebra system (CAS) for...
  • FGb

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

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

  • Referenced in 16 articles [sw00307]
  • FOXBOX: A system for manipulating symbolic objects in...
  • GALOIS

  • Referenced in 8 articles [sw00317]
  • GALOIS: An algebra microcomputer package. GALOIS is a...
  • GAP

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

  • Referenced in 96 articles [sw00332]
  • We present a recently developed Maple-based “GeM...
  • gfun

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

  • Referenced in 8 articles [sw00350]
  • Specialized computer algebra system GINV. The computer algebra...
  • Givaro

  • Referenced in 7 articles [sw00354]
  • In the joint CNRS-INRIA / INPG-UJF project...
  • gmp

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

  • Referenced in 78 articles [sw00410]
  • HOM4PS-2.0: a software package for solving polynomial...
  • homalg

  • Referenced in 30 articles [sw00411]
  • homalg: a meta-package for homological algebra. The...
  • Isabelle

  • Referenced in 669 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • Isolde

  • Referenced in 28 articles [sw00458]
  • ISOLDE, a Maple package for systems of linear...
  • KANT/KASH

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