• 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, real-root solving, etc.) for polynomials in Bernstein form. The library allows compact ... intuitive implementation of lengthy manipulation of Bernstein-form 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 neural-network 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 Bernstein-Gel’fand-Gel’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 Bernstein-Bézier form of a bivariate polynomial. In particular it allows ... triangulations. It’s great for teaching the Bernstein-B ézier form, and it can also...
  • Kodiak

  • Referenced in 1 article [sw42706]
  • filib++ library) and Bernstein enclosure (for polynomials and rational functions) as self-validating enclosure methods...
  • Algorithm 1020

  • Referenced in 1 article [sw41905]
  • characterizing properties of the classical polynomial B-spline basis. We present a practical framework ... extraction operator that maps local Tchebycheffian Bernstein functions to the MDTB-spline 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 Gauss-type quadrature...