Ziele Untersuchung
mit Columbo Integrität von
Datenbanken Interaktion und
Portierbarkeit Ergonomie der
Schnittstellen

Angebot Produkte Projekt Beratung

Mittel Analytik Modellierung Sprachen Algebra Logik Hardware Denken Kreativität

Zusammenhänge Gesellschaft Wirtschaft Branche Firma


products/sources/formale Sprachen/PVS/analysis/ (Beweissystem der NASA Version 6.0.9^©) Datei vom 28.9.2014 mit Größe 641 B

Quelle top_integral.pvs Sprache: PVS

top_integral : THEORY
%------------------------------------------------------------------------------
%
%  Theory and proofs taken from Introduction to Analysis (Maxwell Rosenlicht)
%
%  Author:  Rick Butler               NASA Langley
%
%  Added integral_mean_value  12/27/06
%
%------------------------------------------------------------------------------
BEGIN

  IMPORTING integral,
            fundamental_theorem,
            table_of_integrals,
            integral_chg_var,
            integral_diff_doms,
            integral_mean_value,
            integration_by_parts,
            indefinite_integral

END top_integral

quality100%