Kann man mit Derive geometrische Saetze beweisen?

DIPF | Leibniz-Institut für Bildungsforschung und Bildungsinformation

Inhalt

Literaturnachweis - Detailanzeige

Trefferliste

Autor/in	Engel, A.
Titel	Kann man mit Derive geometrische Saetze beweisen? Paralleltitel: Using Derive for proving theorems in geometry?.
Quelle	In: Der Mathematikunterricht, 41 (1995) 4, S. 38-47Verfügbarkeit
Beigaben	Literaturangaben
Sprache	deutsch
Dokumenttyp	gedruckt; Zeitschriftenaufsatz
ISSN	0025-5807
Schlagwörter	Sekundarstufe II; Gymnasium; Computer; Programm; Computer-Algebra-System; Angewandte Mathematik; Dreieck; Geometrie; Mathematik; Mathematikunterricht; Anwendung; Beweisen
Abstract	In dieser Arbeit will der Autor der Frage nachgehen, inwiefern man mit DERIVE geometrische Saetze beweisen kann. Grosse Systeme fuer algebraische Manpulation wie Mathematica, Maple (fuer PCs und Workstations) oder Axiom (fuer Workstations) koennen effizient Saetze beweisen, die sich durch Gleichungen ausdruecken lassen. dies sind fast alle Saetze der Schulgeometrie. Aber was kann ein kleines System wie DERIVE leisten? Dies wird an Hand von Saetzen aus der Dreiecksgeometrie diskutiert. (FZK).
Erfasst von	FIZ Karlsruhe - Leibniz-Institut für Informationsinfrastruktur
Update	1997_(CD)

Literaturbeschaffung und Bestandsnachweise in Bibliotheken prüfen

Standortgebundene Dienste:

Wählen Sie eine Institution, um dort die Verfügbarkeit zu prüfen:

bitte warten

Standortunabhängige Dienste

Trefferlisten Einstellungen

Dateien exportieren oder versenden

Markieren Sie in der Trefferlisteliste die Einträge, deren Nachweise Sie exportieren wollen. Im Bereich "Exportieren" wählen Sie in der Auswahlliste "System/Format wählen" eines der Exportformate bzw. -systeme. Wollen Sie die gewählten Nachweise direkt in Ihre Literaturverwaltung importieren, so wählen Sie das entsprechende System aus und drücken den Schalter "exportieren". Die weiteren Schritte sind abhängig von der installierten Software. Eine detaillierte Beschreibung finden Sie, zusammen mit den einzelnen Formatbeschreibungen auf unserer Hilfeseite.
Die Formate können Sie auf Ihrem Rechner als Textdatei abspeichern.
Alle Formate können zusätzlich auch als Datei an eine beliebige E-Mailadresse versendet werden. Gehen Sie vor wie beim normalen Export. Tragen Sie zusätzlich die E-Mailadresse ein und aktivieren Sie den Schalter "versenden". Der Versand der Datei erfolgt mit der passenden Dateiextension im Dateinamen. Achten Sie auf die korrekte Eingabe Ihrer Mailadresse, um den Verlust Ihrer Rechercheergebnisse zu vermeiden.
Das Fachportal Pädagogik unterstützt die Übernahme bibliografischer Daten in andere Systeme durch Einbettung so genannter COinS in den HTML-Quellcode. Sie erkennen die Möglichkeit der Übernahme durch eine Meldung Ihres Browsers.

Exportieren der Dateien:

System / Format wählen

Versenden der Dateien:

E-Mail-Adresse

Permalink als QR-Code

Permalink als QR-Code

Inhalt auf sozialen Plattformen teilen (nur vorhanden, wenn Javascript eingeschaltet ist)

Teile diese Seite:

Zum Seitenanfang