Proof Mining - Mathematics, Algorithms and Proofs
Proof Mining - Mathematics, Algorithms and Proofs
Proof Mining - Mathematics, Algorithms and Proofs
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
<strong>Proof</strong> <strong>Mining</strong><br />
In recent years (2000-2004) an extended case study in metric fixed<br />
point theory has been carried out (partly with P. Gerhardy, B.<br />
Lambov, L. Leu¸stean):<br />
(X, · ) normed linear space, C ⊂ X convex, bounded,<br />
f : C → C nonexpansive (n.e.)<br />
∀x, y ∈ C(f(x) − f(y) ≤ x − y).<br />
More than 1000 papers on the fixed point theory of such mapping!<br />
Ulrich Kohlenbach 8