|
trig: THEORY
%------------------------------------------------------------------------
%
% A Pragmatic Nonfoundational Theory of Trigonometry
%
% by Cesar Munoz
% Victor Carreno
% Ricky Butler
% Gilles Dowek
% Alfons Geser
% Ben Di Vito
%
% Version 1.0 3/27/01
%
%
%------------------------------------------------------------------------
BEGIN
IMPORTING trig_basic,
trig_values,
trig_ineq
END trig
¤ Dauer der Verarbeitung: 0.16 Sekunden
(vorverarbeitet)
¤
|
Haftungshinweis
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
|
