
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 304 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 1748 articles
[sw00161]
 Coq is a formal proof management system. It...

Gmsh
 Referenced in 528 articles
[sw00366]
 Gmsh is a 3D finite element grid generator...

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

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

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

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

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

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

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

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

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

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

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

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