A new proof of an identity of Jetter and Stöckler for multivariate Bernstein polynomials.
Ulrich AbelZhongkai LiPublished in: Comput. Aided Geom. Des. (2006)
Keyphrases
- theorem proving
- regression model
- artificial intelligence
- linear logic
- algebraic geometry
- database
- neural network
- information retrieval
- multivariate data
- geometry theorem proving
- multivariate gaussian distribution
- multivariate normal
- hermite transform
- lagrange interpolation
- complete axiomatization
- dependence structure
- natural deduction
- theorem prover
- statistical tests
- genetic algorithm
- databases