
CANONIK
 Referenced in 24 articles
[sw12229]
 algebras. III: Levi decomposition and canonical basis. These are the last parts of a program ... given Lie algebra with a standardized basis and gives possibilities for its comparison with other ... algebras. Examples of Lie algebras with canonical bases of dim=10 are given...

epsilon
 Referenced in 17 articles
[sw22364]
 epsilon: A tool to find a canonical basis of master integrals. In 2013, Henn proposed...

LINA01
 Referenced in 6 articles
[sw04902]
 LINA01 are made on the basis of Lie canonical transformation method. The program package...

Algorithm 628
 Referenced in 6 articles
[sw23778]
 FORTRAN implementation of an algorithm for constructing (canonical) Gröbner bases (GB) for polynomial ideals. Roughly ... ideal (G) and G is a Gröbner basis.” A GB is characterized by the property ... Buchberger, A theoretical basis for the reduction of polynomials to canonical forms, SIGSAM Bull ... than for an arbitrary basis...

LEVI
 Referenced in 1 article
[sw10298]
 algebras. III: Levi decomposition and canonical basis. These are the last parts of a program ... given Lie algebra with a standardized basis and gives possibilities for its comparison with other ... algebras. Examples of Lie algebras with canonical bases of dim=10 are given...

cyclogpl.m
 Referenced in 1 article
[sw26770]
 regularization. The master integrals of the canonical basis thus obtained are expressed in terms...

SintezVL
 Referenced in 1 article
[sw37290]
 Optimization of linear stochastic systems based on canonical wavelet expansions. Design problems for linear mean ... optimal filters are considered on the basis of canonical wavelet expansions (CWEs). To simulate ... terms of an orthogonal twodimensional wavelet basis. To estimate an observed process represented...

CellML
 Referenced in 27 articles
[sw05635]
 structure are simple, providing a common basis for describing models and facilitating the creation ... using CellML can be reduced to the canonical form: a set of connected components...

GSVD
 Referenced in 1 article
[sw35769]
 diagram” approach) provides a unified strategy and basis to perform nearly all of the most ... principal components, correspondence analysis, multidimensional scaling, canonical correlation, partial least squares). Though the GSVD...

ARGENT
 Referenced in 3 articles
[sw03148]
 package for multistage reaction design on the basis of the FormalLogical Approach, are presented ... achieved via an original and very efficient canonicity testing subprocedure; other ”unsatisfactory” reactions are rejected...

ATENSOR
 Referenced in 12 articles
[sw00055]
 ATENSOR  REDUCE program for tensor simplification. Nature of...

BPOLY
 Referenced in 13 articles
[sw00089]
 Algorithm 812: BPOLY: An objectoriented library of...

CLIFFORD
 Referenced in 85 articles
[sw00131]
 CLIFFORD performs various computations in Grass mann and...

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

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

DEA
 Referenced in 246 articles
[sw00194]
 Data Envelopment Analysis (DEA) is becoming an increasingly...

dpgb
 Referenced in 16 articles
[sw00217]
 Improving the DISPGB algorithm using the discriminant ideal...

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

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

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