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

Gmsh
 Referenced in 783 articles
[sw00366]
 Gmsh is a 3D finite element grid generator...

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

PARDISO
 Referenced in 295 articles
[sw00679]
 The package PARDISO is a threadsafe, high...

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

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

TISEAN
 Referenced in 173 articles
[sw00967]
 Practical implementation of nonlinear time series methods: The...

DUNE
 Referenced in 186 articles
[sw01466]
 DUNE, the Distributed and Unified Numerics Environment is...

SPIKE
 Referenced in 42 articles
[sw02780]
 SPIKE: A parallel environment for solving banded linear...

NAMD
 Referenced in 80 articles
[sw03198]
 NAMD is a parallel molecular dynamics code designed...

deal.ii
 Referenced in 650 articles
[sw03516]
 deal.II is a C++ program library targeted at...

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

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

MUMPS
 Referenced in 541 articles
[sw04013]
 Solution of large linear systems with symmetric positive...

UCIml
 Referenced in 3444 articles
[sw04074]
 UC Irvine Machine Learning Repository. We currently maintain...

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

SPSS
 Referenced in 677 articles
[sw04269]
 SPSS is a computer program used for survey...

FEniCS
 Referenced in 856 articles
[sw04314]
 The FEniCS Project is a collaborative project for...

Simulink
 Referenced in 820 articles
[sw04348]
 Simulink® is an environment for multidomain simulation and...