• N3Logic

• Referenced in 9 articles [sw02003]
• nested graphs and quantified variables and with predicates for implication and accessing resources...

• ArgoCLP

• Referenced in 12 articles [sw07192]
• restricted to the universal quantification of an implication in which the antecedent is a conjunction ... succedent is a disjunction of existentially quantified formulae which are conjunctions of atoms.par Coherent logic...

• Curvatubes

• Referenced in 1 article [sw41818]
• unifying theory will have several implications, in biology for quantifying tubular shapes or designing...

• Ratsnake

• Referenced in 1 article [sw21961]
• kidney biopsy images. Accurate annotation identifying and quantifying such structures in microscopy images can provide ... severe implication in children and infants. However a tool for detecting and quantifying the disease...

• casper

• Referenced in 5 articles [sw09370]
• Quantifying alternative splicing from paired-end RNA-sequencing data. RNA-sequencing has revolutionized biomedical research ... gene alternative splicing. The problem has important implications for human health, as alternative splicing...

• PoPMuSiC

• Referenced in 4 articles [sw16879]
• data is also expected to have significant implications in the prediction and the analysis ... average concentration of structural weaknesses is detected, quantifying how these sites have been optimized...

• Prodepth

• Referenced in 0 articles [sw25085]
• approach that uses support vector regression to quantify the relationship between RD and protein sequence ... this approach. We also discuss the potential implications of this new structural parameter...

• Coq

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

• Matlab

• Referenced in 13460 articles [sw00558]
• MATLAB® is a high-level language and interactive...

• MiniSat

• Referenced in 565 articles [sw00577]
• An extensible SAT-solver. MiniSat is a minimalistic...

• QEPCAD

• Referenced in 283 articles [sw00752]
• QEPCAD B: A program for computing with semi...

• QuBE++

• Referenced in 27 articles [sw00766]
• In this paper we describe QuBE++, an efficient...

• R

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

• SINGULAR

• Referenced in 1504 articles [sw00866]
• SINGULAR is a Computer Algebra system (CAS) for...

• ML

• Referenced in 522 articles [sw01218]
• ML (’Meta Language’) is a general-purpose functional...

• GOLOG

• Referenced in 172 articles [sw02159]
• GOLOG: A logic programming language for dynamic domains...

• OTTER

• Referenced in 316 articles [sw02904]
• Our current automated deduction system Otter is designed...

• SQEMA

• Referenced in 39 articles [sw03056]
• Algorithmic correspondence and completeness in modal logic. IV...

• Haskell

• Referenced in 879 articles [sw03521]
• Haskell is a standardized, general-purpose purely functional...

• REDLOG

• Referenced in 166 articles [sw04250]
• REDLOG is a package that extends the computer...