A proof mining case study on the unit interval
Title: A proof mining case study on the unit interval Speaker: Andrei Sipoș (University of Bucharest & IMAR) Abstract: In 1991, Borwein and Borwein proved the following: if L>0, f …
Master's program at the Faculty of Mathematics and Computer Science, University of Bucharest