• SparseMatrix

  • Referenced in 725 articles [sw04629]
  • structural engineering, computational fluid dynamics, model reduction, electromagnetics, semiconductor devices, thermodynamics, materials, acoustics, computer graphics/vision...
  • ScaLAPACK

  • Referenced in 418 articles [sw00830]
  • generalized orthogonal factorizations, orthogonal transformation routines, reductions to upper Hessenberg, bidiagonal and tridiagonal form, reduction...
  • Knapsack

  • Referenced in 488 articles [sw04723]
  • considered with respect to relaxations, bounds, reductions and other algorithmic techniques for the exact solution...
  • bootlib

  • Referenced in 426 articles [sw40642]
  • point processes. Chapter 9 describes how variance reduction techniques such as balanced simulation...
  • LS-DYNA

  • Referenced in 340 articles [sw03068]
  • Multicore processors have resulted in a drastic reduction in computer hardware costs and a huge...
  • redbKIT

  • Referenced in 255 articles [sw12977]
  • offline-online decomposition strategies aimed at the reduction of computational complexity. Furthermore, they carry...
  • Traces

  • Referenced in 187 articles [sw07823]
  • approach presented here leads to a huge reduction in the search space, thereby making computation...
  • NTRU

  • Referenced in 182 articles [sw11761]
  • polynomial mixing system with the independence of reduction modulo two relatively prime integers...
  • TISEAN

  • Referenced in 170 articles [sw00967]
  • algorithms for data representation, prediction, noise reduction, dimension and Lyapunov estimation, and nonlinearity testing...
  • Esterel

  • Referenced in 166 articles [sw20012]
  • based verification tools that perform either bisimulation reduction or safety property checking. Esterel...
  • LiE

  • Referenced in 165 articles [sw01075]
  • representation theory of complex semisimple (reductive) Lie groups and algebras, and on the structure...
  • CutTools

  • Referenced in 102 articles [sw07230]
  • CutTools: a program implementing the OPP reduction method to compute one-loop amplitudes. We present ... program that implements the OPP reduction method to extract the coefficients of the one-loop...
  • Reduze

  • Referenced in 82 articles [sw10354]
  • Reduze – Feynman integral reduction in C++. Reduze is a computer program for reducing Feynman integrals ... integrals employing a variant of Laporta’s reduction algorithm. This web page presents version ... program. New features include the distributed reduction of single topologies on multiple processor cores ... parallel reduction of different topologies is supported via a modular, load balancing job system. Fast...
  • MONA

  • Referenced in 133 articles [sw06170]
  • tested over the years, including formula reductions, DAGification, guided tree automata, three-valued logic, eager...
  • BiCGstab

  • Referenced in 128 articles [sw04022]
  • second one is used for further reduction of the BiCG residue and for improving...
  • SETHEO

  • Referenced in 122 articles [sw00707]
  • systems: a powerful preprocessing module for a reduction of the input formula, the proof procedure...
  • VTK

  • Referenced in 120 articles [sw10593]
  • modeling techniques such as: implicit modeling, polygon reduction, mesh smoothing, cutting, contouring, and Delaunay triangulation...
  • Manopt

  • Referenced in 117 articles [sw08493]
  • registration, independent component analysis, metric learning, dimensionality reduction and so on. The Manopt toolbox, available...
  • BABEL

  • Referenced in 71 articles [sw03018]
  • narrowing as the basis of a lazy reduction semantics which embodies both rewriting ... well as a soundness result for the reduction semantics w.r.t. the declarative one. We also ... sketch a completeness result for the reduction semantics and illustrate the features of the language...
  • ELAN

  • Referenced in 108 articles [sw02179]
  • existing rewriting-based languages where the term reduction strategy is hard-wired and not accessible...