Formalizing Constructive Projective Geometry in Agda
Article in Electronic Notes in Theoretical Computer Science (October 2018)
The most recent citing publications are shown below. View all 16 publications that cite this research output on Dimensions.
Article in Electronic Notes in Theoretical Computer Science (October 2018)
Article in Geometry & Graphics (August 2018)
Article in European Romantic Review (November 2015)