• nauty

  • Referenced in 411 articles [sw00611]
  • digraphs. It can also produce a canonical labelling. nauty is written in a portable subset...
  • gSpan

  • Referenced in 80 articles [sw11908]
  • unique minimum DFS code as its canonical label. Based on this lexicographic order gSpan adopts...
  • PMA

  • Referenced in 46 articles [sw19126]
  • decomposition, sparse principal components analysis, and sparse canonical correlation analysis, described in the following papers ... with applications to sparse principal components and canonical correlation analysis. Biostatistics ... Witten and Tibshirani (2009) Extensions of sparse canonical correlation analysis, with applications to genomic data...
  • GeM

  • Referenced in 48 articles [sw00332]
  • Maple code, and produces output in the canonical form. Classification of symmetries and conservation laws...
  • SQEMA

  • Referenced in 29 articles [sw03056]
  • computing first-order equivalents and proving canonicity of modal formulae, and thus established a very ... general correspondence and canonical completeness result. SQEMA is based on transformation rules, the most important ... obtain restricted versions of SemSQEMA which guarantee canonicity...
  • CANONIK

  • Referenced in 23 articles [sw12229]
  • algebras. III: Levi decomposition and canonical basis. These are the last parts of a program ... algebras. Examples of Lie algebras with canonical bases of dim=10 are given...
  • APS

  • Referenced in 29 articles [sw08969]
  • data structures, algebraic modules, rewriting and computing, canonical forms, tools for building strategies and data...
  • ICS

  • Referenced in 15 articles [sw21618]
  • several other advantages. ICS: Integrated canonizer and solver. ICS (Integrated Canonizer and Solver...
  • RuleML

  • Referenced in 20 articles [sw01792]
  • Initiative is to develop RuleML as the canonical Web language for rules using XML markup...
  • RAPTOR

  • Referenced in 17 articles [sw09002]
  • problem, and then solved by the canonical branch-and-bound method. The final solution...
  • CellML

  • Referenced in 16 articles [sw05635]
  • using CellML can be reduced to the canonical form: a set of connected components...
  • AFMULT

  • Referenced in 15 articles [sw08201]
  • which groups of variables are weighted, canonical analysis, Procrustes analysis, STATIS, INDSCAL. In MFA, these...
  • Graded Ring Database

  • Referenced in 14 articles [sw11291]
  • data, including the classification of all toric canonical 3-folds, Calabi–Yau 3-fold hypersurfaces...
  • BLAT

  • Referenced in 14 articles [sw16891]
  • adjusts large gap boundaries that have canonical splice sites where feasible. This paper describes...
  • xTensor

  • Referenced in 13 articles [sw04984]
  • package xPerm in order to compute the canonical form of a list of indices under...
  • Tensorlab

  • Referenced in 13 articles [sw14255]
  • sparse and incomplete data sets, tensor decompositions: canonical polyadic decomposition (CPD), multilinear singular value decomposition...
  • cross2D

  • Referenced in 7 articles [sw06139]
  • tensor grid giving a tensor in the canonical format. Classical algorithms for computing Tucker ... superior especially for tensors in the canonical or smooth elementwise canonical form...
  • Riegeom

  • Referenced in 11 articles [sw00805]
  • based on a precise mathematical formulation of canonical form of tensor expressions described elsewhere. Riegeom...
  • GSHMC

  • Referenced in 11 articles [sw02631]
  • rigorous method for sampling from a canonical ensemble. The HMC method is based on classical...
  • CDVine

  • Referenced in 10 articles [sw08161]
  • package provides functions for statistical inference of canonical vine (C-vine) and D-vine copulas...