• Coq

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

  • Referenced in 1702 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • Mathematica

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

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

  • Referenced in 423 articles [sw00610]
  • Produced by experts for use in a variety...
  • ScaLAPACK

  • Referenced in 418 articles [sw00830]
  • ScaLAPACK is an acronym for scalable linear algebra...
  • SeDuMi

  • Referenced in 1281 articles [sw04002]
  • SeDuMi is a Matlab toolbox for solving optimization...
  • CPLEX

  • Referenced in 2773 articles [sw04082]
  • IBM® ILOG® CPLEX® offers C, C++, Java, .NET...
  • RODAS

  • Referenced in 1695 articles [sw04112]
  • Rosenbrock method of order 4(3), for problems...
  • ARPACK

  • Referenced in 842 articles [sw04218]
  • ARPACK is a collection of Fortran77 subroutines designed...
  • fda (R)

  • Referenced in 1531 articles [sw04511]
  • fda: Functional Data Analysis , These functions were developed...
  • Genocop

  • Referenced in 1099 articles [sw04707]
  • Genocop, by Zbigniew Michalewicz, is a genetic algorithm...
  • DLMF

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

  • Referenced in 515 articles [sw06496]
  • Automatic differentiation through the use of hyper-dual...
  • UMDES

  • Referenced in 403 articles [sw09523]
  • UMDES Software Library: UMDES-LIB is a library...
  • sbioPN

  • Referenced in 6 articles [sw11725]
  • sbioPN: sbioPN: Simulation of deterministic and stochastic spatial...
  • GitHub

  • Referenced in 2766 articles [sw23170]
  • GitHub (originally known as Logical Awesome LLC)[3...
  • PRMLT

  • Referenced in 1190 articles [sw42125]
  • PRMLT: Pattern Recognition and Machine Learning Toolbox. This...