Quellcode-Bibliothek

^© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: trig_full.pvs Sprache: PVS

Original von: PVS^©

trig_full: THEORY
%------------------------------------------------------------------------
%
% A Theory of Trigonometry
%
%       by Cesar Munoz
%          Victor Carreno
%          Ricky Butler
%          Gilles Dowek
%          Alfons Geser
%          Ben Di Vito
%          David Lester
%
%------------------------------------------------------------------------

BEGIN
   IMPORTING trig,
             trig_basic,    % basic properties
             trig_values,   % values of functions for special arguments
             trig_ineq,     % trig inequalities
             trig_extra,    % sum and product, half-angle, reductions and zeros
             trig_approx,   % taylor series approximations to trig functions:
             tan_approx,    % approximatan2_propsations for tangent
             law_cosines,   % law of cosines
             trig_degree,   % conversions to degrees
             trig_inverses, % interface to atan, asin, acos, atan2
             trig_rew,      % auto-rewrites
             asin,          % asin properties
             acos,          % acos properties
             atan,          % atan properties
             atan_values,   % atan for specific values
             atan2,         % two-argument arc tangent
             atan2_props,   % additional properties of atan2 and values
             jatan2         % Java atan2

END trig_full

¤ Dauer der Verarbeitung: 0.14 Sekunden (vorverarbeitet) ¤

Download des Quellennavigators
Download des sprechenden Kalenders
in der Quellcodebibliothek suchen

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.