• Reduze

  • Referenced in 82 articles [sw10354]
  • load balancing job system. Fast graph and matroid based algorithms allow for the identification ... optionally, Fermat to perform manipulations of algebraic expressions...
  • Eirene

  • Referenced in 11 articles [sw26097]
  • Matroid Filtrations and Computational Persistent Homology. This technical report introduces a novel approach to efficient ... computation in homological algebra over fields, with particular emphasis on computing the persistent homology ... novel relationship between discrete Morse theory, matroid theory, and classical matrix factorizations. We provide background...
  • realizationMatroids

  • Referenced in 1 article [sw19075]
  • space of all algebraic curves in Y which tropicalize to C. This library provides procedures ... balanced polyhedral fans, contained in two-dimensional matroidal fans trop(Y) where ... Here K is any algebraically closed field...
  • SlackIdeals

  • Referenced in 2 articles [sw33429]
  • mods out projective transformations. It is inherently algebraic, arising as the positive part ... slack ideals of convex polytopes and matroids. Slack ideals are often difficult to compute...
  • cdd

  • Referenced in 115 articles [sw00114]
  • The program cdd+ (cdd, respectively) is a C...
  • Cinderella

  • Referenced in 153 articles [sw00127]
  • An Interactive Geometry Software. Besides support for dynamic...
  • CoCoA

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

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

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

  • Referenced in 97 articles [sw00332]
  • We present a recently developed Maple-based “GeM...
  • homalg

  • Referenced in 30 articles [sw00411]
  • homalg: a meta-package for homological algebra. The...
  • LSQR

  • Referenced in 394 articles [sw00530]
  • Algorithm 583: LSQR: Sparse Linear Equations and Least...
  • Macaulay2

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

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

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

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

  • Referenced in 566 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • MOLGEN

  • Referenced in 26 articles [sw00586]
  • Due to a detailed description of the underlying...
  • nauty

  • Referenced in 609 articles [sw00611]
  • graph-theoretic program NAUTY: nauty is a program...