Graph Drawing for Formalized Diagrammatic Proofs in Geometry

Miller, Nathaniel (2017) Graph Drawing for Formalized Diagrammatic Proofs in Geometry. In: Graph Drawing and Network Visualization, GD 2017, September 25-27 , pp. 588-590(Official URL: https://link.springer.com/content/pdf/bbm%3A978-3-...).

Full text not available from this repository.

Item Type:	Conference Poster
Classifications:	P Styles > P.600 Poly-line S Software and Systems > S.120 Visualization
URI:	http://gdea.informatik.uni-koeln.de/id/eprint/1634

Actions (login required)

View Item