• CERES

  • Referenced in 21 articles [sw09442]
  • description: the proof transformation system CERES. Cut-elimination is the most prominent form of proof ... transformation in logic. The elimination of cuts in formal proofs corresponds to the removal ... statements (lemmas) in mathematical proofs. The cut-elimination method CERES (cut-elimination by resolution) works...
  • BEDFix

  • Referenced in 9 articles [sw04469]
  • Sikorski [2002] by utilizing “deep cuts”, that is, eliminating additional segments of the feasible domain...
  • tuCLEVER

  • Referenced in 1 article [sw41947]
  • which allows a syntactic proof of cut elimination. We then introduce standard hypersequent calculi...
  • RLT-POS

  • Referenced in 3 articles [sw18321]
  • filtering techniques, reduced RLT representations, and semidefinite cuts. When implemented individually, each model enhancement ... constraint elimination via filtering techniques and reduced RLT representations, and (2) semidefinite cuts for sparse...
  • TRIOPT

  • Referenced in 6 articles [sw02486]
  • small size, its vertices are eliminated from the available sample set. This changes global information ... policy which is based on an entropy cut. The tree adopts flexible breadth depending...
  • PolyAML

  • Referenced in 5 articles [sw08950]
  • inference. To support first-class polymorphic point-cut designators, a crucial feature for developing aspect ... Many complexities of the source language are eliminated in this translation, leading to a modular...
  • Minlog

  • Referenced in 2 articles [sw30424]
  • implements a decision procedure based on a cut-free sequent calculus formulation of these systems ... being carefully coded (in C) and by eliminating many obvious redundancies in proof searches...
  • EMOSL

  • Referenced in 3 articles [sw13460]
  • core matrix of the optimiser, eliminating the need to communicate via files. Thus the scope ... implementations of three MIP heuristics and cutting planes techniques...
  • TableSeer

  • Referenced in 3 articles [sw17615]
  • addition, we devise a novel page box-cutting method to improve the performance ... specific term weighting scheme. Overall, TableSeer eliminates the burden of manually extract table data from...
  • sDTW

  • Referenced in 1 article [sw24327]
  • costly, various heuristics have been proposed to cut away the potentially unproductive portions ... used for identifying locally relevant constraints to eliminate redundant work. Relying on this observation...
  • voboz

  • Referenced in 1 article [sw26661]
  • subtlety of particle unbinding, and may be eliminated if one is cavalier with processor time ... only parameter that remains, an outer density cut-off, does not influence whether...
  • AMAZON-SC

  • Referenced in 4 articles [sw06134]
  • cell interfaces and slope limiters to eliminate non-physical over/under-shoots in the interpolated data ... AMAZON-SC is implemented on a Cartesian cut cell mesh which automatically and efficiently produces...
  • EDO

  • Referenced in 2 articles [sw29926]
  • exception handling path unoptimized, while stack cutting optimizes the exception handling path by adding extra ... path profiling, exception path inlining, and throw elimination. Exception path profiling attempts to detect...
  • EULAIR

  • Referenced in 2 articles [sw00250]
  • Euler flow solver that does not require cut-cell geometric information at solid boundaries ... significance both algorithmically and numerically, for it eliminates complex topological operations hitherto considered essential...
  • ADOL-C

  • Referenced in 249 articles [sw00019]
  • ADOL-C: Automatic Differentiation of C/C++. We present...
  • CoCoA

  • Referenced in 654 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • Coq

  • Referenced in 1890 articles [sw00161]
  • Coq is a formal proof management system. It...
  • GAP

  • Referenced in 3189 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • GLOPT

  • Referenced in 19 articles [sw00359]
  • GLOPT is a Fortran 77 program for global...
  • gmp

  • Referenced in 282 articles [sw00363]
  • GMP is a free library for arbitrary precision...