• dReal

  • Referenced in 26 articles [sw07157]
  • various nonlinear real functions such as polynomials, trigonometric functions, exponential functions, etc. dReal implements...
  • PARSEC

  • Referenced in 8 articles [sw01191]
  • designed to allow easy manipulations of polynomial-trigonometric series within the environment of an electronic...
  • NUMATH

  • Referenced in 5 articles [sw00639]
  • functions, based on polynomials, splines and trigonometric polynomials; numerical integration, including multiple integrals, solving nonlinear...
  • POS3POLY

  • Referenced in 3 articles [sw09847]
  • able to handle three types of polynomials: trigonometric, real and hybrid. The positivity...
  • Symbolic Computing

  • Referenced in 1 article [sw09856]
  • integral calculus, operator analysis, polynomials and series, products, sums, trigonometric functions, vectors and matrices...
  • CELEFUNT

  • Referenced in 6 articles [sw00117]
  • Algorithm 714: CELEFUNT: a portable test package for...
  • DEMiCs

  • Referenced in 21 articles [sw00196]
  • DEMiCs is a software package written in C...
  • gfun

  • Referenced in 130 articles [sw00344]
  • The gfun package provides tools for determining and...
  • gmp

  • Referenced in 260 articles [sw00363]
  • GMP is a free library for arbitrary precision...
  • HOM4PS

  • Referenced in 70 articles [sw00410]
  • HOM4PS-2.0: a software package for solving polynomial...
  • LAPACK

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

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

  • Referenced in 22 articles [sw00539]
  • Algorithm 665: Machar: a subroutine to dynamically determined...
  • Maple

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

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

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

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

  • Referenced in 29 articles [sw00581]
  • Algorithm 846: MixedVol: a software package for mixed...