論文の概要: Solving Some Geometry Problems of the N\'aboj 2023 Contest with
Automated Deduction in GeoGebra Discovery
- arxiv url: http://arxiv.org/abs/2401.13703v1
- Date: Mon, 22 Jan 2024 12:51:51 GMT
- ステータス: 処理完了
- システム内更新日: 2024-01-26 17:03:43.002097
- Title: Solving Some Geometry Problems of the N\'aboj 2023 Contest with
Automated Deduction in GeoGebra Discovery
- Title（参考訳）: N\'aboj 2023 Contestの幾何問題とGeoGebra発見における自動推論の解法
- Authors: Amela Hota (The Private University College of Education of the Diocese
of Linz, Austria), Zolt\'an Kov\'acs (The Private University College of
Education of the Diocese of Linz, Austria), Alexander Vujic (The Private
University College of Education of the Diocese of Linz, Austria)
- Abstract要約: 本稿では,N'aboj 2023コンペティションの幾何学的問題をコンピュータの助けを借りて解決する。
我々は,この問題をマシンに入力することの難しさを分析し,今後,このタイプのコンテストの問題をさらに困難にするため,さらなる目標を設定していく。
- 参考スコア（独自算出の注目度）: 41.92691591616145
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: In this article, we solve some of the geometry problems of the N\'aboj 2023
competition with the help of a computer, using examples that the software tool
GeoGebra Discovery can calculate. In each case, the calculation requires
symbolic computations. We analyze the difficulty of feeding the problem into
the machine and set further goals to make the problems of this type of contests
even more tractable in the future.
- Abstract（参考訳）: 本稿では,ソフトウェアツールgeogebra discoveryが計算可能な例を用いて,n\'aboj 2023コンペティションの幾何問題のいくつかをコンピュータの助けを借りて解く。
いずれの場合も、計算にはシンボリック計算が必要である。
我々は,この問題をマシンに入力することの難しさを分析し,今後,このようなコンテストの問題をさらに困難にするため,さらなる目標を設定していく。
関連論文リスト
- GAPS: Geometry-Aware Problem Solver [7.9345421580482185]
幾何学的問題解決は、NLPコミュニティにおける深刻な課題である。
既存のアプローチは、しばしば数学の単語問題を解くために設計されたモデルに依存し、幾何学の数学問題の特異な特徴を無視する。
本研究では,GAPS(Geometry-Aware Problem Solver)モデルを提案する。
GAPSは、様々なタイプの幾何学数学問題に対する解プログラムを生成するように設計されている。
論文 参考訳（メタデータ） (2024-01-29T16:48:34Z) - Solving with GeoGebra Discovery an Austrian Mathematics Olympiad
problem: Lessons Learned [0.6140969539089365]
我々は、GeoGebra Discoveryにおける自動推論ツールを通じて、オーストリア数学のOlympiad 2023の地域段階の問題に対処する。
この問題を解決しようとすると、4種類のフィードバックが生まれます。
我々は、これらの多様な問題について、GeoGebra Discoveryの利点、課題、そして現在の開発分野のいくつかを示す役割を、説明し、反映する。
論文 参考訳（メタデータ） (2024-01-22T12:51:35Z) - G-LLaVA: Solving Geometric Problem with Multi-Modal Large Language Model [124.68242155098189]
大規模言語モデル(LLM)は、人間レベルの推論と生成能力に顕著な習熟性を示している。
G-LLaVAは幾何学的問題の解法において例外的な性能を示し、7Bパラメータしか持たないMathVistaベンチマークにおいて GPT-4-V を著しく上回っている。
論文 参考訳（メタデータ） (2023-12-18T17:36:20Z) - Globally solving the Gromov-Wasserstein problem for point clouds in low
dimensional Euclidean spaces [5.534626267734822]
本稿では,低次元空間における2つの点間のGromov-Wasserstein問題を計算するための枠組みを提案する。
これは、AIと機械学習における一般的な問題である2つの構成または形状の類似性を定量化するために使用できる。
論文 参考訳（メタデータ） (2023-07-18T08:20:56Z) - UniGeo: Unifying Geometry Logical Reasoning via Reformulating
Mathematical Expression [127.68780714438103]
計算と証明の2つの主要な幾何学問題は、通常2つの特定のタスクとして扱われる。
我々は4,998の計算問題と9,543の証明問題を含むUniGeoという大規模統一幾何問題ベンチマークを構築した。
また,複数タスクの幾何変換フレームワークであるGeoformerを提案し,計算と証明を同時に行う。
論文 参考訳（メタデータ） (2022-12-06T04:37:51Z) - Limitations of Deep Learning for Inverse Problems on Digital Hardware [65.26723285209853]
我々は、チューリングマシンとしてモデル化された現在のハードウェアプラットフォームで実際に計算できるものを分析する。
有限次元逆問題は小さな緩和パラメータに対してバナッハ・マズール計算可能でないことを証明した。
論文 参考訳（メタデータ） (2022-02-28T00:20:12Z) - GeoQA: A Geometric Question Answering Benchmark Towards Multimodal
Numerical Reasoning [172.36214872466707]
我々は、テキスト記述、視覚図、定理知識の包括的理解を必要とする幾何学的問題を解くことに注力する。
そこで本研究では,5,010の幾何学的問題を含む幾何学的質問応答データセットGeoQAを提案する。
論文 参考訳（メタデータ） (2021-05-30T12:34:17Z) - Inter-GPS: Interpretable Geometry Problem Solving with Formal Language
and Symbolic Reasoning [123.06420835072225]
3,002の幾何学的問題と密接なアノテーションを形式言語に含む新しい大規模ベンチマークGeometry3Kを構築します。
我々は、Interpretable Geometry Problemsolvr (Inter-GPS)と呼ばれる形式言語と記号推論を用いた新しい幾何学的解法を提案する。
イントラGPSは定理の知識を条件付き規則として取り入れ、記号的推論を段階的に行う。
論文 参考訳（メタデータ） (2021-05-10T07:46:55Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。