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

msBP
 Referenced in 4 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...

POLYNOMIAL
 Referenced in 4 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...

ReachNN
 Referenced in 1 article
[sw42707]
 reachability analysis approach based on Bernstein polynomials that can verify neuralnetwork controlled systems with ... consider abstracting feedforward neural networks with Bernstein polynomials for a small subset of inputs ... estimation based on the theory of Bernstein polynomials and more practical sampling based error bound...

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

BIJ
 Referenced in 7 articles
[sw41346]
 paper How sharp is Bernstein’s inequality for Jacobi polynomials...

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

Kaa
 Referenced in 1 article
[sw42705]
 implementation of reachable set computation using Bernstein polynomials. Reachable set computation ... nonlinear systems uses parallelotope bundles and Bernstein polynomials. In this paper, we describe...

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

BGG
 Referenced in 13 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...

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

Kodiak
 Referenced in 1 article
[sw42706]
 filib++ library) and Bernstein enclosure (for polynomials and rational functions) as selfvalidating enclosure methods...

Algorithm 1020
 Referenced in 1 article
[sw41905]
 characterizing properties of the classical polynomial Bspline basis. We present a practical framework ... extraction operator that maps local Tchebycheffian Bernstein functions to the MDTBspline basis of interest...

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

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

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

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

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