Tag Archives: Quasi-automated proofs

Diameter Problem (3)

3. What we will do in this post and and in future posts We will now try all sorts of ideas to give good upper bounds for the abstract diameter problem that we described. As we explained, such bounds apply … Continue reading

Posted in Combinatorics, Convex polytopes, Open problems | Tagged , , | 1 Comment