Five-expert PDE: lean formalization
Open access0 citations
Abstract
Lean formalization for the explicit solution of the 5-expert PDE.
// Source
Authors: Jeff Calder, Nadejda Drenska
Institutions: University of Minnesota, Twin Cities Orthopedics, Louisiana State University