• Regina

  • Referenced in 43 articles [sw04862]
  • graphical user interface and Python bindings, and also supports angle structures, census enumeration, combinatorial recognition...
  • Adinkras

  • Referenced in 27 articles [sw09383]
  • Adinkras for mathematicians. Adinkras are graphical tools created for the study of supersymmetry representations. Besides ... these problems. Original results include the enumeration of all hypercube adinkras through dimension...
  • mplp2

  • Referenced in 7 articles [sw21188]
  • finding the most probable (MAP) configuration in graphical models. However, for many real-world inference ... hard inference problems. However, these algorithms explicitly enumerate a candidate set of clusters, limiting them...
  • DPL

  • Referenced in 1 article [sw16174]
  • Analytic software tool for effectively quantifying uncertainties, enumerating options and uncovering new alternatives ... analytic tools on the market: a unique, graphical Influence Diagram/Decision Tree combination for the modeling...
  • ITC

  • Referenced in 0 articles [sw07633]
  • enumeration of the cosets of a subgroup of a finitely presented group using the graphics...
  • groebner_fan

  • Referenced in 1 article [sw29454]
  • software package whose main function is to enumerate all reduced Groebner bases of a polynomial ... Groebner fan of an ideal. Commands for graphical renderings of Groebner fans and monomial ideals...
  • GMiner

  • Referenced in 1 article [sw37945]
  • core CPU, multiple machine, or many-core graphic processing unit (GPU) approaches have been proposed ... patterns from the first level of the enumeration tree rather than storing and utilizing...
  • Fuzzy machine learning framework

  • Referenced in 0 articles [sw05893]
  • characteristics are fuzzy features and classes; numeric, enumeration features and features based on linguistic variables ... text I/O and HTML output; an advanced graphical user interface based on GTK+; and examples...
  • BARON

  • Referenced in 354 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • CGAL

  • Referenced in 394 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • 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...
  • gmp

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

  • Referenced in 713 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • 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...
  • MapReduce

  • Referenced in 263 articles [sw00546]
  • MapReduce is a new parallel programming model initially...
  • Mathematica

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