• 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...
  • Sintez-VL

  • 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 two-dimensional 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 Formal-Logical 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 object-oriented 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...