Zulip Chat Archive
Stream: LFTCM 2024
Topic: Project idea: Theorems in Discrete Geometry
Aniket Basu Roy (Mar 25 2024 at 15:59):
Hi, I am probably late to the party, but I would like to propose formalizing theorems in discrete geometry by Helly and Tverberg.
Related theorems that I could find in mathlib4 are
Carathéodory's convexity theorem and Radon's theorem. If anyone is interested, please let me know.
Last updated: May 02 2025 at 03:31 UTC