
BPOLY
 Referenced in 13 articles
[sw00089]
 oriented library of numerical algorithms for polynomials in Bernstein form. The design, implementation, and testing ... software library for univariate polynomials in Bernstein form is described. By invoking the class environment ... divisor, realroot solving, etc.) for polynomials in Bernstein form. The library allows compact ... intuitive implementation of lengthy manipulation of Bernsteinform polynomials, which often arise in computer graphics...

SYNAPS
 Referenced in 24 articles
[sw00941]
 structured), univariate and multivariate polynomial (in the monomial, Horner or Bernstein basis), parameterised by their ... contains solvers for univariate and multivariate polynomials, tools for manipulating algebraic numbers, for computing univariate...

POLYNOMIAL
 Referenced in 3 articles
[sw20655]
 presented. The construction and evaluation of polynomials in Bernstein form are motivated and justified. Efficient ... constructions for the coefficients of a polynomial in Bernstein form when the polynomial ... perform other usual operations with polynomials in Bernstein form...

msBP
 Referenced in 2 articles
[sw23268]
 package msBP: Multiscale Bernstein Polynomials for Densities. Performs Bayesian nonparametric multiscale density estimation and multiscale ... testing of group differences with multiscale Bernstein polynomials (msBP) mixtures as in Canale and Dunson...

EFSMT
 Referenced in 2 articles
[sw19487]
 constraint strengthening. The EFSMT solver uses Bernstein polynomials for solving nonlinear arithmetic constraints...

spsurv
 Referenced in 1 article
[sw32477]
 package spsurv: Bernstein Polynomial Based Semiparametric Survival Analysis. A set of reliable routines to ease ... semiparametric survival regression modeling based on Bernstein polynomials. ’spsurv’ includes proportional hazards, proportional odds...

mable
 Referenced in 1 article
[sw31264]
 unit interval by an approximate Bernstein polynomial model which is a mixture of certain beta...

bisoreg
 Referenced in 1 article
[sw30056]
 Package bisoreg: Bayesian Isotonic Regression with Bernstein Polynomials. Provides functions for fitting Bayesian monotonic regression...

MDS
 Referenced in 3 articles
[sw16408]
 lets you explore the BernsteinBézier form of a bivariate polynomial. In particular it allows ... triangulations. It’s great for teaching the BernsteinB ézier form, and it can also...

BGG
 Referenced in 11 articles
[sw27518]
 Macaulay2 package BGG: The BernsteinGel’fandGel’fand correspondence is an isomorphism between ... complexes of finitely generated modules over a polynomial ring and the derived category of bounded...

ACL2
 Referenced in 274 articles
[sw00060]
 ACL2 is both a programming language in which...

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

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

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

GQRAT
 Referenced in 35 articles
[sw00373]
 The concern here is with Gausstype quadrature...

Isabelle
 Referenced in 598 articles
[sw00454]
 Isabelle is a generic proof assistant. It allows...

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

LAPACK
 Referenced in 1586 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 1576 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting...