
Algorithm 447
 Referenced in 143 articles
[sw12877]
 components, biconnected components and simple paths. The algorithm for partitioning of a graph into simple...

CLOSET
 Referenced in 50 articles
[sw26986]
 path compression technique to identify frequent closed itemsets quickly, and (3) exploring a partitionbased...

POLSYS_PLP
 Referenced in 18 articles
[sw01238]
 Algorithm 801: POLSYS_PLP. A partitioned linear product homotopy code for solving polynomial systems ... middle game of following a homotopy path is well understood at this point. The paper ... efficiently with more awkward situations. They exploit partitioned linear product structure to provide convenient starting ... points and to prune the number of paths to be followed. The discussion relies heavily...

POLSYS_GLP
 Referenced in 9 articles
[sw07346]
 theoretical advances reducing the number of homotopy paths that must be tracked and handling singular ... structure. GLP structure is intermediate between the partitioned linear product structure used by POLSYS...

ClusPath
 Referenced in 1 article
[sw29979]
 temporaldriven clustering to infer typical evolution paths. We propose ClusPath, a novel algorithm ... graph structure, inferred simultaneously with the partition, by using a “slow changing world” assumption ... smooth passage for entities along their evolution paths, which catches the longterm trends...

Timed Automata
 Referenced in 1 article
[sw28568]
 Dill [AD90, AD94], which uses a finite partitioning of the state space into socalled ... Warshall algorithm for the allpairs shortest paths problem. To obtain a finite search space...

ADOLC
 Referenced in 244 articles
[sw00019]
 ADOLC: Automatic Differentiation of C/C++. We present...

ANSYS
 Referenced in 668 articles
[sw00044]
 ANSYS offers a comprehensive software suite that spans...

ATLAS
 Referenced in 197 articles
[sw00056]
 This paper describes the Automatically Tuned Linear Algebra...

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...

CSDP
 Referenced in 200 articles
[sw00169]
 CSDP, A C Library for Semidefinite Programming. This...

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

GAUSS
 Referenced in 119 articles
[sw00322]
 The GAUSS Mathematical and Statistical System is a...

gfun
 Referenced in 138 articles
[sw00344]
 The gfun package provides tools for determining and...

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

HSL
 Referenced in 274 articles
[sw00418]
 HSL (formerly the Harwell Subroutine Library) is a...

hypre
 Referenced in 285 articles
[sw00426]
 hypre is a software library for the solution...

iOpt
 Referenced in 8 articles
[sw00448]
 iOpt: A software toolkit for heuristic search methods...