Mathematical software

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

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

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

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

Maude
Referenced in 698 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 767 articles [sw00366]
geometry, mesh, solver and post-processing. The specification of any input to these modules...

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

OpenFOAM
Referenced in 552 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 in-depth 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 442 articles [sw01186]
performed through model checking such systems against specifications written in the probabilistic temporal logics PCTL...

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

WordNet
Referenced in 411 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 344 articles [sw00341]
Unlimited number of advected/diffused passive tracers Flexible specification of additional source terms Portable parallel support...

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

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

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 UNITY-based ... 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 306 articles [sw00500]
book is primarily concerned with a specific optimization package, the issues discussed have much wider...

JML
Referenced in 189 articles [sw04597]
Modeling Language (JML) is a behavioral interface specification language that can be used to specify ... approach of Eiffel and the model-based specification approach of the Larch family of interface ... specification languages, with some elements of the refinement calculus...

CPLEX