• DLMF

  • Referenced in 2889 articles [sw04968]
  • include 3D interactive graphics and an equation search capability. The information technology tools that ... well suited to equation search, for example, or for input to computer algebra systems. These...
  • Tabu search

  • Referenced in 1079 articles [sw08556]
  • user’s guide to tabu search. We describe the main features of tabu search, emphasizing ... useful aspects of tabu search is the ability to adapt a rudimentary prototype implementation ... illustrate the strategic concerns of tabu search, and to show how they may be exploited...
  • mctoolbox

  • Referenced in 1521 articles [sw04827]
  • factorizations, visualizing matrices, and carrying out direct search optimization. Various other miscellaneous functions are also...
  • KELLEY

  • Referenced in 643 articles [sw04829]
  • considered. Chapter 3 is devoted to line-search and trust-region methods, which are used ... noise level in the function. Direct search algorithms, including the Nelder-Mead, multidirectional search...
  • TETRAD

  • Referenced in 441 articles [sw12177]
  • data from, estimates, tests, predicts with, and searches for causal and statistical models ... unique in the suite of principled search (”exploration,” ”discovery”) algorithms it provides--for example ... ability to search when there may be unobserved confounders of measured variables, to search ... models of latent structure, and to search for linear feedback models--and in the ability...
  • Chaff

  • Referenced in 591 articles [sw06916]
  • variants of the Davis-Putnam (DP) search algorithm. In this paper we describe the development ... careful engineering of all aspects of the search - especially a particularly efficient implementation of Boolean...
  • SparseMatrix

  • Referenced in 747 articles [sw04629]
  • well as an online search capability. Graph visualization of the matrices is provided...
  • minpack

  • Referenced in 740 articles [sw05310]
  • current state of optimization software and the search directions which should be considered...
  • SDPT3

  • Referenced in 707 articles [sw04009]
  • with either the HKM or the NT search direction. The basic code is written...
  • CGAL

  • Referenced in 403 articles [sw00118]
  • hull algorithms (in 2D, 3D and dD), search structures (kd trees for nearest neighbor search ... sorting functions, as well as a matrix search framework and a solver for linear...
  • Scatter Search

  • Referenced in 297 articles [sw05291]
  • Scatter search This chapter discusses the principles and foundations behind scatter search and its application ... problem of training neural networks. Scatter search is an evolutionary method that has been successfully ... wide array of hard optimization problems. Scatter search constructs new trial solutions by combining ... other evolutionary methods like genetic algorithms, scatter search is founded on the premise that systematic...
  • INTOPT_90

  • Referenced in 306 articles [sw04705]
  • Rigorous global search: continuous problems The monograph gives a survey of interval arithmetic based methods ... some new results with respect to zero search. The final chapter about intermediate values...
  • PSI-BLAST

  • Referenced in 235 articles [sw17324]
  • BLAST: a new generation of protein database search programs. The BLAST programs are widely used ... tools for searching protein and DNA databases for sequence similarities. For protein comparisons, a variety ... into a position-specific score matrix, and searching the database using this matrix. The resulting...
  • SVMlight

  • Referenced in 268 articles [sw04076]
  • ranking problems naturally occur in applications like search engines and recommender systems. Futhermore, this version ... solution using a form of local search. A detailed description of the algorithm...
  • BARON

  • Referenced in 365 articles [sw00066]
  • valleys of complex optimization problems in search of global solutions...
  • Mace4

  • Referenced in 228 articles [sw06905]
  • finder Mace4. Mace4 is a program that searches for finite models of first-order formulas ... first-order theorem provers, with the prover searching for proofs and Mace4 looking for countermodels ... equational problems than our previous model-searching program Mace2...
  • OTTER

  • Referenced in 320 articles [sw02904]
  • weighting, and strategies for directing and restricting searches for proofs. Otter can also be used...
  • Traces

  • Referenced in 191 articles [sw07823]
  • Search Space Contraction in Canonical Labeling of Graphs. The individualization-refinement paradigm for computing ... reducing the size of the associated search space is introduced, and a new tool, named ... leads to a huge reduction in the search space, thereby making computation feasible for several...
  • fminsearch

  • Referenced in 277 articles [sw07467]
  • enormously popular direct search method for multidimensional unconstrained minimization. Despite its widespread use, essentially...
  • VAMPIRE

  • Referenced in 267 articles [sw02918]
  • simplification techniques are used for pruning the search space: subsumption, tautology deletion (optionally modulo commutativity...