Desargues theorem in projective 3-space (1991)
by
Eugeniusz Kusak
| Venue: | Formalized Mathematics |
| Citations: | 2 - 0 self |
BibTeX
@ARTICLE{Kusak91desarguestheorem,
author = {Eugeniusz Kusak},
title = {Desargues theorem in projective 3-space},
journal = {Formalized Mathematics},
year = {1991},
volume = {2}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
MML Identifier: PROJDES1. WWW:
Citations
| 8 | The collinearity structure - Skaba - 1990 |
