• OzDASL

  • Referenced in 1 article [sw33296]
  • world are included. Data sets are grouped by the most obvious applicable methodology. However these ... used for simple linear regression as well as for multiple regression, and almost any variable...
  • Emathema

  • Referenced in 1 article [sw24384]
  • integrability analysis of differential equations, our research group developed a dozen different off-line related ... external Maple packages, but also execute almost all simple symbolic computations related to equations...
  • CGAL

  • Referenced in 372 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • CLIFFORD

  • Referenced in 80 articles [sw00131]
  • CLIFFORD performs various computations in Grass mann and...
  • CoCoA

  • Referenced in 639 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • Coq

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

  • Referenced in 3003 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • homalg

  • Referenced in 30 articles [sw00411]
  • homalg: a meta-package for homological algebra. The...
  • LAPACK

  • Referenced in 1654 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • Macaulay2

  • Referenced in 1776 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...
  • Magma

  • Referenced in 3055 articles [sw00540]
  • Computer algebra system (CAS). Magma is a large...
  • Maple

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

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

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

  • Referenced in 155 articles [sw00560]
  • Maxima is a system for the manipulation of...
  • NAG

  • Referenced in 420 articles [sw00610]
  • Produced by experts for use in a variety...
  • nauty

  • Referenced in 579 articles [sw00611]
  • graph-theoretic program NAUTY: nauty is a program...
  • Normaliz

  • Referenced in 155 articles [sw00630]
  • Normaliz is a tool for computations in affine...
  • R

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

  • Referenced in 1792 articles [sw00825]
  • Sage (SageMath) is free, open-source math software...