Two cryptomorphic formalizations of projective incidence geometry
| Title: | Two cryptomorphic formalizations of projective incidence geometry |
|---|---|
| Authors: | Braun, DavidAff1, cor1; Magaud, NicolasAff1, cor2; Schreck, PascalAff1, cor3 |
| Source: | Annals of Mathematics and Artificial Intelligence. :1-20 |
| Database: | Springer Nature Journals |