products/Sources/formale Sprachen/PVS/probability/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: derivatives.prf   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.16 Sekunden  (vorverarbeitet)  ¤



zum Wurzelverzeichnis wechseln
Diese Quellcodebibliothek enthält Beispiele in vielen Programmiersprachen. Man kann per Verzeichnistruktur darin navigieren. Der Code wird farblich markiert angezeigt.
zum Wurzelverzeichnis wechseln
sprechenden Kalenders

Eigene Datei ansehen




Laden

Fehler beim Verzeichnis:


in der Quellcodebibliothek suchen

Die farbliche Syntaxdarstellung ist noch experimentell.


Bot Zugriff