要約
ADG は、アイデアや意見を交換し、研究結果と進捗状況を発表し、幾何学と自動推論が交わるソフトウェア ツールをデモンストレーションするためのフォーラムです。
会議は2年ごとに開催されます。
これまでのADGは、2021年にハーゲンベルク（オンライン、新型コロナウイルス感染症の影響で2020年から延期）、2018年に南寧、2016年にストラスブール、2014年にコインブラ、2012年にエディンバラ、2010年にミュンヘン、2008年に上海、2008年にポンテベドラで開催された。
2006年、2004年ゲインズビル、2002年ハーゲンベルク、2000年チューリッヒ、1998年北京、1996年トゥールーズ。第14回ADG 2023は、2023年9月20～22日にセルビアのベオグラードで開催された。今回のADGは、
さらに特別な焦点を当てたトピック「教育における控除」。
招待講演者: Julien Narboux、ストラスブール大学、フランス「幾何学の形式化、算術化、自動化」。
Filip Mari\’c、ベオグラード大学、セルビア、「双曲幾何学の自動化、形式化、視覚化」。
Zlatan Magajna、リュブリャナ大学、スロベニア、「ワークショップ OK ジオメトリ」
要約(オリジナル)
ADG is a forum to exchange ideas and views, to present research results and progress, and to demonstrate software tools at the intersection between geometry and automated deduction. The conference is held every two years. The previous editions of ADG were held in Hagenberg in 2021 (online, postponed from 2020 due to COVID-19), Nanning in 2018, Strasbourg in 2016, Coimbra in 2014, Edinburgh in 2012, Munich in 2010, Shanghai in 2008, Pontevedra in 2006, Gainesville in 2004, Hagenberg in 2002, Zurich in 2000, Beijing in 1998, and Toulouse in 1996. The 14th edition, ADG 2023, was held in Belgrade, Serbia, in September 20-22, 2023. This edition of ADG had an additional special focus topic, Deduction in Education. Invited Speakers: Julien Narboux, University of Strasbourg, France ‘Formalisation, arithmetization and automatisation of geometry’; Filip Mari\’c, University of Belgrade, Serbia, ‘Automatization, formalization and visualization of hyperbolic geometry’; Zlatan Magajna, University of Ljubljana, Slovenia, ‘Workshop OK Geometry’
arxiv情報
| 著者 | Pedro Quaresma,Zoltán Kovács |
| 発行日 | 2024-01-19 14:42:08+00:00 |
| arxivサイト | arxiv_id(pdf) |
提供元, 利用サービス
arxiv.jp, Google