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 View Item