A Straightforward Sufficiency Proof for a Nonparametric Problem of Bolza in the Calculus of Variations.
Gerardo Sánchez LiceaPublished in: Axioms (2022)
Keyphrases
- natural deduction
- automated theorem proving
- proof search
- sequent calculus
- proof procedure
- provably correct
- cut elimination
- theorem proving
- linear logic
- bayesian modeling
- theorem prover
- nonparametric regression
- data driven
- inference rules
- computer algebra
- hidden markov models
- image sequences
- learning algorithm
- change point detection
- information retrieval