• 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 partition-based...
  • 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]
  • temporal-driven 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 long-term trends...
  • Timed Automata

  • Referenced in 1 article [sw28568]
  • Dill [AD90, AD94], which uses a finite partitioning of the state space into so-called ... Warshall algorithm for the all-pairs shortest paths problem. To obtain a finite search space...
  • ADOL-C

  • Referenced in 244 articles [sw00019]
  • ADOL-C: 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...