• CoCoA

  • Referenced in 659 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • Gerris

  • Referenced in 354 articles [sw00341]
  • Gerris is a Free Software program for the...
  • Macaulay2

  • Referenced in 1958 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...
  • 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...
  • SINGULAR

  • Referenced in 1522 articles [sw00866]
  • SINGULAR is a Computer Algebra system (CAS) for...
  • VODE

  • Referenced in 214 articles [sw01005]
  • VODE: A variable-coefficient ODE solver. This paper...
  • Modula

  • Referenced in 197 articles [sw01224]
  • The Modula programming language is a descendant of...
  • ALGOL 68

  • Referenced in 291 articles [sw01226]
  • ALGOL 68 (short for ALGOrithmic Language 1968) is...
  • Ada95

  • Referenced in 294 articles [sw01753]
  • Ada is a structured, statically typed, imperative, wide...
  • Eiffel

  • Referenced in 289 articles [sw03522]
  • Eiffel is an ISO-standardized, object-oriented programming...
  • FFTW

  • Referenced in 553 articles [sw04126]
  • FFTW is a C subroutine library for computing...
  • CVX

  • Referenced in 855 articles [sw04594]
  • CVX is a modeling system for constructing and...
  • JML

  • Referenced in 190 articles [sw04597]
  • The Java Modeling Language (JML) is a behavioral...
  • DLMF

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

  • Referenced in 717 articles [sw05148]
  • PDCO: Primal-Dual interior method for Convex Objectives...
  • Chebfun

  • Referenced in 423 articles [sw05897]
  • Chebfun is a collection of algorithms and a...