|
%------------------------------------------------------------------------------
% Arcosine
%
% Author: David Lester, Manchester University
%
% Version 1.0 18/2/09 Initial Release Version
%------------------------------------------------------------------------------
acosx: THEORY
BEGIN
IMPORTING asinx, trig_fnd@acos
x: VAR real_abs_le1
cx: VAR cauchy_real_abs_le1
cauchy_acos(cx):cauchy_real
= cauchy_sub(cauchy_div2n(cauchy_pi, 1), cauchy_asin(cx))
acos_lemma: LEMMA cauchy_prop(x,cx) IMPLIES
cauchy_prop(acos(x),cauchy_acos(cx))
END acosx
¤ Dauer der Verarbeitung: 0.1 Sekunden
(vorverarbeitet)
¤
|
schauen Sie vor die Tür
Fenster
Die Firma ist wie angegeben erreichbar.
Die farbliche Syntaxdarstellung ist noch experimentell.
|
