• VAMPIRE

  • Referenced in 239 articles [sw02918]
  • calculi of ordered binary resolution and superposition for handling equality. The splitting rule and negative...
  • T-coffee

  • Referenced in 41 articles [sw13195]
  • mixture of alignment programs and/or structure superposition. Here, we illustrate the power of the approach...
  • SPASS+T

  • Referenced in 19 articles [sw04613]
  • SPASS+T is an extension of the superposition-based theorem prover SPASS that allows...
  • AVATAR

  • Referenced in 16 articles [sw28636]
  • architecture for first-order resolution and superposition theorem provers called AVATAR (Advanced Vampire Architecture...
  • QSobel

  • Referenced in 12 articles [sw12660]
  • extraction algorithm Sobel. Because FRQI utilizes the superposition state of qubit sequence to store...
  • E-KRHyper

  • Referenced in 12 articles [sw21368]
  • hyper tableau calculus, which integrates a superposition-based handling of equality into the hyper tableau...
  • DQAINT

  • Referenced in 11 articles [sw02110]
  • oscillating behavior is due to the superposition of periodic functions which change sign when evaluated...
  • DQAINF

  • Referenced in 8 articles [sw02646]
  • oscillating behavior is due to the superposition of periodic functions which change sign when evaluated...
  • COSMOS

  • Referenced in 8 articles [sw04049]
  • compare (small) molecules for 3D similarity by superposition. Given two molecules (as MDL Molfiles...
  • Algorithm 820

  • Referenced in 8 articles [sw04659]
  • signal is approximated or represented as a superposition of “basic” waveforms chosen from a dictionary...
  • iProver-Eq

  • Referenced in 8 articles [sw09452]
  • iProver-Eq extends the iProver system with superposition-based equational reasoning and maintains the distinctive...
  • Superposition Calculus

  • Referenced in 3 articles [sw28571]
  • Variant of the Superposition Calculus. We provide a formalization of a variant of the superposition ... uses all the standard restrictions of the superposition rules, together with the following refinement, inspired ... basic superposition calculus: each clause is associated with a set of terms which are assumed ... than a previously replaced term. The standard superposition calculus corresponds to the case where...
  • DIAL

  • Referenced in 6 articles [sw13837]
  • view, rotate and enlarge the 3D superposition for the optimal (and suboptimal) alignment of query...
  • SynLab

  • Referenced in 6 articles [sw25702]
  • analyzing wave-like components from their superposition. This paper is concerned with the statistical properties...
  • rogue-waves

  • Referenced in 6 articles [sw32953]
  • Extreme superposition: rogue waves of infinite order and the Painlevé-III hierarchy. We study...
  • Beagle

  • Referenced in 3 articles [sw13649]
  • Beagle -- a hierarchic superposition theorem prover. Beagle is an automated theorem prover for first-order ... implements a refined version of the hierarchic superposition calculus. This system description focuses on Beagle...
  • Pirate

  • Referenced in 2 articles [sw19207]
  • Automatic Induction inside Superposition. Proving properties of functions over recursive data types is challenging because ... processed by SMT solvers or superposition-based theorem provers. We introduce an extension ... superposition calculus featuring a careful integration of induction over data types. Our approach preserves completeness ... inherits the powerful redundancy machinery of superposition, thereby enabling identification of invalid conjectures. An experimental...
  • FlexibleBodies

  • Referenced in 4 articles [sw08703]
  • flexible structure is defined by superposition of a in general large, non-linear motion...
  • MUMMALS

  • Referenced in 4 articles [sw13110]
  • alignment quality using sequence alignment-dependent structure superpositions correlates well with reference-dependent evaluation that...
  • SARSA

  • Referenced in 4 articles [sw13834]
  • visually view, rotate and enlarge the superposition of aligned RNA molecules. SARSA is available online...