-
Coq
- Referenced in 1898 articles
[sw00161]
- Coq is a formal proof management system. It...
-
Gmsh
- Referenced in 767 articles
[sw00366]
- Gmsh is a 3D finite element grid generator...
-
Matlab
- Referenced in 13559 articles
[sw00558]
- MATLAB® is a high-level language and interactive...
-
PARDISO
- Referenced in 287 articles
[sw00679]
- The package PARDISO is a thread-safe, high...
-
R
- Referenced in 10082 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 170 articles
[sw00967]
- Practical implementation of nonlinear time series methods: The...
-
DUNE
- Referenced in 185 articles
[sw01466]
- DUNE, the Distributed and Unified Numerics Environment is...
-
SPIKE
- Referenced in 40 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 649 articles
[sw03516]
- deal.II is a C++ program library targeted at...
-
Haskell
- Referenced in 884 articles
[sw03521]
- Haskell is a standardized, general-purpose purely functional...
-
PETSc
- Referenced in 1593 articles
[sw04012]
- The Portable, Extensible Toolkit for Scientific Computation (PETSc...
-
MUMPS
- Referenced in 540 articles
[sw04013]
- Solution of large linear systems with symmetric positive...
-
UCI-ml
- Referenced in 3435 articles
[sw04074]
- UC Irvine Machine Learning Repository. We currently maintain...
-
FFTW
- Referenced in 552 articles
[sw04126]
- FFTW is a C subroutine library for computing...
-
SPSS
- Referenced in 676 articles
[sw04269]
- SPSS is a computer program used for survey...
-
FEniCS
- Referenced in 850 articles
[sw04314]
- The FEniCS Project is a collaborative project for...
-
Simulink
- Referenced in 820 articles
[sw04348]
- Simulink® is an environment for multidomain simulation and...
