LAB LOG评价网站 LabLog 的页面
Scott Carnahan 研究室
机器翻译 · 查看原文
从表示论探索魔群月光的研究室。
About关于研究室
从表示论出发，探索月光。
Scott Carnahan 研究室研究表示论，
主要课题是魔群月光，
最近，
术语说明
- 魔群月光
- 将魔群这一巨
大的有限群与保型函数联系起来的神奇对应。 这是该研究室的主要课题 - 顶点代数
- 与月光研究相关的代数结构之一。
最近 也成为了用 Lean4 进行形式化的对象 - 保型函数
- 在某类变换下具有确定性质的函数。
与月光研究相关 - 形式化
- 把数学的定义和证明写成计算机可以检
验的形式
Research研究课题
以表
※示意图魔群月光
主要课题魔群月光涉及无限维李代数、
※示意图基于 Lean4 的形式化
最近
Members教师
- 副教授Scott Carnahan
Voices学长学姐的评价
评价基于在读
对于接受采访的学生，
学长学姐的评价
--
--
--
--
--
--
学长学姐的评价会回答这些问题
- 这个研究室的推荐点是什么?
- 进入后才知道的事情是什么?
- 氛围和老师的性格如何?
- 推荐给什么样的学生?
- 毕业后的去向?
Related与Scott Carnahan 研究室相似的研究室
本页信息由LabLog运营团队根据研究室的公开信息和采访整理。
关于图片
顶部和研究课题的图片为示意图，
- 顶部图片：《Math01》 MathKnight ✡ (Talk) No machine-readable author provided. MathKnight assumed (based on copyright claims).／CC BY 2.5（裁剪）
- 魔群月光：《Computational Group Theory》 DrRezaZomorrodian／CC BY-SA 4.0（裁剪）
- 基于 Lean4 的形式化：《Closeup of keys》 John Snyder／CC BY-SA 4.0（裁剪）
- 相关研究室
（佐垣 大輔 研究室） ：《Root system A1xA1xA1》 self／公有领域 （裁剪） - 相关研究室
（伊藤 敦 研究室） ：《Algebraic geometry》 P.wormer／CC BY-SA 3.0（裁剪） - 相关研究室
（桑原 敏郎 研究室） ：《Matematička gimnazija - Mathematical Gymnasium Belgrade - MGB - Physics Laboratory 1》 MGB／公有领域 （裁剪） - 相关研究室
（木村 健一郎 研究室） ：《Node (algebraic geometry)》 The original uploader was Jakob.scholbach at Wikipedia.／CC BY-SA 3.0（裁剪）
关于 LabLog
LabLog 是学生专属的研究室评价应用。
本页的研究室基本信息和评分汇总与 LabLog 介绍允许搜索引擎和 AI 引用。