Proof Mining for Nonlinear Operator Theory: Four Case Studies on Accretive Operators, the Cauchy Problem and Nonexpansive Semigroups
We present the first applications of proof mining to the theory of partial differential equations as well as to set-valued operators in Banach spaces, in particular to abstract Cauchy problems generated by set-valued nonlinear operators that fulfill certain accretivity conditions. In relation to (...