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

Tcoffee
 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 superpositionbased theorem prover SPASS that allows...

AVATAR
 Referenced in 16 articles
[sw28636]
 architecture for firstorder 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...

EKRHyper
 Referenced in 12 articles
[sw21368]
 hyper tableau calculus, which integrates a superpositionbased 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...

iProverEq
 Referenced in 8 articles
[sw09452]
 iProverEq extends the iProver system with superpositionbased 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 wavelike components from their superposition. This paper is concerned with the statistical properties...

roguewaves
 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 firstorder ... 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 superpositionbased 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, nonlinear motion...

MUMMALS
 Referenced in 4 articles
[sw13110]
 alignment quality using sequence alignmentdependent structure superpositions correlates well with referencedependent evaluation that...

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