
SYNAPS
 Referenced in 24 articles
[sw00941]
 monomial, Horner or Bernstein basis), parameterised by their coefficients type, container types, ... It contains solvers...

POLYNOMIAL
 Referenced in 3 articles
[sw20655]
 Efficient constructions for the coefficients of a polynomial in Bernstein form when the polynomial...

mable
 Referenced in 1 article
[sw31264]
 find maximum approximate Bernstein likelihood estimator of the unknown coefficients. Consequently, maximum likelihood estimates...

EFSMT
 Referenced in 1 article
[sw19487]
 robust control via BIBO stability, Lyapunov coefficient finding for nonlinear control systems, distributed priority synthesis ... guided constraint strengthening. The EFSMT solver uses Bernstein polynomials for solving nonlinear arithmetic constraints...

BARON
 Referenced in 294 articles
[sw00066]
 BARON is a computational system for solving nonconvex...

BPOLY
 Referenced in 13 articles
[sw00089]
 Algorithm 812: BPOLY: An objectoriented library of...

Coq
 Referenced in 1706 articles
[sw00161]
 Coq is a formal proof management system. It...

ISOGAT
 Referenced in 207 articles
[sw00457]
 A tutorial 2D MATLAB code for solving elliptic...

LAPACK
 Referenced in 1552 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

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

Macaulay2
 Referenced in 1502 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting...

Maple
 Referenced in 4837 articles
[sw00545]
 The result of over 30 years of cutting...

Mathematica
 Referenced in 5557 articles
[sw00554]
 Almost any workflow involves computing results, and that...

Matlab
 Referenced in 11146 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

MultRoot
 Referenced in 94 articles
[sw00604]
 Algorithm 835: MultRoot  a Matlab package for computing...

NAG
 Referenced in 359 articles
[sw00610]
 Produced by experts for use in a variety...

ORTHPOL
 Referenced in 69 articles
[sw00659]
 Algorithm 726: ORTHPOL—A package of routines for...

PHCpack
 Referenced in 198 articles
[sw00705]
 Algorithm 795: PHCpack: A generalpurpose solver for...

Plural
 Referenced in 70 articles
[sw00719]
 Singular is a computer algebra system (CAS) developed...

R
 Referenced in 7170 articles
[sw00771]
 R is a language and environment for statistical...