• R

  • Referenced in 8601 articles [sw00771]
  • considered as a different implementation of S. There are some important differences, but much code...
  • LAPACK

  • Referenced in 1642 articles [sw00503]
  • highly optimized block matrix operations be already implemented on each machine. LAPACK routines are written ... high-performance computers, particularly if specially coded implementations are provided by the manufacturer. Highly efficient ... machine-specific implementations of the BLAS are available for many modern high-performance computers ... architecture. A Fortran 77 reference implementation of the BLAS is available from netlib; however...
  • GAP

  • Referenced in 2876 articles [sw00320]
  • language, a library of thousands of functions implementing algebraic algorithms written in the GAP language...
  • SINGULAR

  • Referenced in 1408 articles [sw00866]
  • ideal. SINGULAR features fast and general implementations for computing Groebner and standard bases, including ... SINGULAR programming language. A general and efficient implementation of communication links allows SINGULAR to make...
  • Tabu search

  • Referenced in 1045 articles [sw08556]
  • guiding a user to understand basic implementation principles for solving combinatorial or nonlinear problems ... ability to adapt a rudimentary prototype implementation to encompass additional model elements, such ... results, which demonstrates that a well-tuned implementation makes it possible to obtain solutions...
  • PETSc

  • Referenced in 1182 articles [sw04012]
  • that provide the building blocks for the implementation of large-scale application codes on parallel ... algorithms it incorporates may make the efficient implementation of many application codes simpler than “rolling...
  • LMI toolbox

  • Referenced in 1429 articles [sw06383]
  • structural design. The LMI Control Toolbox implements state-of-the-art interior-point LMI solvers...
  • LIBSVM

  • Referenced in 1101 articles [sw04879]
  • areas. In this article, we present all implementation details of LIBSVM. Issues such as solving...
  • FreeFem++

  • Referenced in 1063 articles [sw01436]
  • FreeFem++ is an implementation of a language dedicated to the finite element method. It enables...
  • KELLEY

  • Referenced in 610 articles [sw04829]
  • scope to algorithms that are easy to implement (by the reader!) and understand.’ par This ... local convergence analysis is provided and implementation details are discussed. Other quasi-Newton methods ... unique feature of this book. Matlab implementations of all algorithms discussed in this book...
  • DIMACS

  • Referenced in 530 articles [sw08221]
  • DIMACS Implementation Challenges address questions of determining realistic algorithm performance where worst case analysis ... work. It also tests many assumptions about implementation methods and data structures. It provides ... technology transfer by providing leading edge implementations of algorithms for others to adapt. The information ... sites that include calls for participation, algorithm implementations, instance generators, bibliographies, and other electronic artifacts...
  • GAMS

  • Referenced in 842 articles [sw04978]
  • specific machine and system software implementation. GAMS is especially useful for handling large, complex...
  • Simulink

  • Referenced in 755 articles [sw04348]
  • block libraries that let you design, simulate, implement, and test a variety of time-varying...
  • mftoolbox

  • Referenced in 511 articles [sw23743]
  • Matrices: Theory and Computation and contains implementations of many of the algorithms described ... basis for the development of more sophisticated implementations. The codes are ”plain vanilla” versions; they...
  • HOL

  • Referenced in 508 articles [sw05492]
  • theorems can be proved and proof tools implemented. Built-in decision procedures and theorem provers ... particularly suitable as a platform for implementing combinations of deduction, execution, and property checking...
  • ALGOL 60

  • Referenced in 661 articles [sw21807]
  • them. ALGOL 60 was the first language implementing nested function definitions with lexical scope...
  • Mizar

  • Referenced in 469 articles [sw04704]
  • Mizar System is the only implementation of the Mizar Language. Originally, the Mizar system ... implemented on an IBM-PC x86 compatibles under MS DOS. Now we distribute releases...
  • S-PLUS

  • Referenced in 601 articles [sw02892]
  • data. It provides the tools to implement many standard and modern statistical methods made possible...
  • JDQZ

  • Referenced in 578 articles [sw07031]
  • Matlab® implementation of the JDQZ algorithm. The JDQZ algorithm can be used for computing...
  • Chaff

  • Referenced in 570 articles [sw06916]
  • search - especially a particularly efficient implementation of Boolean constraint propagation (BCP) and a novel...