• FISHPAK

  • Referenced in 89 articles [sw08012]
  • Fortran77 subroutines that solve second- and fourth-order finite difference approximations to separable elliptic Partial ... elliptic equations. The solvers use the cyclic reduction algorithm. When the problem is singular...
  • SETHEO

  • Referenced in 114 articles [sw00707]
  • system SETHEO --- a theorem prover for first order logic. The system is based ... systems: a powerful preprocessing module for a reduction of the input formula, the proof procedure...
  • GRKLib

  • Referenced in 6 articles [sw20334]
  • control technique based on step size reduction in order to reach a certain tolerance...
  • Janet

  • Referenced in 32 articles [sw07776]
  • orderings in the polynomial case. Four involutive criteria are implemented to avoid unnecessary reductions during...
  • DPF

  • Referenced in 2 articles [sw12853]
  • backtracking strategies, and dynamic partial-order reduction. In particular, we define independence relations at different ... show the effectiveness of dynamic partial-order reduction based on these relations.par We apply...
  • LiE

  • Referenced in 143 articles [sw01075]
  • representation theory of complex semisimple (reductive) Lie groups and algebras, and on the structure ... fast execution: typically one or two orders of magnitude faster than similar programs written...
  • BFComp

  • Referenced in 3 articles [sw18654]
  • equivalent abstraction, thereby enabling approximate model-order reduction of dynamical systems. The BFs can then...
  • BIGLIE

  • Referenced in 5 articles [sw09207]
  • find special similarity solutions, conserved quantities, reductions of order etc. For example, you have seen...
  • slimgb

  • Referenced in 18 articles [sw00878]
  • monomial ordering. Further key features of the algorithm are parallel reductions, exchanging members...
  • WHAM

  • Referenced in 7 articles [sw18138]
  • code called wham that converges at fifth order. We avoid (1) field-by-field decomposition ... shocks and (2) excessive reduction to low-order stencils, as in the standard WENO formalism...
  • Morembs

  • Referenced in 2 articles [sw29513]
  • MOREMBS (Model Order Reduction of Elastic Multibody Systems) is a software package which is developed...
  • KerMor

  • Referenced in 2 articles [sw12979]
  • MATLAB© library providing routines for model order reduction of dynamical systems using subspace projection...
  • Boom

  • Referenced in 2 articles [sw01318]
  • implemented using BDDs and includes partial order reduction methods. Boom is intended for model checking...
  • Analog Insydes

  • Referenced in 1 article [sw10185]
  • Fast and robust symbolic model order reduction with analog insydes. Nowadays analog circuits become more ... analog circuits. The transient symbolic model order reduction allows the approximation of behavioral models keeping...
  • MORLAB

  • Referenced in 1 article [sw25667]
  • MORLAB - Model Order Reduction Laboratory. The MORLAB toolbox is a collection of MATLAB routines ... model order reduction of dynamical systems based on the solution of matrix equations. The implementation...
  • fpLLL

  • Referenced in 21 articles [sw13489]
  • includes implementations of the floating-point LLL reduction algorithm, offering different speed/guarantees ratios. It contains ... estimated best sequence of variants in order to provide a guaranteed output as fast ... zero lattice vector, and the BKZ reduction algorithm...
  • SAMURAI

  • Referenced in 26 articles [sw09145]
  • Scattering amplitudes from unitarity-based reduction algorithm at the integrand-level. SAMURAI is a tool ... corrections oriented towards automating next-to-leading order calculations relevant for the LHC phenomenology...
  • Kumo

  • Referenced in 5 articles [sw06963]
  • proofs in first order hidden logic, using OBJ3 as a reduction engine. The most important...
  • SINDy

  • Referenced in 13 articles [sw30277]
  • order models of a fluid flow, we combine this approach with dimensionality reduction techniques ... models also readily generalize to include higher-order nonlinear terms that model the effect...
  • SimGridMC

  • Referenced in 1 article [sw23751]
  • space explosion problem using Dynamic Partial Order Reduction and State Equality algorithms. As case studies...