
SemiPar
 Referenced in 705 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 1023 articles
[sw05207]
 more than 40 years ago, this problem consists in designing the optimal set of routes...

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

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

Scikit
 Referenced in 392 articles
[sw08058]
 ease of use, performance, documentation, and API consistency. It has minimal dependencies and is distributed...

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

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

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

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

ggplot2
 Referenced in 254 articles
[sw04557]
 sophisticated multidimensional conditioning system and a consistent interface to map data to aesthetic attributes...

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

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

plfit
 Referenced in 220 articles
[sw23186]
 cases we find these conjectures to be consistent with the data, while in others...

Isar
 Referenced in 142 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...

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

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

BVPh
 Referenced in 183 articles
[sw06575]
 convergence of a solution. This book consists of three parts. Part I provides its basic...

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

DOLFIN
 Referenced in 170 articles
[sw04313]
 element assembly. To provide a simple and consistent user interface, DOLFIN wraps the functionality...