• 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 high-level language and interactive...
  • PARDISO

  • Referenced in 295 articles [sw00679]
  • The package PARDISO is a thread-safe, 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, general-purpose purely functional...
  • PETSc

  • Referenced in 1594 articles [sw04012]
  • The Portable, Extensible Toolkit for Scientific Computation (PETSc...
  • MUMPS

  • Referenced in 541 articles [sw04013]
  • Solution of large linear systems with symmetric positive...
  • UCI-ml

  • 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...