• respol

  • Referenced in 1 article [sw18864]
  • establish lower bounds on the maximal number of faces. By studying mixed subdivisions, we obtain ... following maximal f-vector: (22,66,66,22), i.e. vector of face cardinalities. Certain general...
  • IBAL

  • Referenced in 26 articles [sw08945]
  • programming language, a program specifies a situation faced by an agent; evaluating the program amounts ... integrates Bayesian parameter estimation and decisiontheoretic utility maximization thoroughly into the framework. All these...
  • pLoc-mAnimal

  • Referenced in 26 articles [sw24438]
  • located at their different organelles or locations. Facing explosive growth of protein sequences ... predictor. Availability and implementation: To maximize the convenience of most experimental scientists, a user-friendly...
  • GRASS

  • Referenced in 4 articles [sw12609]
  • often preferring scaffold length over accuracy, when faced with the tradeoff. Results: We present GRASS ... optimization problem is solved using an expectation–maximization procedure and an unconstrained binary quadratic programming...
  • PIntron

  • Referenced in 1 article [sw17148]
  • fast method for gene structure prediction via maximal pairings of a pattern and a text ... processed. Traditionally, the problem has been faced by combining different tools, not specifically designed ... procedure is based on the construction of maximal embeddings, that are sequences obtained from paths...
  • FIDAP

  • Referenced in 35 articles [sw00006]
  • FIDAP (A Fluid Dynamics Analysis Program) This paper...
  • cdd

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

  • Referenced in 563 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • GAP

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

  • Referenced in 371 articles [sw00366]
  • Gmsh is a 3D finite element grid generator...
  • LAPACK

  • Referenced in 1503 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • Macaulay2

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

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

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

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

  • Referenced in 10365 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • MiniSat

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

  • Referenced in 129 articles [sw00630]
  • Normaliz is a tool for computations in affine...
  • polymake

  • Referenced in 260 articles [sw00724]
  • polymake is open source software for research in...
  • R

  • Referenced in 6475 articles [sw00771]
  • R is a language and environment for statistical...