Functional analysis and numerical mathematics