Proof Mining - Mathematics, Algorithms and Proofs
Proof Mining - Mathematics, Algorithms and Proofs
Proof Mining - Mathematics, Algorithms and Proofs
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
<strong>Proof</strong> <strong>Mining</strong><br />
<strong>Proof</strong> <strong>Mining</strong> in Analysis I: concrete spaces<br />
• Context: continuous functions between constructively<br />
represented Polish spaces.<br />
• Uniformity w.r.t. parameters from compact Polish spaces.<br />
• Extraction of bounds from ineffective existence proofs.<br />
Ulrich Kohlenbach 13