Login / Signup
Splitting Proofs for Interpolation.
Bernhard Gleiss
Laura Kovács
Martin Suda
Published in:
CoRR (2017)
Keyphrases
</>
linear interpolation
theorem proving
formal proofs
interpolation methods
image processing
database systems
natural deduction
equational theories
multiscale
multiresolution
cubic spline
mathematical proofs