David Braun, Nicolas Magaud, Pascal Schreck. Two New Ways to Formally Prove Dandelin-Gallucci's Theorem. In Frédéric Chyzak, George Labahn, editors, ISSAC '21: International Symposium on Symbolic and Algebraic Computation, Virtual Event, Russia, July 18-23, 2021. pages 59-66, ACM, 2021. [doi]
Abstract is missing.