• OpenAD/F

  • Referenced in 23 articles [sw09380]
  • optimized cross-country sequences of vertex, edge, and face elimination steps. Specifically, for the generation...
  • tw-heuristic

  • Referenced in 4 articles [sw34759]
  • that compute an elimination order, i.e., a permutation of the vertex set. In this paper ... elimination order of width at most (k), but extending it by one more vertex exceeds ... last (c) positions of the partial elimination order such that it can be extended without...
  • NET-SYNTHESIS

  • Referenced in 3 articles [sw29379]
  • corresponding to direct interactions are eliminated and (ii) pseudo-vertex collapse subject to the constraints...
  • triangulation

  • Referenced in 5 articles [sw10357]
  • algebraic elimination, optimization, and geometric modeling. Our algorithm exactly computes vertex- and halfspace-representations...
  • LqsgwFlapw

  • Referenced in 1 article [sw28331]
  • method. The all electron LAPW basis set eliminates the need for pseudopotentials. We discuss ... many body diagrammatic resummations such as the vertex-corrected GW approach and the GW+DMFT...
  • ADOL-C

  • Referenced in 244 articles [sw00019]
  • ADOL-C: Automatic Differentiation of C/C++. We present...
  • ARMS

  • Referenced in 65 articles [sw00048]
  • ARMS: an algebraic recursive multilevel solver for general...
  • BoomerAMG

  • Referenced in 168 articles [sw00086]
  • BoomerAMG: A parallel algebraic multigrid solver and preconditioner...
  • CoCoA

  • Referenced in 637 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • Coq

  • Referenced in 1828 articles [sw00161]
  • Coq is a formal proof management system. It...
  • GAP

  • Referenced in 2957 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • gmp

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

  • Referenced in 298 articles [sw00457]
  • A tutorial 2D MATLAB code for solving elliptic...
  • LAPACK

  • Referenced in 1648 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • LEDA

  • Referenced in 261 articles [sw00509]
  • In the core computer science areas -- data structures...
  • Macaulay2

  • Referenced in 1734 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...
  • Magma

  • Referenced in 2998 articles [sw00540]
  • Computer algebra system (CAS). Magma is a large...
  • Maple

  • Referenced in 5177 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

  • Referenced in 6075 articles [sw00554]
  • Almost any workflow involves computing results, and that...