
KELLEY
 Referenced in 493 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...

Modp 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 8 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 ... ﬁnite groups. • Direct products of the above groups. • Wreath products of the above groups with ... ﬁnite 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 220 articles
[sw00118]
 The goal of the CGAL Open Source Project...

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

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

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

LAPACK
 Referenced in 1181 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

Macaulay2
 Referenced in 969 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting...

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

Maple
 Referenced in 3842 articles
[sw00545]
 The result of over 30 years of cutting...

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

Mathematica
 Referenced in 3912 articles
[sw00554]
 Almost any workflow involves computing results, and that...

Matlab
 Referenced in 6531 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

Maxima
 Referenced in 89 articles
[sw00560]
 Maxima is a system for the manipulation of...

NAG
 Referenced in 283 articles
[sw00610]
 Produced by experts for use in a variety...

nauty
 Referenced in 347 articles
[sw00611]
 graphtheoretic program NAUTY: nauty is a program...

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