Keyphrases
- image interpolation
- formal proof
- linear interpolation
- sparse sampling
- formal proofs
- theorem prover
- theorem proving
- surface interpolation
- decision procedures
- piecewise polynomial
- interpolation methods
- machine learning
- data sets
- cut elimination
- interpolation method
- computer programs
- evolutionary algorithm
- database systems