遍历理论 swMATH ID: 28532 软件作者: 塞巴斯蒂安·古伊泽尔 描述: 遍历理论:遍历理论是数学的一个分支,研究有限或无限测度下保测度变换的行为。它既与概率论(主要通过测度论)相互作用,又与几何相互作用,因为许多有趣的例子都来自几何。我们实现了遍历理论的第一个定义和定理,包括著名的有限测度保持系统的Poicaré递推定理(以及一般的保守性概念)、诱导映射、Kac定理、Birkhoff定理(可以说是遍历理论中最重要的定理)、,以及围绕它的变化,如相应的斜积的保守性,或Atkinson引理。 主页: https://www.isa-afp.org/entries/Ergodic_Theory.html 依赖项: 伊莎贝尔 相关软件: 存档正式证据;伊莎贝尔/HOL;伊莎贝尔;密度编译器;HOL公司;随机BST;根平衡树;踏板;快速分拣成本;摊销复杂性;隐秘HOL;Coq公司;举起;换乘;棱镜;彩色周长;渔民_不平等;Roth_Arithmetic_级数;概率_素数_测试;单峰归一化 引用于: 7文件 全部的 前5名10位作者引用 2 曼纽尔·埃贝尔 2 塞巴斯蒂安·古泽尔 2 Max W·哈斯贝克。 2 托比亚斯·尼普科 1 埃德蒙兹,切尔西 1 约翰·Hölzl 1 费比安·伊姆勒 1 Angeliki Koutsoukou-Argyraki 1 劳伦斯·查尔斯·保尔森 1 克里斯托夫·特劳特 3篇连载文章中引用 4 自动推理杂志 1 概率论中的电子通信 1 欧洲数学学会杂志(JEMS) 全部的 前5名10个领域引用 5 计算机科学(68至XX) 三 动力系统和遍历理论(37至XX) 2 数学逻辑和基础(03-XX) 2 概率论与随机过程(60-XX) 1 组合数学(05-XX) 1 数论(11-XX) 1 常微分方程(34-XX) 1 算子理论(47-XX) 1 数值分析(65-XX) 1 运筹学、数学规划(90-XX) 按年份列出的引文