Search alternatives:
"bounded verification" » "based verification", "aided verification"

1
by Ambrosio, Luigi, Crippa, Gianluca, De Lellis, Camillo, Otto, Felix
Published 2008
Springer Berlin Heidelberg
... of functions of bounded variation. This volume provides an up-to-date overview of the status and perspectives...