• Coq

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

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

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

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

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

  • Referenced in 34 articles [sw00971]
  • Algorithm 733: TOMP - Fortran modules for optimal control...
  • ML

  • Referenced in 524 articles [sw01218]
  • ML (’Meta Language’) is a general-purpose functional...
  • PETSc

  • Referenced in 1594 articles [sw04012]
  • The Portable, Extensible Toolkit for Scientific Computation (PETSc...
  • 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...
  • WinBUGS

  • Referenced in 773 articles [sw04492]
  • WinBUGS is part of the BUGS project, which...
  • Ipopt

  • Referenced in 787 articles [sw04808]
  • Ipopt (Interior Point OPTimizer, pronounced eye-pea-Opt...
  • DLMF

  • Referenced in 2889 articles [sw04968]
  • NIST digital library of mathematical functions. The National...
  • SAS

  • Referenced in 1580 articles [sw06377]
  • SAS (Statistical Analysis System) is an integrated system...
  • HLLE

  • Referenced in 695 articles [sw06605]
  • The HLLE[3] (Harten, Lax, van Leer and...
  • GMRFLib

  • Referenced in 338 articles [sw06641]
  • Gaussian Markov random fields. Theory and applications. Researchers...
  • Twelf

  • Referenced in 173 articles [sw06888]
  • Twelf is a language used to specify, implement...
  • OEIS

  • Referenced in 4285 articles [sw07248]
  • The On-Line Encyclopedia of Integer Sequence. The...
  • topicmodels

  • Referenced in 20 articles [sw07324]
  • R package topicmodels: Topic models. Provides an interface...