
FISHPAK
 Referenced in 89 articles
[sw08012]
 Fortran77 subroutines that solve second and fourthorder 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 partialorder reduction. In particular, we define independence relations at different ... show the effectiveness of dynamic partialorder 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 modelorder 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) fieldbyfield decomposition ... shocks and (2) excessive reduction to loworder 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 floatingpoint 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 unitaritybased reduction algorithm at the integrandlevel. SAMURAI is a tool ... corrections oriented towards automating nexttoleading 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 higherorder 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...