Results 21 to 40 of 72
Sort by:

  • 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...

  • AztecOO
  • Referenced in 77 articles [sw04027]
  • AztecOO provides an object-oriented interface the the...

  • 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...

  • DOLFIN
  • Referenced in 201 articles [sw04313]
  • DOLFIN is a C++/Python library that functions...

  • FEniCS
  • Referenced in 840 articles [sw04314]
  • The FEniCS Project is a collaborative project for...

  • 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...

  • mctoolbox
  • Referenced in 1486 articles [sw04827]
  • The Matrix Computation Toolbox is a collection of...

  • DLMF
  • Referenced in 2809 articles [sw04968]
  • NIST digital library of mathematical functions. The National...

  • SATzilla
  • Referenced in 99 articles [sw06281]
  • SATzilla: portfolio-based algorithm selection for SAT. It...

  • WEKA
  • Referenced in 305 articles [sw06435]
  • WEKA: Waikato Environment for Knowledge Analysis. WEKA is...

  • Satallax
  • Referenced in 55 articles [sw06849]
  • Satallax is an automated theorem prover for higher...