• HolonomicFunctions

  • Referenced in 30 articles [sw06666]
  • Christoph Koutschan allows to deal with multivariate holonomic functions and sequences in an algorithmic fashion ... linear differential equations, linear recurrences, q-difference equations, and mixed linear equations that a given ... function satisfies. Summation and integration of multivariate holonomic functions can be performed via creative telescoping...
  • pyunicorn

  • Referenced in 2 articles [sw19314]
  • pyunicorn (Pythonic unified complex network and recurrence analysis toolbox) open source software package for applying ... multivariate time series from a non-traditional perspective by means of recurrence quantification analysis...
  • ARfit

  • Referenced in 32 articles [sw00046]
  • ARfit is a collection of Matlab modules for...
  • CLIFFORD

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

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

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

  • Referenced in 220 articles [sw00286]
  • FGb/Gb libraryGb is a program (191 420 lines...
  • HSL

  • Referenced in 179 articles [sw00418]
  • HSL (formerly the Harwell Subroutine Library) is a...
  • Kronecker

  • Referenced in 64 articles [sw00495]
  • Kronecker is a package for Magma computer algebra...
  • LANCELOT

  • Referenced in 253 articles [sw00500]
  • LANCELOT. A Fortran package for large-scale nonlinear...
  • LAPACK

  • Referenced in 1386 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • LSQR

  • Referenced in 279 articles [sw00530]
  • Algorithm 583: LSQR: Sparse Linear Equations and Least...
  • Magma

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

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

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

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

  • Referenced in 146 articles [sw00563]
  • R package mclust: Normal Mixture Modeling for Model...
  • NAG

  • Referenced in 326 articles [sw00610]
  • Produced by experts for use in a variety...
  • NTL

  • Referenced in 174 articles [sw00638]
  • NTL is a high-performance, portable C++ library...
  • Padua2DM

  • Referenced in 7 articles [sw00668]
  • Padua2DM: Fast interpolation and cubature at the Padua...