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

LAPACK
 Referenced in 1695 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

Matlab
 Referenced in 13460 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

ScaLAPACK
 Referenced in 417 articles
[sw00830]
 ScaLAPACK is an acronym for scalable linear algebra...

BLAS
 Referenced in 496 articles
[sw03216]
 Lowlevel utilities common to many mathematical software...

TPVM
 Referenced in 9 articles
[sw03347]
 Multiparadigm distributed computing with TPVM Distributed concurrent computing...

Trilinos
 Referenced in 407 articles
[sw04028]
 Each Trilinos package is a selfcontained, independent...

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

ESC/Java
 Referenced in 137 articles
[sw07217]
 The Extended Static Checker for Java version 2...

Chaco
 Referenced in 117 articles
[sw09640]
 Chaco: Software for Partitioning Graphs. Before a calculation...

Octagon
 Referenced in 61 articles
[sw13702]
 The Octagon Abstract Domain Library is a free...

MAGIC
 Referenced in 38 articles
[sw14159]
 An iterative framework for simulation conformance. MAGIC is...

Python
 Referenced in 2042 articles
[sw14460]
 Python is a widely used highlevel, general...

Ur/Web
 Referenced in 8 articles
[sw17454]
 Ur/Web: a simple model for programming the web...

ALGOL 60
 Referenced in 666 articles
[sw21807]
 ALGOL 60 (short for Algorithmic Language 1960) is...

GitHub
 Referenced in 2340 articles
[sw23170]
 GitHub (originally known as Logical Awesome LLC)[3...