• Coq

  • Referenced in 1807 articles [sw00161]
  • Coq is a formal proof management system. It...
  • LAPACK

  • Referenced in 1642 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • Maple

  • Referenced in 5124 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

  • Referenced in 5957 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 12309 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • MATSLISE

  • Referenced in 51 articles [sw00559]
  • MATSLISE is a graphical MATLAB software package for...
  • NAG

  • Referenced in 417 articles [sw00610]
  • Produced by experts for use in a variety...
  • PERSYS

  • Referenced in 6 articles [sw00702]
  • PERSYS - a program for the solution near the...
  • R

  • Referenced in 8601 articles [sw00771]
  • R is a language and environment for statistical...
  • REDUCE

  • Referenced in 740 articles [sw00789]
  • REDUCE is an interactive system for general algebraic...
  • SLCPM12

  • Referenced in 24 articles [sw00873]
  • SLCPM12, a program for solving regular Sturm-Liouville...
  • ADINA

  • Referenced in 129 articles [sw01175]
  • ADINA R&D, Inc. was founded in 1986...
  • MACSYMA

  • Referenced in 716 articles [sw01209]
  • Macsyma is a general purpose symbolic-numerical-graphical...
  • NUMER

  • Referenced in 6 articles [sw01387]
  • NUMER, a code for Numerov integrations of Coulomb...
  • FreeFem++

  • Referenced in 1063 articles [sw01436]
  • FreeFem++ is an implementation of a language dedicated...
  • L-BFGS

  • Referenced in 735 articles [sw03229]
  • Algorithm 778: L-BFGS-B Fortran subroutines for...
  • PRMAT

  • Referenced in 5 articles [sw03277]
  • A parallel R-matrix program PRMAT for electron...
  • INTLAB

  • Referenced in 426 articles [sw04004]
  • INTLAB is the Matlab toolbox for reliable computing...
  • PETSc

  • Referenced in 1182 articles [sw04012]
  • The Portable, Extensible Toolkit for Scientific Computation (PETSc...
  • UCI-ml

  • Referenced in 3100 articles [sw04074]
  • UC Irvine Machine Learning Repository. We currently maintain...