• MPTP 0.2

  • Referenced in 45 articles [sw02589]
  • boost the development of domain-based, knowledge-based, and generally AI-based ATP methods. This ... produce and use natively a detailed XML format, suitable for communication with other tools ... just a XSLT stylesheet translating the XML tree to the TPTP syntax. The problem creation ... than MML authors and usable for general discovery in mathematics...
  • DIAsDEM

  • Referenced in 1 article [sw29650]
  • tags to them and deriving a flat XML DTD for the archive. DIAsDEM focuses ... filings and company reports. In the knowledge discovery phase, text units are iteratively clustered ... tagged with semiautomatically determined cluster labels and XML tags respectively. Additionally, extracted named entities...
  • Coq

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

  • Referenced in 253 articles [sw00546]
  • MapReduce is a new parallel programming model initially...
  • Matlab

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

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

  • Referenced in 15 articles [sw00845]
  • One step in interoperating among heterogeneous databases is...
  • Theorema

  • Referenced in 145 articles [sw00961]
  • The software system Theorema provides a uniform logic...
  • Smalltalk

  • Referenced in 190 articles [sw01561]
  • Smalltalk is an object-oriented, dynamically typed, reflective...
  • WordNet

  • Referenced in 393 articles [sw01777]
  • WordNet® is a large lexical database of English...
  • SeqLog

  • Referenced in 13 articles [sw01946]
  • A logical language, SeqLog, for mining and querying...
  • TANE

  • Referenced in 38 articles [sw02196]
  • TANE: An efficient algorithm for discovering functional and...
  • OTTER

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

  • Referenced in 712 articles [sw03455]
  • Spin is a popular open-source software tool...
  • Haskell

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

  • Referenced in 2602 articles [sw04082]
  • IBM® ILOG® CPLEX® offers C, C++, Java, .NET...
  • CRAN

  • Referenced in 488 articles [sw04351]
  • R is ‘GNU S’, a freely available language...
  • Smodels

  • Referenced in 238 articles [sw04631]
  • The Smodels system is an Answer Set Programming...
  • GAMS

  • Referenced in 844 articles [sw04978]
  • The General Algebraic Modeling System (GAMS) is specifically...
  • XQuery

  • Referenced in 123 articles [sw06669]
  • XML is a versatile markup language, capable of...