Two New Ways to Formally Prove Dandelin-Gallucci's Theorem
| Title: | Two New Ways to Formally Prove Dandelin-Gallucci's Theorem |
|---|---|
| Authors: | Braun, David; Magaud, Nicolas; Schreck, Pascal |
| Source: | Proceedings of the 2021 on International Symposium on Symbolic and Algebraic Computation. :59-66 |
| Availability: | http://dl.acm.org/doi/10.1145/3452143.3465550 |
| Database: | ACM Full-Text Collection |