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

IBAL
 Referenced in 27 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...

pLocmAnimal
 Referenced in 28 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 userfriendly...

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 106 articles
[sw00114]
 The program cdd+ (cdd, respectively) is a C...

CoCoA
 Referenced in 595 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

GAP
 Referenced in 2662 articles
[sw00320]
 GAP is a system for computational discrete algebra...

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

LAPACK
 Referenced in 1579 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

Macaulay2
 Referenced in 1538 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting...

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

Maple
 Referenced in 4879 articles
[sw00545]
 The result of over 30 years of cutting...

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

Matlab
 Referenced in 11343 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

MiniSat
 Referenced in 518 articles
[sw00577]
 An extensible SATsolver. MiniSat is a minimalistic...

Normaliz
 Referenced in 141 articles
[sw00630]
 Normaliz is a tool for computations in affine...

polymake
 Referenced in 278 articles
[sw00724]
 polymake is open source software for research in...

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