37 citations · 105 across the 15 of their papers we have counts for
1 paper · 1 filter
Jean-Louis Krivine
A remark on the proof that the Grothendieck constant satisfies KG<π/(2ln(1+2)).