Geolog: Unterschied zwischen den Versionen

Aus madipedia
Zur Navigation springen Zur Suche springen
[unmarkierte Version][gesichtete Version]
K (Auf Gerhard Holland verwiesen)
Markierung: visualeditor
 
(6 dazwischenliegende Versionen von 4 Benutzern werden nicht angezeigt)
Zeile 1: Zeile 1:
--[[Benutzer:Fatma70|Fatma70]] 14:14, 18. Nov. 2009 (UTC)
+
 
 +
== {{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]
 +
* ...

Aktuelle Version vom 19. Mai 2016, 16:50 Uhr

==

Madipedia-Logo-Ausrufezeichen.pngBitte 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