• Coq

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

  • Referenced in 2347 articles [sw00540]
  • Computer algebra system (CAS). Magma is a large...
  • R

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

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

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

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

  • Referenced in 341 articles [sw04351]
  • R is ‘GNU S’, a freely available language...
  • HOL

  • Referenced in 417 articles [sw05492]
  • Higher Order Logic (HOL) is a programming environment...
  • Maude

  • Referenced in 613 articles [sw06233]
  • Maude is a high-performance reflective language and...
  • OCaml

  • Referenced in 256 articles [sw06363]
  • OCaml is the most popular variant of the...
  • Nuprl

  • Referenced in 366 articles [sw06751]
  • The Nuprl system is a framework for reasoning...
  • sn

  • Referenced in 208 articles [sw08059]
  • R package sn: The Skew-Normal and Related...
  • ALF

  • Referenced in 61 articles [sw08603]
  • The Implementation of ALF - a Proof Editor based...
  • LEGO

  • Referenced in 104 articles [sw09685]
  • LEGO is an interactive proof development system (proof...
  • Epigram

  • Referenced in 21 articles [sw09687]
  • Epigram: Practical programming with dependent types. Find the...
  • Agda

  • Referenced in 155 articles [sw09689]
  • Agda is a dependently typed functional programming language...
  • FinTS

  • Referenced in 148 articles [sw11125]
  • FinTS: Companion to Tsay (2005) Analysis of Financial...
  • PIPER

  • Referenced in 28 articles [sw11478]
  • Types as models, model checking message-passing programs...