Two new ways to formally prove Dandelin-Gallucci's theorem (Q6666520)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Two new ways to formally prove Dandelin-Gallucci's theorem |
scientific article; zbMATH DE number 7970457
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Two new ways to formally prove Dandelin-Gallucci's theorem |
scientific article; zbMATH DE number 7970457 |
Statements
Two new ways to formally prove Dandelin-Gallucci's theorem (English)
0 references
20 January 2025
0 references
automated theorem proving
0 references
Coq
0 references
Dandelin-Gallucci
0 references
formal proof
0 references
Maple
0 references
matroid theory
0 references
Pappus
0 references
projective geometry
0 references
Wu method
0 references
