3.175
Bearbeitungen
Änderungen
Zur Navigation springen
Zur Suche springen
KZeile 1:
Zeile 1: − --[[Benutzer:Rky|Rky]] 14:25, 18. Nov. 2009 (UTC)+ + + + + + + + + + + + +
Auf Gerhard Holland verwiesen
== {{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]
* ...