Results 21 to 40 of 198
Sort by:

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