3.175
Bearbeitungen
Geolog: Unterschied zwischen den Versionen
K
Auf Gerhard Holland verwiesen
| [unmarkierte Version] | [gesichtete Version] |
Keine Bearbeitungszusammenfassung |
K (Auf Gerhard Holland verwiesen) Markierung: visualeditor |
||
| (6 dazwischenliegende Versionen von 4 Benutzern werden nicht angezeigt) | |||
| Zeile 1: | Zeile 1: | ||
== {{Infobox|EintragVervollständigen}}Allgemeine Informationen == | |||
Geolog ist ein von [[Gerhard Holland]] entwickeltes [[DGS]]. Es zeichnet sich insbesondere durch ein in Prolog implementiertes Beweis-Modul aus. | |||
== Interne Repräsentationen == | |||
=== Punkte === | |||
=== Geraden === | |||
== Links == | |||
* [http://haftendorn.uni-lueneburg.de/u1/gym03/homepage/faecher/mathe/geometri/dgs-vgl.htm Homepage] | |||
* ... | |||