
ACRITHXSC
 Referenced in 49 articles
[sw00015]
 ACRITHXSC is a Fortranlike programming language...

ADOLC
 Referenced in 233 articles
[sw00019]
 ADOLC: Automatic Differentiation of C/C++. We present...

ACL2
 Referenced in 277 articles
[sw00060]
 ACL2 is both a programming language in which...

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

gmp
 Referenced in 265 articles
[sw00363]
 GMP is a free library for arbitrary precision...

Isabelle
 Referenced in 606 articles
[sw00454]
 Isabelle is a generic proof assistant. It allows...

LEDA
 Referenced in 261 articles
[sw00509]
 In the core computer science areas  data structures...

Maple
 Referenced in 5040 articles
[sw00545]
 The result of over 30 years of cutting...

Mathematica
 Referenced in 5883 articles
[sw00554]
 Almost any workflow involves computing results, and that...

PADRE2
 Referenced in 13 articles
[sw00667]
 PADRE2, a Fortran precompiler yielding error estimates and...

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

REDUCE
 Referenced in 739 articles
[sw00789]
 REDUCE is an interactive system for general algebraic...

Sostools
 Referenced in 270 articles
[sw00891]
 We are pleased to introduce SOSTOOLS, a free...

SCIP
 Referenced in 459 articles
[sw01091]
 SCIP is currently one of the fastest non...

SPLUS
 Referenced in 595 articles
[sw02892]
 SPLUS is a powerful environment for statistical...

AMPL
 Referenced in 583 articles
[sw04001]
 AMPL is a comprehensive and powerful algebraic modeling...

PETSc
 Referenced in 1148 articles
[sw04012]
 The Portable, Extensible Toolkit for Scientiﬁc Computation (PETSc...

FFTW
 Referenced in 481 articles
[sw04126]
 FFTW is a C subroutine library for computing...

Bioconductor
 Referenced in 298 articles
[sw04205]
 Bioconductor provides tools for the analysis and comprehension...

DOLFIN
 Referenced in 161 articles
[sw04313]
 DOLFIN is a C++/Python library that functions...