
CPLEX
 Referenced in 2804 articles
[sw04082]
 solve linear programming (LP) and related problems. Specifically, it solves linearly or quadratically constrained optimization...

LAPACK
 Referenced in 1713 articles
[sw00503]
 Level 3 BLAS — a set of specifications for Fortran subprograms that do various types ... provided by the manufacturer. Highly efficient machinespecific implementations of the BLAS are available ... will not perform as well as a specifically tuned implementation...

Macaulay2
 Referenced in 1958 articles
[sw00537]
 installation of methods for computing specifically with them. Macaulay2 can compute Betti numbers, Ext, cohomology...

GAMS
 Referenced in 881 articles
[sw04978]
 General Algebraic Modeling System (GAMS) is specifically designed for modeling linear, nonlinear and mixed integer ... timeconsuming details of the specific machine and system software implementation. GAMS is especially useful...

Maude
 Referenced in 700 articles
[sw06233]
 system supporting both equational and rewriting logic specification and programming for a wide range ... equational logic sublanguage. Besides supporting equational specification and programming, Maude also supports rewriting logic computation...

Gmsh
 Referenced in 783 articles
[sw00366]
 geometry, mesh, solver and postprocessing. The specification of any input to these modules...

PVS
 Referenced in 634 articles
[sw03484]
 verification system: that is, a specification language integrated with support tools and a theorem prover...

OpenFOAM
 Referenced in 555 articles
[sw04317]
 includes over 80 solver applications that simulate specific problems in engineering mechanics and over...

Z
 Referenced in 286 articles
[sw10291]
 Using Z. Specification, refinement, and proof. The book is an indepth introduction ... specification language $Z$. It is primarily directed to the user; the background theory is  with ... adquate for promoting a discipline of formal specification and reasoning? Another disappointment is that...

PRISM
 Referenced in 454 articles
[sw01186]
 performed through model checking such systems against specifications written in the probabilistic temporal logics PCTL...

NAG
 Referenced in 425 articles
[sw00610]
 many platforms and operating systems. For more specific product information, library content and availability click...

WordNet
 Referenced in 410 articles
[sw01777]
 just word forms—strings of letters—but specific senses of words. As a result, words...

spBayes
 Referenced in 389 articles
[sw10160]
 MCMC) methods whose efficiency depends upon the specific problem at hand. This requires extensive coding...

Gerris
 Referenced in 354 articles
[sw00341]
 Unlimited number of advected/diffused passive tracers Flexible specification of additional source terms Portable parallel support...

ode23
 Referenced in 335 articles
[sw06600]
 vector T. To obtain solutions at the specific times t0, t1,...,tf (all increasing...

AUSM
 Referenced in 328 articles
[sw06367]
 development for the low Mach number limit. Specifically, we employ asymptotic analysis to formally derive...

PSIBLAST
 Referenced in 235 articles
[sw17324]
 alignments produced by BLAST into a positionspecific score matrix, and searching the database using ... this matrix. The resulting PositionSpecific Iterated BLAST (PSIBLAST) program runs at approximately the same...

UNITY
 Referenced in 185 articles
[sw13461]
 UNITY. We evaluate UNITY  a computational model, specification language and proof system defined by Chandy ... programs  as a platform for simulation model specification and analysis. We describe a UNITYbased ... methodology starts with a simulation model specification in the form of a set of coupled ... prove them as theorems using the formal specification. The methodology is illustrated through generation...

LANCELOT
 Referenced in 310 articles
[sw00500]
 book is primarily concerned with a specific optimization package, the issues discussed have much wider...

bvp4c
 Referenced in 307 articles
[sw06178]
 bvp4c to evaluate the solution at specific points xint in the interval...