第14届几何自动推理国际会议论文集
计算机科学中的逻辑
2024-01-22 v1 人工智能
计算几何
数学软件
摘要
ADG是一个交流思想与观点、展示研究成果与进展、以及演示几何与自动推理交叉领域软件工具的论坛。该会议每两年举办一次。往届ADG会议分别于2021年在哈根贝格（线上，因COVID-19从2020年推迟）、2018年在南宁、2016年在斯特拉斯堡、2014年在科英布拉、2012年在爱丁堡、2010年在慕尼黑、2008年在上海、2006年在蓬特韦德拉、2004年在盖恩斯维尔、2002年在哈根贝格、2000年在苏黎世、1998年在北京、1996年在图卢兹举行。第14届ADG 2023于2023年9月20日至22日在塞尔维亚贝尔格莱德举行。本届ADG有一个额外的特别关注主题：教育中的推理。特邀报告人：Julien Narboux（法国斯特拉斯堡大学）——“几何的形式化、算术化与自动化”；Filip Marić（塞尔维亚贝尔格莱德大学）——“双曲几何的自动化、形式化与可视化”；Zlatan Magajna（斯洛文尼亚卢布尔雅那大学）——“OK几何工作坊”。
引用
@article{arxiv.2401.10725,
title = {Proceedings 14th International Conference on Automated Deduction in Geometry},
author = {Pedro Quaresma and Zoltán Kovács},
journal= {arXiv preprint arXiv:2401.10725},
year = {2024}
}