Graph Drawing for Formalized Diagrammatic Proofs in GeometryMiller, 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.
Official URL: https://link.springer.com/content/pdf/bbm%3A978-3-...
Actions (login required)
|