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

  • Referenced in 11 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...
  • 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 Gauss-type 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...