Gagliardo-Nirenberg-Sobolev Inequality: An Induction Proof.
Shibo LiuPublished in: Am. Math. Mon. (2023)
Keyphrases
- proof planning
- proof search
- theorem proving
- machine learning
- theorem prover
- concept formation
- rule induction
- linear logic
- inductive logic programming
- inference rules
- image interpolation
- data sets
- scale space
- sequence prediction
- complete axiomatization
- genetic algorithm
- oblique decision trees
- regularization term
- program synthesis
- constructive induction
- version space
- explanation based learning
- inductive inference
- energy function
- multiscale
- search engine
- artificial intelligence
- neural network