Francisco Penedo Álvarez
Francisco Penedo Álvarez
Light
Dark
Automatic
7
Formal Methods for Partial Differential Equations
Partial differential equations (PDEs) model nearly all of the physical systems and processes of interest to scientists and engineers. The analysis of PDEs has had a tremendous impact on society by enabling our understanding of thermal, electrical, …
Cite
×