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

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

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

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

BLAS
 Referenced in 481 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 350 articles
[sw04028]
 Each Trilinos package is a selfcontained, independent...

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

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

Chaco
 Referenced in 118 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 37 articles
[sw14159]
 An iterative framework for simulation conformance. MAGIC is...

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

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

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