Browse by Author

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 1.

Conference Poster

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-...).

This list was generated on Tue Jul 14 06:32:57 2020 CEST.