CDEG: computerized diagrammatic euclidean geometry 2.0

Authors:
Nathaniel Miller
Affiliations:
University of Northern Colorado
Venue:
Diagrams'12 Proceedings of the 7th international conference on Diagrammatic Representation and Inference
Year:
2012

Citing 3
Cited 0

A diagrammatic subsystem of Hilbert's geometry

Logical reasoning with diagrams
Planar Polyline Drawings with Good Angular Resolution

GD '98 Proceedings of the 6th International Symposium on Graph Drawing
Ensuring Generality in Euclid's Diagrammatic Arguments

Diagrams '08 Proceedings of the 5th international conference on Diagrammatic Representation and Inference

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper briefly describes CDEG 2.0, a computerized formal system for giving diagrammatic proofs in Euclidean geometry.