• SemiPar

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

  • Referenced in 440 articles [sw16554]
  • performing verification through least-squares solution for consistent pose parameters. This approach to recognition...
  • INTOPT_90

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

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

  • Referenced in 235 articles [sw12177]
  • search procedures are ”pointwise consistent”--they are guaranteed to converge almost certainly to correct information...
  • Mfree2D

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

  • Referenced in 153 articles [sw02918]
  • prover for first-order classical logic. It consists of a shell and a kernel...
  • Isar

  • Referenced in 95 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 131 articles [sw08341]
  • problem for ordinary differential equation systems. It consists of nine solvers, namely a basic solver...
  • MuPAD

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

  • Referenced in 122 articles [sw00927]
  • parallelism. Thus, using a solver in parallel consists of using a parallel vector implementation, either...
  • Spec#

  • Referenced in 85 articles [sw04598]
  • architecture of the Spec# programming system, consisting of the object-oriented Spec# programming language ... specifications, and the verifier can check the consistency between a program and its specifications...
  • E Theorem Prover

  • Referenced in 115 articles [sw10187]
  • equality. It accepts a problem specification, typically consisting of a number of first-order clauses...
  • LiE

  • Referenced in 114 articles [sw01075]
  • core of the system. This core consists of programs representing some 100 mathematical functions...
  • CESAR

  • Referenced in 112 articles [sw08510]
  • predicate transformers. The verification of a system consists in obtaining by automatic translation...
  • KEGG

  • Referenced in 108 articles [sw13866]
  • computer representation of the biological system, consisting of molecular building blocks of genes and proteins...
  • UTA Plus

  • Referenced in 108 articles [sw16225]
  • based on a principle of ordinal regression, consist in solving a small linear program...
  • Expokit

  • Referenced in 106 articles [sw00258]
  • inhomogeneity. The backbone of the sparse routines consists of matrix-free Krylov subspace projection methods...