• redbKIT

  • Referenced in 255 articles [sw12977]
  • decomposition strategies aimed at the reduction of computational complexity. Furthermore, they carry out both...
  • LiE

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

  • Referenced in 14 articles [sw07826]
  • conjectures Let G be a connected reductive complex algebraic group...
  • ScaLAPACK

  • Referenced in 418 articles [sw00830]
  • upper Hessenberg, bidiagonal and tridiagonal form, reduction of a symmetric-definite/Hermitian-definite generalized eigenproblem ... precision real, double precision real, single precision complex, and double precision complex. The software...
  • GaussFit

  • Referenced in 6 articles [sw04457]
  • make it easy to specify complex reduction models. GaussFit uses orthogonal transformations (Householder transformations) instead ... GaussFit is that it manipulates actually complex structures containing the value of an expression plus...
  • MIN3P

  • Referenced in 13 articles [sw11519]
  • partitioning between phases, oxidation-reduction, ion exchange, and surface complexation. The reaction network is designed...
  • ELAN

  • Referenced in 108 articles [sw02179]
  • existing rewriting-based languages where the term reduction strategy is hard-wired and not accessible ... labelled rules. From these primitives, more complex strategies can be expressed. In addition the user...
  • MONA

  • Referenced in 133 articles [sw06170]
  • faces a theoretically non-elementary worst-case complexity. The implementation has matured over a period ... tested over the years, including formula reductions, DAGification, guided tree automata, three-valued logic, eager...
  • RedHom

  • Referenced in 12 articles [sw08776]
  • reductions and coreductions and discrete Morse theory. Reduction methods are applied to speed ... large inputs due to is cubical complexity. RedHom may be used to compute Betti numbers ... implementation of several reduction methods and use it for various complexes, in particular cubical complexes...
  • CHAPLIN

  • Referenced in 15 articles [sw16362]
  • numerically for any complex argument. The algorithm is based on a reduction of harmonic polylogarithms...
  • Polynomial Toolbox

  • Referenced in 33 articles [sw07237]
  • coefficients. Discrete-time symmetric polynomial equations with complex coefficients are studied in the scalar ... several algorithms are proposed and evaluated. Polynomial reduction algorithms are first described to study theoretical...
  • scrime

  • Referenced in 2 articles [sw11398]
  • data developed/implemented at the group ”Statistical Complexity Reduction In Molecular Epidemiology” (SCRIME). Main focus...
  • dSPIN

  • Referenced in 31 articles [sw09888]
  • code references (function pointers); garbage collection; symmetry reductions. The design of dSPIN is driven ... existing modeling techniques, while coping with potential complexity blow-ups caused by adding extra functionalities...
  • SCR

  • Referenced in 19 articles [sw06939]
  • cost reduction method Although the Software Cost Reduction (SCR) method has been successfully used ... extension is simple and avoids the complexity of temporal logic...
  • GAMES

  • Referenced in 1 article [sw17427]
  • approaches. Overall GAMES enables an effective complexity reduction in large-scale DNA-sequencing projects. Availability...
  • DOMINO

  • Referenced in 2 articles [sw02164]
  • supports (a) effective management of model complexity, (b) reductions to model development time and design...
  • CeTA

  • Referenced in 47 articles [sw06584]
  • these tools use a combination of many complex termination criteria. Hence generated proofs ... termination criteria: dependency pairs, dependency graphs, and reduction pairs. Second, for each of these techniques...
  • Ninja

  • Referenced in 8 articles [sw24723]
  • library Ninja, which implements the Integrand Reduction via Laurent Expansion method for the computation ... algorithm is suited for applications to complex one-loop processes...
  • Intrinsic-Dimension

  • Referenced in 3 articles [sw39926]
  • dimension using graph distances: unraveling the geometric complexity of datasets” Scientific Report ... justifies the use of dimensionality reduction approaches to model complex systems and motivates the search...
  • POMDPS

  • Referenced in 39 articles [sw03055]
  • online approaches that alleviate the computational complexity by computing good local policies at each decision ... environments under various metrics (return, error bound reduction, lower bound improvement). Our experimental results indicate...