Two New Ways to Formally Prove Dandelin-Gallucci's Theorem.

David Braun, Nicolas Magaud, Pascal Schreck

Browse the full ISSAC paper archive.