Geolog: Unterschied zwischen den Versionen
Zur Navigation springen
Zur Suche springen
| [unmarkierte Version] | [gesichtete Version] |
Rky (Diskussion | Beiträge) |
K (Auf Gerhard Holland verwiesen) Markierung: visualeditor |
||
| (2 dazwischenliegende Versionen von 2 Benutzern werden nicht angezeigt) | |||
| Zeile 1: | Zeile 1: | ||
| − | |||
| − | == Allgemeine Informationen == | + | == {{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 == | == Interne Repräsentationen == | ||
| Zeile 10: | Zeile 10: | ||
== Links == | == Links == | ||
| − | * [http://haftendorn.uni-lueneburg.de/u1/gym03/homepage/faecher/mathe/geometri/dgs-vgl.htm] | + | * [http://haftendorn.uni-lueneburg.de/u1/gym03/homepage/faecher/mathe/geometri/dgs-vgl.htm Homepage] |
* ... | * ... | ||
Aktuelle Version vom 19. Mai 2016, 16:50 Uhr
==
 | Bitte Eintrag vervollständigen! |
[+Details][+Jetzt verbessern]
Der auf dieser Seite veröffentlichte Text ist unvollständig gemäß den Madipedia:Richtlinien. Sie können uns helfen: Bitte ergänzen Sie diese Abschnitte entsprechend und entfernen Sie dann diesen Hinweis. Sie können Ihre Änderungen auch auf der Diskussionsseite mit anderen Madipedia-Mitgliedern abstimmen.
Wenn Sie den Artikel direkt verbessern wollen, dann kommen Sie mit "Jetzt verbessern" direkt an die richtige Stelle. Hilfen zum Bearbeiten haben wir unter Hilfe bereitgestellt.
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
- Homepage
- ...