LAB LOG评价网站 LabLog 的页面
计算理论研究室（THIES Holger）
机器翻译 · 查看原文
用计算理论和证明来检验数值计算的难度与正确性的研究室。
About关于研究室
对连续数学进行正确的计算。
Thies研究室从计算理论和数理逻辑的角度，
该研究室研究微分方程、
本科生分属数理・信息科学讲座，
术语说明
- 带精度保证的数值计算
- 对计算机算出的结果，
以数 学方式保证并给出误差范围的计算 - 证明辅助系统
- 用计算机一步
一步地验证数学证明或程 序正确性的软件
Research研究课题
将离散的计算复杂度模型加以推
Members教师
- 副教授THIES Holger
Voices学长学姐的评价
评价基于在读
对于接受采访的学生，
学长学姐的评价
--
--
--
--
--
--
学长学姐的评价会回答这些问题
- 这个研究室的推荐点是什么?
- 进入后才知道的事情是什么?
- 氛围和老师的性格如何?
- 推荐给什么样的学生?
- 毕业后的去向?
Related与计算理论研究室（THIES Holger）相似的研究室
本页信息由LabLog运营团队根据研究室的公开信息和采访整理。
关于图片
顶部和研究课题的图片为示意图，
- 顶部图片：《Coq plus comm screenshot》 Hugo Herbelin／CC BY-SA 3.0（裁剪）
- 证明实数计算的算法：《Real number line》 User:Phrood~commonswiki／公有领域
（裁剪） - 相关研究室
（数理逻辑学 （DEBRECHT Matthew） 研究室） ：《Cantor set radial phoenix》 Cmglee／CC BY-SA 4.0（裁剪） - 相关研究室
（森成物性理论研究室） ：《Tile levitates by Meissner effect》 Garrett Pennell／CC BY-SA 3.0（裁剪） - 相关研究室
（数理物理学 （足立 匡義） 研究室） ：《Interference of Waves》 Psgs123xyz／公有领域 （裁剪） - 相关研究室
（动力系统理论 （木坂 正史） 研究室） ：《Exp-esc》 Arnaud Cheritat／CC0（裁剪）
关于 LabLog
LabLog 是学生专属的研究室评价应用。
本页的研究室基本信息和评分汇总与 LabLog 介绍允许搜索引擎和 AI 引用。