• KELLEY

  • Referenced in 490 articles [sw04829]
  • noisy functions, basics concepts, and three simple examples that are later used to demonstrate ... author and his group. Implicit filtering methods use finite difference approximations of the gradient, which...
  • Mod-p group cohomology

  • Referenced in 7 articles [sw08638]
  • cohomology rings of all groups of order 128. It was also used to compute ... cohomology of various finite simple groups (for different primes p), including the first computation...
  • Semigroups

  • Referenced in 5 articles [sw11877]
  • property, such as if it is regular, simple, inverse, completely regular, and a variety ... semigroup in a permutation group, the maximal subsemigroups of a finite semigroup, and smaller degree...
  • RCWA

  • Referenced in 4 articles [sw00786]
  • more: • Finite groups, and certain divisible torsion groups which they embed into. • Free groups ... finite groups. • Direct products of the above groups. • Wreath products of the above groups with ... finite groups and with (Z,+). • Subgroups of any such groups. With the help of this ... package, the author has found a countable simple group which is generated by involutions interchanging...
  • MOAB

  • Referenced in 1 article [sw17502]
  • finite element “zoo”, along with polygons and polyhedra. The functional interface to MOAB is simple ... handle to that entity. Sets are arbitrary groupings of mesh entities and other sets. Sets...
  • CGAL

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

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

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

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

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

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

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

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

  • Referenced in 174 articles [sw00551]
  • MATCONT: Matlab software for bifurcation study of dynamical...
  • Mathematica

  • Referenced in 3847 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 6402 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • Maxima

  • Referenced in 87 articles [sw00560]
  • Maxima is a system for the manipulation of...
  • NAG

  • Referenced in 282 articles [sw00610]
  • Produced by experts for use in a variety...
  • nauty

  • Referenced in 345 articles [sw00611]
  • graph-theoretic program NAUTY: nauty is a program...
  • Normaliz

  • Referenced in 63 articles [sw00630]
  • Normaliz is a tool for computations in affine...