| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/PVS/complex_integration/ (Beweissystem der NASA Version 6.0.9©) Datei vom 28.9.2014 mit Größe 1 kB |
|
Quelle top.pvs Sprache: 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.0 Sekunden (vorverarbeitet) ¤*© Formatika GbR, Deutschland |
|
2026-03-28