Mathematik lernen in einem Semantischen Wiki - 99. MNU ... - Kwarc
Mathematik lernen in einem Semantischen Wiki - 99. MNU ... - Kwarc
Mathematik lernen in einem Semantischen Wiki - 99. MNU ... - Kwarc
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
<strong>Wiki</strong>s Semantic Web SWiM Wissensrepräsentation Dienste E<strong>in</strong>ladungen<br />
Implizite Strukturen<br />
dual zu<br />
Satz von Ceva Satz v. Menelaos<br />
„Standard-<br />
Formel“<br />
dual zu<br />
Satz: Dr.-Fl. m.<br />
kartes. Koord.<br />
Satz:<br />
Dreiecks-Fläche<br />
Alternative<br />
(l<strong>in</strong>. Algebra)<br />
Alternative<br />
(Formel)<br />
Heronsche<br />
Formel<br />
Satz: Dr.-Fl. m.<br />
Vektoren<br />
Verwendet zur<br />
Konstruktion von<br />
Satz d. Thales Kreistangente<br />
<br />
Satz des<br />
Pythagoras<br />
Verallgeme<strong>in</strong>erung<br />
von<br />
Kos<strong>in</strong>ussatz<br />
hat algebraischen<br />
Beweis<br />
Was davon steht <strong>in</strong> e<strong>in</strong>em formalen Dokument [explizit oder<br />
<strong>in</strong>ferierbar] dr<strong>in</strong>?<br />
Was sollte lieber e<strong>in</strong> Autor manuell annotieren?<br />
Ch. Lange (Jacobs University Bremen) <strong>Mathematik</strong> <strong>lernen</strong> <strong>in</strong> e<strong>in</strong>em <strong>Semantischen</strong> <strong>Wiki</strong> 18. März 2008 18