| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/PVS/sigma_set/ (Beweissystem der NASA Version 6.0.9©) Datei vom 28.9.2014 mit Größe 876 B |
|
Quelle top.pvs Sprache: PVS |
|||||||||
|
%------------------------------------------------------------------------------
% Top file for sums over sets % % MODIFICATIONS: % % Author: David Lester, Manchester University 12/12/07 % %------------------------------------------------------------------------------ top: THEORY BEGIN IMPORTING absconv_series_aux, % properties of absolutely convergent series finite_enumeration, % enumerate a finite set denumerable_enumeration, % enumerate a countably infinite set sigma_bijection, % re-ordering of finite sums sigma_bijection_nat, % re-ordering of finite sums countable_convergence, % convergence properties for countable sums sigma_countable, % countable sums convergence_set, % convergence properties for uncountable sums sigma_set % sums of uncountable sets END top ¤ Dauer der Verarbeitung: 0.12 Sekunden (vorverarbeitet) ¤*© Formatika GbR, Deutschland |
|
2026-03-28