Integrals Within Integrals: A Formalization of the Gagliardo-Nirenberg-Sobolev Inequality.

Floris van Doorn, Heather Macbeth

Browse the full ITP paper archive.