
GAMS
 Referenced in 828 articles
[sw04978]
 timeconsuming details of the specific machine and system software implementation. GAMS is especially useful...

Macaulay2
 Referenced in 1579 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting research in algebraic geometry and commutative algebra ... installation of methods for computing specifically with them. Macaulay2 can compute Betti numbers, Ext, cohomology...

OBJ3
 Referenced in 138 articles
[sw05370]
 OBJ3 is a program specification and proof system based on order sorted equational logic ... research and teaching in software design and specification, rapid prototyping, theorem proving, user interface design...

ASTREE
 Referenced in 111 articles
[sw13704]
 safety critical realtime software generated automatically from synchronous specifications, producing a correctness proof...

Expokit
 Referenced in 171 articles
[sw00258]
 large dimension. The software handles real and complex matrices and provides specific routines for symmetric...

TestU01
 Referenced in 93 articles
[sw08033]
 TestU01 is a software library, implemented in the ANSI C language, and offering a collection ... many specific generators proposed in the literature or found in widelyused software. It provides ... library and to userdefined generators. Specific tests suites for either sequences of uniform random ... Additional software permits one to perform systematic studies of the interaction between a specific test...

MOCHA
 Referenced in 88 articles
[sw12935]
 MOCHA is a growing interactive software environment for system specification and verification. The main objective...

Bandera
 Referenced in 134 articles
[sw07663]
 code and a software requirement formalized in Bandera’s temporal specification language, and it generates...

MINTO
 Referenced in 132 articles
[sw04587]
 MINTO is a software system that solves mixedinteger linear programs by a branch ... MINTO provides various mechanisms for incorporating problem specific knowledge...

ABACUS
 Referenced in 115 articles
[sw02948]
 ABACUS allows the software developer to concentrate merely on the problem specific parts...

spBayes
 Referenced in 297 articles
[sw10160]
 MCMC) methods whose efficiency depends upon the specific problem at hand. This requires extensive coding ... helped by the lack of available software for such algorithms. Here, we introduce a statistical...

KeY
 Referenced in 63 articles
[sw09969]
 design, implementation, formal specification, and formal verification of objectoriented software as seamlessly as possible...

LANCELOT
 Referenced in 293 articles
[sw00500]
 nonlinear optimization (Release A). LANCELOT is a software package for solving largescale nonlinear optimization ... book is primarily concerned with a specific optimization package, the issues discussed have much wider...

EBayesThresh
 Referenced in 112 articles
[sw11104]
 software and some details both of the general methodology and of some specific technical matters ... wavelet transforms are obtained using other software, the routine will not be applicable directly...

SAS/IML
 Referenced in 70 articles
[sw03240]
 then employ SAS/IML software’s interactive matrix language for more specific analysis and exploration ... storage for a data matrix because SAS/IML software does this automatically. You can change...

MAGIC
 Referenced in 37 articles
[sw14159]
 which verifies conformance of software components against statemachine specifications. To this aim, MAGIC extracts ... abstract software models using predicate ahstraction, and resolves the inherent tradeoff between model accuracy ... implemented in the MAGIC verification engine, i.e., specification conformance using simulation and abstraction refinement. Viewing...

CoFI
 Referenced in 42 articles
[sw01631]
 Common Framework Initiative for algebraic specification and development of software, is an open international collaboration ... design a coherent family of algebraic specification languages, based on a critical selection of constructs...

EnviroStat
 Referenced in 22 articles
[sw11048]
 practice. With the help of software, more specifically R codes, values at ungauged sites...

CASL
 Referenced in 172 articles
[sw02235]
 CoFI is called Casl: the Common Algebraic Specification Language. Its main features are as follows ... specifying requirements and design for conventional software packages It has restrictions to various sublanguages...

OpenFOAM
 Referenced in 363 articles
[sw04317]
 Toolbox is a free, open source CFD software package produced by OpenCFD ... includes over 80 solver applications that simulate specific problems in engineering mechanics and over...