On quantitative versions of theorems due to F.E. Browder and R. Wittmann

By Ulrich Kohlenbach. 2011

75 citations recorded by the source corpus.

Subfields: Computational Theory and Mathematics, Geometry and Topology, Mathematical Physics

View Paper: https://www.semanticscholar.org/paper/5c8cf4935fbf123f704a260d7c1d1b60631a5963