| # | Title | Type | Language | |||||||||||
| 1. | CDEG User`s Manual CDEG User s Manual Nathaniel Miller October 11 2011 1 Introduction This is the user s manual for Nathaniel Miller s CDEG program CDEG stands for Computerized Diagrammatic Euclidean Geometry This program implements a di agrammatic formal system for giving diagram based proofs of theorems of Euclidean geometry similar to the informal proofs found in Euclid s Elements 1 The details of the formal system this computer program is based on can be found in Nathani |
PDF Manual | ENGLISH | |||||||||||
| # | Title | Type | Language | Download | ||||||||||
| 1. | CDEG User`s Manual CDEG User s Manual Nathaniel Miller October 11 2011 1 Introduction This is the user s manual for Nathaniel Miller s CDEG program CDEG stands for Computerized Diagrammatic Euclidean Geometry This program implements a di agrammatic formal system for giving diagram based proofs of theorems of Euclidean geometry similar to the informal proofs found in Euclid s Elements 1 The details of the formal system this computer program is based on can be found in Nathani |
PDF Manual | ENGLISH |
 |
||||||||||
| ☆ | GE 681131690843 user manual | Manual | ENGLISH | [Download] |
| ☆ | GE 168945 user manual | Manual | ENGLISH | [Download] |
| ☆ | GE 681131690430 user manual | Manual | ENGLISH | [Download] |
| ☆ | GE 169087 user manual | Manual | ENGLISH | [Download] |
| ☆ | GE 681131690874 user manual | Manual | ENGLISH | [Download] |
| ☆ | GE 169016 user manual | Manual | ENGLISH | [Download] |
| ☆ | GE 681131690881 user manual | Manual | ENGLISH | [Download] |
| ☆ | GE 169085 user manual | Manual | ENGLISH | [Download] |
| ☆ | GE 840085800 user manual | Manual | ENGLISH | [Download] |
| ☆ | GE 169084 user manual | Manual | ENGLISH | [Download] |
| ☆ | GE 840083900 user manual | Manual | ENGLISH | [Download] |
| ☆ | GE 169144 user manual | Manual | ENGLISH | [Download] |
| ☆ | GE 681131690850 user manual | Manual | ENGLISH | [Download] |
| ☆ | GE 169143 user manual | Manual | ENGLISH | [Download] |
| ☆ | GE 681131692007 user manual | Manual | ENGLISH | [Download] |
| ☆ | GE 840093400 user manual | Manual | ENGLISH | [Download] |
| ☆ | GE 168955 user manual | Manual | ENGLISH | [Download] |
| ☆ | GE 169135 user manual | Manual | ENGLISH | [Download] |
| ☆ | GE 840070700 user manual | Manual | ENGLISH | [Download] |
| ☆ | GE 168989 user manual | Manual | ENGLISH | [Download] |