• DLMF

  • Referenced in 2809 articles [sw04968]
  • include mathematical formulas, graphs, references, methods of computation, and links to software. Special features ... better tools are in active development. For example, LaTeX files are being used ... equation search, for example, or for input to computer algebra systems. These and other problems...
  • ScaLAPACK

  • Referenced in 418 articles [sw00830]
  • library for a number of computers, example programs, and the full set of LAPACK Working...
  • OEIS

  • Referenced in 4221 articles [sw07248]
  • book, or in a quiz, etc. For example, you discover what you think ... correct order. (Perhaps you are a computer scientist or someone working in information science...
  • CoCoA

  • Referenced in 654 articles [sw00143]
  • CoCoA is a system for Computations in Commutative Algebra. It is able to perform simple ... modules, matrices, rational functions). For example, it can readily compute Grobner bases, syzygies and minimal...
  • CutFEM

  • Referenced in 204 articles [sw15034]
  • computations on complex geometries obtained, for example, from computer-aided design or image data from...
  • KANT/KASH

  • Referenced in 157 articles [sw00481]
  • provide the user with the means to compute many invariants of F. It is possible ... function field case, for example, genus computations and the construction of Riemann-Roch spaces...
  • MADM

  • Referenced in 132 articles [sw06484]
  • supported by various real-world application examples. Also, computer codes for AHP, TOPSIS, DEA, PROMETHEE...
  • SDPB

  • Referenced in 104 articles [sw23927]
  • should enable many new computations. As an example application, we compute a new rigorous high...
  • channelflow

  • Referenced in 74 articles [sw07526]
  • higher-level algorithms that (for example) compute equilibria, traveling waves, and periodic orbits of Navier...
  • Tabu search

  • Referenced in 1066 articles [sw08556]
  • varying levels of sophistication. We provide several examples of discrete optimization problems to illustrate ... emergence of an extensive literature of computational results, which demonstrates that a well-tuned implementation...
  • nauty

  • Referenced in 609 articles [sw00611]
  • program NAUTY: nauty is a program for computing automorphism groups of graphs and digraphs ... called gtools included in the package. For example, geng can generate non-isomorphic graphs very...
  • gfun

  • Referenced in 144 articles [sw00344]
  • perform computations with generating functions defined by equations. For example, given two generating functions defined ... polynomial coefficients, there is a procedure to compute the differential equation satisfied by their product...
  • RIPPLE

  • Referenced in 57 articles [sw30642]
  • method, and the structure of the computer program. Example calculations then illustrate the method...
  • GOLEM

  • Referenced in 53 articles [sw24695]
  • randomly selects several pairs of positive examples and computes their rlggs. Among these rlggs, GOLEM ... which covers the largest number of positive examples and is consistent with the negative examples...
  • MUDPACK

  • Referenced in 31 articles [sw00601]
  • package will vectorize on Cray computers. Examples are given which demonstrate ease of use, efficiency...
  • GPELab

  • Referenced in 30 articles [sw14486]
  • stationary solutions, to show a few computational examples and to explain how the basic GPELab...
  • LMFDB

  • Referenced in 162 articles [sw07249]
  • equation and an Euler product, the simplest example being the Riemann zeta function ... objects to compute L-functions. In these pages you will see examples of L-functions...
  • KELLEY

  • Referenced in 631 articles [sw04829]
  • evaluation of the objective function involves computer simulations. In such cases the noise often introduces ... noisy functions, basics concepts, and three simple examples that are later used to demonstrate...
  • Harwell-Boeing sparse matrix collection

  • Referenced in 216 articles [sw08516]
  • range from small matrices, used as counter-examples to hypotheses in sparse matrix research ... large test cases arising in large-scale computation. We offer the collection to other researchers...
  • LEDA

  • Referenced in 263 articles [sw00509]
  • data structures, graph and network algorithms, and computational geometry -- LEDA is the first library ... used. The authors supply plentiful examples from a range of areas to show practical uses ... researchers in algorithms, data structures and computational geometry...