• Isabelle/ZF

  • Referenced in 63 articles [sw04973]
  • Theorem, the Recursion Theorem, the Schroeder-Bernstein Theorem, and (assuming AC) the Wellordering Theorem. Isabelle/ZF...
  • SYNAPS

  • Referenced in 24 articles [sw00941]
  • multivariate polynomial (in the monomial, Horner or Bernstein basis), parameterised by their coefficients type, container...
  • BPOLY

  • Referenced in 13 articles [sw00089]
  • 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 ... real-root solving, etc.) for polynomials in Bernstein form. The library allows compact and intuitive ... implementation of lengthy manipulation of Bernstein-form polynomials, which often arise in computer graphics...
  • Rumba20

  • Referenced in 15 articles [sw07099]
  • stream cipher Salsa20 was introduced by Bernstein in 2005 as a candidate in the eSTREAM...
  • BGG

  • Referenced in 13 articles [sw27518]
  • Macaulay2 package BGG: The Bernstein-Gel’fand-Gel’fand correspondence is an isomorphism between...
  • RasMol

  • Referenced in 12 articles [sw18650]
  • site itself is provided courtesy of Bernstein + Sons. Maintenance of RasMol, much of the development...
  • ATHENa

  • Referenced in 7 articles [sw29717]
  • software implementations of cryptography, developed by Daniel Bernstein and Tanja Lange, called eBACS (ECRYPT Benchmarking...
  • BIJ

  • Referenced in 7 articles [sw41346]
  • piece to the paper How sharp is Bernstein’s inequality for Jacobi polynomials...
  • POLYNOMIAL

  • Referenced in 4 articles [sw20655]
  • construction and evaluation of polynomials in Bernstein form are motivated and justified. Efficient constructions ... coefficients of a polynomial in Bernstein form when the polynomial is not given with this ... perform other usual operations with polynomials in Bernstein form...
  • 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...
  • MDS

  • Referenced in 3 articles [sw16408]
  • Bernstein Bézier Form and Minimal Determining Sets. The applet on this page lets you explore ... Bernstein-Bézier form of a bivariate polynomial. In particular it allows you to construct minimal ... triangulations. It’s great for teaching the Bernstein-B ézier form, and it can also...
  • EECM-MPFQ

  • Referenced in 2 articles [sw19558]
  • paper ”ECM using Edwards curves” by Bernstein, Birkner, Lange, and Peters. EECM-MPFQ uses fewer ... paper ”Starfish on strike” by Bernstein, Birkner, and Lange...
  • mable

  • Referenced in 1 article [sw31264]
  • package mable: Maximum Approximate Bernstein Likelihood Estimation. Fit raw or grouped continuous data from ... density on unit interval by an approximate Bernstein polynomial model which is a mixture ... certain beta distributions and find maximum approximate Bernstein likelihood estimator of the unknown coefficients. Consequently...
  • EFSMT

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

  • Referenced in 2 articles [sw19557]
  • performance curves with torsion Z/2Z⊕Z/8Z of Bernstein et al. are completely recovered...
  • 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...
  • UNIPAR

  • Referenced in 1 article [sw00992]
  • data dependence analysis is based on the Bernstein sets. The source programs include subsets...
  • bisoreg

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

  • Referenced in 1 article [sw34423]
  • This is an implementation of Daniel J. Bernstein’s redo build system. He never released...
  • Bezout

  • Referenced in 1 article [sw38509]
  • Maplesheets demonstrating the application of Bernstein’s second theorem for the examples presented...