• iProver

  • Referenced in 56 articles [sw09707]
  • saturation algorithms. Redundancy elimination implemented in iProver include: dismatching constraints, blocking non-proper instantiations...
  • LinAIG

  • Referenced in 6 articles [sw10316]
  • state space traversal are redundancy elimination and constraint minimization: redundancy elimination eliminates so-called 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...
  • FME-IT

  • Referenced in 0 articles [sw17107]
  • performs Fourier-Motzkin elimination (FME) and removes constraints that are redundant due to Shannon-type ... 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 non-negativity properties, chain-rules...
  • 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 high-level 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 SAT-solver. MiniSat is a minimalistic...
  • SETHEO

  • Referenced in 122 articles [sw00707]
  • SETHEO: A high-performance 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, open-source 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...