Dr. FAQIR ist eine intelligente Formelsprache zur Klärung der Gültigkeit von Schließungsssätzen in verallgemeinerte projektiven Räumen unter Einsatz von Rechnern.
Diese Dissertation wurde am 04.11.1991 bei der Technischen Universität München eingereicht und durch die Fakultät für Mathematik und Informatik am 26.02.1992 angenommen.
Der Inhalt von Dr. FAQIR:
Diese Einleitung
Die Konstruktion der Algebra
Die Multiplikationstafel
Addition und Multiplikation
Inversenbildung
Berechnung von a*b*c
Der Satz
Berechnung von e*1/d*id*e und f*1/b*ib*f
Berechnung der Punkte c1 und c2
Die erste Matrix
Die vereinfachte Matrix
Das Ergebnis
Zurück zu den Oldies
Dr. FAQIR: Formelsprache für A über Q zur Implementierung auf Rechnern
Distanzmessung mit DISOmetric
Vortrag HTML5 und canvas
Die 4 Nullstellen der Quaternionen: z4=1
Zurück zur Übersicht Oldies zwischen 1991 und 2017