Results 1 to 20 of 70
Sort by:

  • DTRE
  • Referenced in 3 articles [sw22672]
  • within many-sorted first-order logic; usually these theories are centered around inductive sorts. Abstract ... method of refinement is based on theory interpretation [1, 2, 3]. Theories and interpretations provide...

  • GAMES
  • Referenced in 1 article [sw17427]
  • several problems in analysis and interpretation. Currently, there are many commercial and public software packages ... analysis, integrating results with genome annotations and sorting each mismatch/deletion according to a range...

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

  • gmp
  • Referenced in 282 articles [sw00363]
  • GMP is a free library for arbitrary precision...

  • Isabelle
  • Referenced in 713 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...

  • Maple
  • Referenced in 5373 articles [sw00545]
  • The result of over 30 years of cutting...

  • Mathematica
  • Referenced in 6355 articles [sw00554]
  • Almost any workflow involves computing results, and that...

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

  • SETHEO
  • Referenced in 122 articles [sw00707]
  • SETHEO: A high-performance theorem prover. The paper...

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

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

  • ALGOL 68
  • Referenced in 291 articles [sw01226]
  • ALGOL 68 (short for ALGOrithmic Language 1968) is...

  • CASL
  • Referenced in 174 articles [sw02235]
  • The specification language developed by CoFI is called...

  • VAMPIRE
  • Referenced in 258 articles [sw02918]
  • Vampire 8.0, [RV02,Vor05] is an automatic theorem...

  • CUDA
  • Referenced in 1325 articles [sw03258]
  • The NVIDIA® CUDA® Toolkit provides a comprehensive development...

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

  • Eiffel
  • Referenced in 289 articles [sw03522]
  • Eiffel is an ISO-standardized, object-oriented programming...

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

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