
iProver
 Referenced in 56 articles
[sw09707]
 saturation algorithms. Redundancy elimination implemented in iProver include: dismatching constraints, blocking nonproper instantiations...

LinAIG
 Referenced in 6 articles
[sw10316]
 state space traversal are redundancy elimination and constraint minimization: redundancy elimination eliminates socalled redundant...

sDTW
 Referenced in 1 article
[sw24327]
 used for identifying locally relevant constraints to eliminate redundant work. Relying on this observation ... core&adaptive width strategies which enforce different constraints reflecting the high level structural characteristics...

daTac
 Referenced in 3 articles
[sw26325]
 Symbolic Constraints: the basic strategy is implemented in daTac [Vig94]. Elimination of Redundant Information: several...

FMEIT
 Referenced in 0 articles
[sw17107]
 performs FourierMotzkin elimination (FME) and removes constraints that are redundant due to Shannontype ... contexts to simplify rate regions, e.g., by eliminating auxiliary rates. Occasionally, however, the procedure becomes ... outputs of such software often include constraints that are inactive due to information theoretic properties ... computer program), our algorithm removes such redundant constraints based on nonnegativity properties, chainrules...

Coq
 Referenced in 1906 articles
[sw00161]
 Coq is a formal proof management system. It...

FGb
 Referenced in 247 articles
[sw00286]
 FGb/Gb libraryGb is a program (191 420 lines...

GAP
 Referenced in 3221 articles
[sw00320]
 GAP is a system for computational discrete algebra...

HSL
 Referenced in 284 articles
[sw00418]
 HSL (formerly the Harwell Subroutine Library) is a...

Maple
 Referenced in 5403 articles
[sw00545]
 The result of over 30 years of cutting...

Mathematica
 Referenced in 6445 articles
[sw00554]
 Almost any workflow involves computing results, and that...

Matlab
 Referenced in 13702 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

MetiTarski
 Referenced in 54 articles
[sw00573]
 Many inequalities involving the functions ln, exp, sin...

MiniSat
 Referenced in 584 articles
[sw00577]
 An extensible SATsolver. MiniSat is a minimalistic...

SETHEO
 Referenced in 122 articles
[sw00707]
 SETHEO: A highperformance theorem prover. The paper...

R
 Referenced in 10196 articles
[sw00771]
 R is a language and environment for statistical...

SageMath
 Referenced in 2033 articles
[sw00825]
 Sage (SageMath) is free, opensource math software...

Scilab
 Referenced in 175 articles
[sw00834]
 Scilab includes hundreds of mathematical functions. It has...

SNDlib
 Referenced in 75 articles
[sw00884]
 SNDlib is a library of test instances for...

SYMMGRP
 Referenced in 121 articles
[sw01066]
 SYMMGRP.MAX and other symbolic programs for Lie symmetry...