HIM 讲座：群论中的逻辑与算法
发布人
打开封面 下载高清视频 观看高清视频 视频下载器
...
HIM讲座：类型、同伦、类型论与证明
...
调和分析与解析数论
...
HIM讲座：周期与调节因子
...
HIM讲座：最优运输理论
...
HIM 讲座：构造性数学
...
HIM讲座: 分类、表示理论和辛几何
...
几何群论的各个方面-2019
...
群论中的逻辑与算法国际研讨会
...
HIM 讲座：证明、计算、复杂性
...
HIM讲座："类型、集合与构造"
...
讲座-固体中复杂现象的变分方法
...
HIM 讲座：最优运输-后续
...
高阶结构在全纯与拓扑场论
...
数学前沿：低维拓扑与广义几何高级讲座
...
HIM讲座：皮卡-福克斯方程与超几何
...
非线性波 - 教程
...
几何、物理和表示理论-2021
...
HIM讲座：Lipschitz讲座
...
HIM讲座：学期项目Evolution of Interfaces
...
2024年张量网络研讨会
...
霍奇理论及相关主题-2022
...
研讨会-傅里叶分析的算术应用
...
连接组分析的数学方法-2024
...
HIM讲座：学期计划：动力学：拓扑与数论
...
母题、等变和非交换同伦理论-2020
...
可积性和量子场论
...
概率与几何中的变分学研讨会
...
研讨会：动力学理论中的概率和变分方法
...
引力波天文学时代的数学与计算挑战
...
HIM 讲座：冯·诺伊曼代数
...
Frank Merle - 解的渐近行为
...
辛几何与经典力学-1
...
研讨会：混合物和等离子体动力学的分析和计算问题
...
Bruno Klingler - Tame Geometry和霍奇理论
...
张量范畴在C*-代数上的作用 2021
...
研讨会：几何测度理论与自由边界问题
...
研讨会：高维测度：几何与概率方面
...
黑洞、量子信息、纠缠等等
...
无穷范畴与高等代数_1_ ∞-Categories
...
椭圆代数、谱与广义几何-2023