Achtung: diese Seite wird nur zu Testzwecken betrieben. Hier gelangen Sie zur Madipedia-Website: https://madipedia.de

Geolog: Unterschied zwischen den Versionen

Zur Navigation springen Zur Suche springen
398 Bytes hinzugefügt ,  19. Mai 2016
K
Auf Gerhard Holland verwiesen
[unmarkierte Version][gesichtete Version]
(Die Seite wurde geleert.)
K (Auf Gerhard Holland verwiesen)
Markierung: visualeditor
 
(5 dazwischenliegende Versionen von 3 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]
* ...
Cookies helfen uns bei der Bereitstellung von dev_madipedia. Durch die Nutzung von dev_madipedia erklärst du dich damit einverstanden, dass wir Cookies speichern.

Navigationsmenü