Showing Proofs, Assessing Difficulty with GeoGebra Discovery

要約

私たちの寄稿では、GeoGebra Discovery で開発された自動推論ツールに関する進行中の改善について説明し、これらの新機能のパフォーマンスのさまざまな例を示します。
新しい ShowProof コマンドについて説明します。このコマンドは、GeoGebra Discovery が特定のステートメントを確認するために実行するさまざまなステップのシーケンスと、アサーションの難易度や関心度を評価するための数値の両方を出力します。
仮説の組み合わせとしての論文（または結論）の表現の比較を含む、この評価尺度の提案が開発されます。

要約(オリジナル)

In our contribution we describe some on-going improvements concerning the Automated Reasoning Tools developed in GeoGebra Discovery, providing different examples of the performance of these new features. We describe the new ShowProof command, that outputs both the sequence of the different steps performed by GeoGebra Discovery to confirm a certain statement, as well as a number intending to grade the difficulty or interest of the assertion. The proposal of this assessment measure, involving the comparison of the expression of the thesis (or conclusion) as a combination of the hypotheses, will be developed.

arxiv情報

提供元, 利用サービス

arxiv.jp, Google