Results 21 to 40 of 78
Sort by:

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

  • SageMath
  • Referenced in 1994 articles [sw00825]
  • Sage (SageMath) is free, open-source math software...

  • PRISM
  • Referenced in 442 articles [sw01186]
  • PRISM: Probabilistic symbolic model checker. In this paper...

  • ML

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

  • HiLog
  • Referenced in 51 articles [sw01580]
  • HiLog: A foundation for higher-order logic programming...

  • AFRA
  • Referenced in 29 articles [sw02090]
  • AFRA: argumentation framework with recursive attacks. The issue...

  • ASSAT
  • Referenced in 175 articles [sw02524]
  • ASSAT (Answer Sets by SAT solvers) is a...

  • ANTLR
  • Referenced in 66 articles [sw03062]
  • ANTLR (ANother Tool for Language Recognition) is a...

  • PVS
  • Referenced in 629 articles [sw03484]
  • PVS is a verification system: that is, a...

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

  • UCI-ml
  • Referenced in 3403 articles [sw04074]
  • UC Irvine Machine Learning Repository. We currently maintain...

  • RODAS
  • Referenced in 1695 articles [sw04112]
  • Rosenbrock method of order 4(3), for problems...

  • NuSMV
  • Referenced in 312 articles [sw04131]
  • NuSMV is a symbolic model checker developed as...

  • SPSS
  • Referenced in 673 articles [sw04269]
  • SPSS is a computer program used for survey...

  • Cmodels
  • Referenced in 71 articles [sw04435]
  • Cmodels is a system that computes answer sets...

  • Metis_
  • Referenced in 56 articles [sw04439]
  • Metis is an automatic theorem prover for first...

  • Isar
  • Referenced in 144 articles [sw04599]
  • Theorem proving system supporting both interactive proof development...

  • Gringo
  • Referenced in 108 articles [sw04630]
  • This document provides an introduction to the Answer...

  • Mizar
  • Referenced in 505 articles [sw04704]
  • The Mizar System is the only implementation of...