
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 polynomialtrigonometric 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...

ACRITHXSC
 Referenced in 49 articles
[sw00015]
 ACRITHXSC is a Fortranlike programming language...

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

CUBPACK
 Referenced in 29 articles
[sw00175]
 CUBPACK aims to offer a collection of re...

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]
 HOM4PS2.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 highlevel 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...