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

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

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

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

ML
 Referenced in 476 articles
[sw01218]
 ML (’Meta Language’) is a generalpurpose functional...

Haskell
 Referenced in 722 articles
[sw03521]
 Haskell is a standardized, generalpurpose purely functional...

CRAN
 Referenced in 319 articles
[sw04351]
 R is ‘GNU S’, a freely available language...

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

Maude
 Referenced in 611 articles
[sw06233]
 Maude is a highperformance reflective language and...

OCaml
 Referenced in 255 articles
[sw06363]
 OCaml is the most popular variant of the...

Nuprl
 Referenced in 362 articles
[sw06751]
 The Nuprl system is a framework for reasoning...

Automath
 Referenced in 340 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 60 articles
[sw08603]
 The Implementation of ALF  a Proof Editor based...

LEGO
 Referenced in 71 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 152 articles
[sw09689]
 Agda is a dependently typed functional programming language...

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

PIPER
 Referenced in 28 articles
[sw11478]
 Types as models, model checking messagepassing programs...