
SemiPar
 Referenced in 474 articles
[sw07116]
 suitable for several audiences. One audience consists of students or working scientists with only ... Another audience that they are aiming at consists of statistically oriented scientists who have ... third possible audience. This book consists of 19 chapters and 3 appendixes...

VRP
 Referenced in 654 articles
[sw05207]
 more than 40 years ago, this problem consists in designing the optimal set of routes...

SIFT
 Referenced in 456 articles
[sw16554]
 performing verification through leastsquares solution for consistent pose parameters. This approach to recognition...

INTOPT_90
 Referenced in 281 articles
[sw04705]
 resp. FORTRAN 90. par The book consists of seven chapters and a bibliography...

TETRAD
 Referenced in 262 articles
[sw12177]
 search procedures are ”pointwise consistent”they are guaranteed to converge almost certainly to correct information...

DASSL
 Referenced in 242 articles
[sw03174]
 given as input. These values must be consistent, (that is, if T,Y,YPRIME...

Mfree2D
 Referenced in 178 articles
[sw15725]
 loadings with heat transfer process. The software consists of three major processors : MFreePre, MFreeApp...

VAMPIRE
 Referenced in 177 articles
[sw02918]
 prover for firstorder classical logic. It consists of a shell and a kernel...

Isar
 Referenced in 107 articles
[sw04599]
 Isar formal proof document language. Isabelle/Isar input consists either of proper document constructors, or improper ... commands (for diagnostics, exploration etc.). Proof texts consisting of proper document constructors only admit...

E Theorem Prover
 Referenced in 137 articles
[sw10187]
 equality. It accepts a problem specification, typically consisting of a number of firstorder clauses...

ODEPACK
 Referenced in 135 articles
[sw08341]
 problem for ordinary differential equation systems. It consists of nine solvers, namely a basic solver...

SUNDIALS
 Referenced in 132 articles
[sw00927]
 parallelism. Thus, using a solver in parallel consists of using a parallel vector implementation, either...

MuPAD
 Referenced in 131 articles
[sw00606]
 MuPAD consists of a powerful symbolic engine, a language that is optimized for operating...

Spec#
 Referenced in 94 articles
[sw04598]
 architecture of the Spec# programming system, consisting of the objectoriented Spec# programming language ... specifications, and the verifier can check the consistency between a program and its specifications...

KEGG
 Referenced in 127 articles
[sw13866]
 computer representation of the biological system, consisting of molecular building blocks of genes and proteins...

LiE
 Referenced in 121 articles
[sw01075]
 core of the system. This core consists of programs representing some 100 mathematical functions...

CESAR
 Referenced in 120 articles
[sw08510]
 predicate transformers. The verification of a system consists in obtaining by automatic translation...

NAS Parallel Benchmarks
 Referenced in 116 articles
[sw08853]
 from computational fluid dynamics (CFD) applications and consist of five kernels and three pseudoapplications...

Expokit
 Referenced in 115 articles
[sw00258]
 inhomogeneity. The backbone of the sparse routines consists of matrixfree Krylov subspace projection methods...