Dispersion Lemmas Revisited.

Ingenuin Gasser Peter A. Markowich Benoit Perthame

Published in: VLSI Design (1999)

Keyphrases

theorem proving
theorem prover
multiscale
color images
multi objective
proof search