products/sources/formale Sprachen/PVS/complex_integration/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: top.pvs   Sprache: PVS

Original von: PVS©
%------------------------------------------------------------------------------
% Top file for Functional Analysis
%
%     Author: David Lester, Manchester University
%
% All references are to SK Berberian "Fundamentals of Real Analysis",
% Springer, 1991
%
%     Version 1.0            12/3/10   Initial Version
%------------------------------------------------------------------------------

top: THEORY

BEGIN

  IMPORTING
    complex_topology,       % complex_topology
    complex_measurable,     % measurable functions [T->complex]
    complex_measure_theory, % ae properties and cal_N
    complex_integral,       % integrable functions [T->complex]
    p_integrable_def,       % cal_L^p and norm defs
    young,                  % Young's inequality
    holder_scaf,            % Holder's inequality
    minkowski_scaf,         % Minkowski's inequality
    p_integrable,           % cal_L^p and norm properties
    essentially_bounded,    % essential bounds
    essential_bound_complete_scaf,
                            % completeness of essential bounds
    cal_L_inf,              % L^\infty
    complex_finite_measures,% class structure for finite measures
    cal_L_complex,          % complex integral classes
    cal_L_real              % real integral classes

END top

¤ Dauer der Verarbeitung: 0.21 Sekunden  (vorverarbeitet)  ¤



Kontakt
Drucken
Kontakt
sprechenden Kalenders

in der Quellcodebibliothek suchen




schauen Sie vor die Tür

Fenster


Die Firma ist wie angegeben erreichbar.

Die farbliche Syntaxdarstellung ist noch experimentell.


Bot Zugriff