
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 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...

pLocmAnimal
 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 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 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 highlevel language and interactive...

MiniSat
 Referenced in 483 articles
[sw00577]
 An extensible SATsolver. 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...