形式化与算术几何;过去、现在和未来,VaNTAGe:数论和算术几何开放猜想虚拟数学研讨会,(视频)
Leaff,精益差异工具,2024年携手共进,(视频)
广义Fermat方程的积分解,埃克塞特大学代数与数论研讨会,2023年11月22日
学习好奇的算术几何,Rational Points 2023,Scheny公司,2023年7月28日(幻灯片)
代数数论的形式化、最新进展和未来挑战,数学形式化与交互式定理证明器,剑桥,2023年6月8日(幻灯片)
p-adic积分与曲线上的点,海尔布隆表演和讲述研讨会,2023年3月
科尔曼积分及其在数论中的应用,金的内部研究研讨会,2023年3月(幻灯片)
科勒曼积分及其在数论中的应用,计数、计算及其在数论中的应用,2023年2月(幻灯片)
用类群求解丢番图方程,伦敦精益学习研讨会,2023年2月(幻灯片)
(视频)
Mordell椭圆曲线上的形式化类群计算和积分点,认证项目和证明,波士顿,2023年1月(幻灯片)
(视频)
$S$-单位方程和深度2中的非阿贝尔Chabauty,汉诺威莱布尼茨大学Obersminar Zahlentheorie und Arithmetische Geometrie,2022(幻灯片)
图书馆维护自动化的元程序设计,格鲁吉亚第比利斯CLAS大型校样库开发、维护、重构和搜索EuroProofNet研讨会,2022(幻灯片)
数论的形式化,过去、现在和未来,荷兰城际数理论研讨会,2022(幻灯片)
作为结构化数据的数学结果,纯数学中的大数据,2022(幻灯片)
$S$-单位方程和深度2中的非阿贝尔Chabauty,伦敦数论研讨会,2022(幻灯片)
Chabauty方法导游,宾厄姆顿大学算术研讨会,2021(幻灯片)
在前六个素数之外具有良好约简的椭圆曲线,2021年秋季DIAMANT研讨会,(幻灯片)
使用类型类自动推广定理,FMM 2021,CICM 2021的一部分,(幻灯片)
(视频)
$S$-单位方程和深度2中的非阿贝尔Chabauty,布里斯托尔·林富特研讨会,2021
$S$-单位方程和深度2中的非阿贝尔Chabauty,UGA算术几何/数论研讨会,2021
深度2中的$S$单位方程和非阿贝尔Chabauty,弗赖堡-弗赖塔斯研讨会,2021
在精益中概括类型类假设,2021年携手共进,(幻灯片)
(视频)
SageMath中使用$p$-adic多对数的计算,全球虚拟传奇109,27/5/20(幻灯片)
科尔曼积分的显式计算,伊斯坦布尔大学第三十一届算术之旅,2019年,2/7/19(幻灯片)
科尔曼积分的显式计算,波士顿大学-庆应义塾大学研讨会,2019年,27/6/19(幻灯片)
计算超椭圆曲线上的科尔曼积分(Lightning Talk),低维阿贝尔品种的算法,2019(幻灯片)
Zeta函数和$p$-adic积分;计算和应用,AMS代数/数论研究生会议,布朗,2019(幻灯片)
大特征(显式)科尔曼积分,ANTS XIII 2018华盛顿大学麦迪逊分校,17/7/18(幻灯片)