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

wedderga
 Referenced in 13 articles
[sw01019]
 simple components of the Wedderburn decomposition of semisimple group algebras of finite groups over finite...

Semigroups
 Referenced in 28 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 6 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...

Jordan Hölder
 Referenced in 1 article
[sw29552]
 finite groups. The theories formalize the notions of isomorphism classes of groups, simple groups, normal...

MOAB
 Referenced in 3 articles
[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...

snake
 Referenced in 1 article
[sw34500]
 ground state, realtime dynamics and finite temperature properties of quantum 1D or impurity systems ... used as a black box for simple problems. The program has been tested on Linux ... used in our paper ”Density matrix renormalization group study of a quantum impurity model with...

cdd
 Referenced in 112 articles
[sw00114]
 The program cdd+ (cdd, respectively) is a C...

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

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

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

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

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

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

Gmsh
 Referenced in 644 articles
[sw00366]
 Gmsh is a 3D finite element grid generator...

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

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

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