
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 generalpurpose functional...

Haskell
 Referenced in 727 articles
[sw03521]
 Haskell is a standardized, generalpurpose 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 highperformance 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...

Automath
 Referenced in 378 articles
[sw07127]
 Automath is a language designed by N.G. the...

sn
 Referenced in 208 articles
[sw08059]
 R package sn: The SkewNormal 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 messagepassing programs...