Proceedings 11th International Workshop on Theorem Proving Components for Educational Software

要約

TheEdu シリーズは、中等学校で数学を行う直感的な方法から、STEM 教育の主題へのより正式なアプローチへのスムーズな移行を追求する一方で、定理証明テクノロジの力を活用することにより、この移行に対するソフトウェア サポートを優先します。
以下は、現在のボリュームがこの事業にどのように貢献しているかを簡単に説明したものです。
The 11th International Workshop on Theorem Proving Components for Educational Software (TheEdu’22) は、2022 年 7 月 31 日から 8 月 12 日までイスラエルのハイファで開催された 8th Federated Logic Conference (FLoC 2022) のサテライト イベントでした。
、Thierry Dana-Picard (Jerusalem College of Technology、エルサレム、イスラエル) と Yoni Zohar (Bar Ilan University、テルアビブ、イスラエル) による 2 つの招待講演と 4 つの寄稿があります。
その後、論文の公募が発行され、7 件の提出物が集まりました。
これらの投稿は、それぞれの投稿について少なくとも 3 つの注意深いレポートを共同で作成したレビュー担当者によって受け入れられました。
その結果として改訂された論文は、現在の巻に集められています。
この巻の寄稿は、教育現場での可能なアプリケーションの追跡を失うことなく、自動演繹の研究に焦点を当てたものから、教育現場でのアプリケーションに焦点を当てたものまで、TheEdu の幅広いスペクトルを忠実に表現したものです。
自動控除ツールと方法の。
私たちボリューム編集者は、この一連の論文が定理証明ベースのソフトウェアの開発をさらに促進し、コンピュータ科学者、数学者、および教育における利害関係者の間の相互理解を改善できるようになることを願っています。
この巻が出版される間、TheEdu ワークショップの次の版が準備されています。TheEdu’23 は、2023 年 7 月 1 日から 4 日までイタリアのローマで開催される第 29 回自動控除に関する国際会議 (CADE 2023) のサテライト イベントになります。

要約(オリジナル)

The ThEdu series pursues the smooth transition from an intuitive way of doing mathematics at secondary school to a more formal approach to the subject in STEM education, while favouring software support for this transition by exploiting the power of theorem-proving technologies. What follows is a brief description of how the present volume contributes to this enterprise. The 11th International Workshop on Theorem Proving Components for Educational Software (ThEdu’22), was a satellite event of the 8th Federated Logic Conference (FLoC 2022), July 31-August 12, 2022, Haifa, Israel ThEdu’22 was a vibrant workshop, with two invited talk by Thierry Dana-Picard (Jerusalem College of Technology, Jerusalem, Israel) and Yoni Zohar (Bar Ilan University, Tel Aviv, Israel) and four contributions. An open call for papers was then issued, and attracted seven submissions. Those submissions have been accepted by our reviewers, who jointly produced at least three careful reports on each of the contributions. The resulting revised papers are collected in the present volume. The contributions in this volume are a faithful representation of the wide spectrum of ThEdu, ranging from those more focused on the automated deduction research, not losing track of the possible applications in an educational setting, to those focused on the applications, in educational settings, of automated deduction tools and methods. We, the volume editors, hope that this collection of papers will further promote the development of theorem-proving based software, and that it will allow to improve the mutual understanding between computer scientists, mathematicians and stakeholders in education. While this volume goes to press, the next edition of the ThEdu workshop is being prepared: ThEdu’23 will be a satellite event of the 29th international Conference on Automated Deduction (CADE 2023), July 1-4, 2023, Rome, Italy.

arxiv情報

提供元, 利用サービス

arxiv.jp, Google