• VMlambda

  • Referenced in 1 article [sw17460]
  • prose, and indeed found problematic both in theory and in practice. Thus, a proper definition ... This implementation makes extensive use of labeled arguments and polymorphic variants -- two advanced features...
  • cdd

  • Referenced in 115 articles [sw00114]
  • The program cdd+ (cdd, respectively) is a C...
  • Coq

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

  • Referenced in 110 articles [sw00181]
  • C-XSC. A programming environment for verified scientific...
  • Isabelle

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

  • Referenced in 263 articles [sw00509]
  • In the core computer science areas -- data structures...
  • LEO-II

  • Referenced in 51 articles [sw00512]
  • LEO-II is a standalone, resolution-based higher...
  • 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...
  • MiniSat

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

  • Referenced in 423 articles [sw00610]
  • Produced by experts for use in a variety...
  • Nitpick

  • Referenced in 63 articles [sw00622]
  • Nitpick is a counterexample generator for Isabelle/HOL that...
  • NLTK

  • Referenced in 40 articles [sw00626]
  • This book offers an introduction to Natural Language...
  • Paramils

  • Referenced in 87 articles [sw00678]
  • Paramils: an automatic algorithm configuration framework. The identification...
  • 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...
  • VPI

  • Referenced in 14 articles [sw01007]
  • The VPI (Variable Precision Interval) software package is...
  • ZEAL

  • Referenced in 16 articles [sw01033]
  • ZEAL is a general purpose package for computing...