遍历理论 swMATH ID: 28532 软件作者： 塞巴斯蒂安·古伊泽尔 描述： 遍历理论：遍历理论是数学的一个分支，研究有限或无限测度下保测度变换的行为。它既与概率论（主要通过测度论）相互作用，又与几何相互作用，因为许多有趣的例子都来自几何。我们实现了遍历理论的第一个定义和定理，包括著名的有限测度保持系统的Poicaré递推定理（以及一般的保守性概念）、诱导映射、Kac定理、Birkhoff定理（可以说是遍历理论中最重要的定理）、，以及围绕它的变化，如相应的斜积的保守性，或Atkinson引理。 主页： https://www.isa-afp.org/entries/Ergodic_Theory.html 依赖项： 伊莎贝尔 相关软件： 存档正式证据；伊莎贝尔/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） 按年份列出的引文