Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/PVS/vect_analysis/   (Cephes Mathematical Library ©)  Datei vom 28.9.2014 mit Größe 23 kB image not shown  

SSL trig.pvs   Interaktion und
PortierbarkeitPVS

 
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

   trig_basic_ax  : THEORY  = trig_basic
   trig_values_ax : THEORY = trig_values
   trig_ineq_ax   : THEORY = trig_ineq

END trig


100%


¤ Diese beiden folgenden Angebotsgruppen bietet das Unternehmen0.11Angebot  Wie Sie bei der Firma Beratungs- und Dienstleistungen beauftragen können  ¤

*© Formatika GbR, Deutschland






Wurzel

Bemerkung:

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Anfrage:

Dauer der Verarbeitung:

Sekunden

sprechenden Kalenders