Newtonian program analysis via tensor product.

Thomas W. Reps Emma Turetsky Prathmesh Prabhu

Published in: POPL (2016)

Keyphrases

tensor product
b spline
cubic spline
multiscale
medical images
mr images
probability density function