Fugu-MT 論文翻訳(概要): Open Geometry Prover Community Project

論文の概要: Open Geometry Prover Community Project

arxiv url: http://arxiv.org/abs/2201.01375v1
Date: Mon, 3 Jan 2022 09:27:23 GMT
ステータス: 処理完了
システム内更新日: 2022-01-06 14:17:07.576765
Title: Open Geometry Prover Community Project
Title（参考訳）: Open Geometry Prover Community Project
Authors: Nuno Baeta (University of Coimbra, Portugal), Pedro Quaresma (CISUC, Department of Mathematics, University of Coimbra, Portugal)
Abstract要約: Open Geometry Prover Community Projectは、共通な"umbrella"の下で、幾何自動定理プロバーの開発のための様々な取り組みを統合することを目的としている。本稿では、そのような統合に必要なステップと、これらのステップの現在の実装について説明する。
参考スコア（独自算出の注目度）: 0.0
License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
Abstract: Mathematical proof is undoubtedly the cornerstone of mathematics. The emergence, in the last years, of computing and reasoning tools, in particular automated geometry theorem provers, has enriched our experience with mathematics immensely. To avoid disparate efforts,the Open Geometry Prover Community Project aims at the integration of the different efforts for the development of geometry automated theorem provers, under a common "umbrella". In this article the necessary steps to such integration are specified and the current implementation of some of those steps is described.
Abstract（参考訳）: 数学的証明は間違いなく数学の基礎である。近年、計算ツールや推論ツール、特に自動幾何学定理(automated geometry theorem provers)の出現は、数学の経験を大いに豊かにしている。異なる努力を避けるため、open geometry prover community projectは、共通の「umbrella」の下で、幾何自動定理プロバーの開発のための異なる取り組みを統合することを目的としている。本稿では、そのような統合に必要なステップを定義し、これらのステップの現在の実装について述べる。

関連論文リスト

MathBench: Evaluating the Theory and Application Proficiency of LLMs with a Hierarchical Mathematics Benchmark [82.64129627675123]
MathBenchは、大規模言語モデルの数学的能力を厳格に評価する新しいベンチマークである。 MathBenchは幅広い数学の分野にまたがっており、理論的な理解と実践的な問題解決のスキルの両方を詳細に評価している。
論文参考訳（メタデータ） (2024-05-20T17:52:29Z)
Abstraction boundaries and spec driven development in pure mathematics [0.0]
本稿では,抽象境界が数学的研究の複雑さにどのように貢献するかを論じる。対話的定理証明器の使用は、これらの概念の実装にさらなる質的な利点をもたらすと論じる。
論文参考訳（メタデータ） (2023-09-26T11:59:32Z)
A Rule Based Theorem Prover: an Introduction to Proofs in Secondary Schools [0.0]
中学校における自動推論システムの導入は、いくつかのボトルネックに直面している。幾何学的自動定理プローバーの結果と学校での推論と証明の通常の実践との間の不一致は、教育環境においてそのようなツールを広く使用する上で大きな障壁となる。授業計画が提示され、その目標は幾何学的定理を証明する公式なデモンストレーションの導入であり、その目標に学生を動機付けようとすることである。
論文参考訳（メタデータ） (2023-03-10T11:36:10Z)
UniGeo: Unifying Geometry Logical Reasoning via Reformulating Mathematical Expression [127.68780714438103]
計算と証明の2つの主要な幾何学問題は、通常2つの特定のタスクとして扱われる。我々は4,998の計算問題と9,543の証明問題を含むUniGeoという大規模統一幾何問題ベンチマークを構築した。また,複数タスクの幾何変換フレームワークであるGeoformerを提案し,計算と証明を同時に行う。
論文参考訳（メタデータ） (2022-12-06T04:37:51Z)
Machine Learning Algebraic Geometry for Physics [0.0]
この章は、A. KasprzykとA. Kasprzykらによって編集された『機械学習と代数幾何学』への貢献である。
論文参考訳（メタデータ） (2022-04-21T18:00:03Z)
Learning with symmetric positive definite matrices via generalized Bures-Wasserstein geometry [40.23168342389821]
GBW幾何と呼ぶビューレス=ワッサーシュタイン幾何の新しい一般化を提案する。提案した新しい一般化幾何について、様々な微分幾何学的概念を研究するための厳密な処理を提供する。また,BW幾何に対するGBW幾何の有効性を示す実験を行った。
論文参考訳（メタデータ） (2021-10-20T10:03:06Z)
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)
A Unifying and Canonical Description of Measure-Preserving Diffusions [60.59592461429012]
ユークリッド空間における測度保存拡散の完全なレシピは、最近、いくつかのMCMCアルゴリズムを単一のフレームワークに統合した。我々は、この構成を任意の多様体に改善し一般化する幾何学理論を開発する。
論文参考訳（メタデータ） (2021-05-06T17:36:55Z)
Bayesian Quadrature on Riemannian Data Manifolds [79.71142807798284]
データに固有の非線形幾何学構造をモデル化する原則的な方法が提供される。しかし、これらの演算は通常計算的に要求される。特に、正規法則上の積分を数値計算するためにベイズ二次(bq)に焦点を当てる。先行知識と活発な探索手法を両立させることで,BQは必要な評価回数を大幅に削減できることを示す。
論文参考訳（メタデータ） (2021-02-12T17:38:04Z)
Generative Language Modeling for Automated Theorem Proving [94.01137612934842]
この研究は、自動定理プロバーの人間に対する大きな制限が言語モデルから生成することで対処できる可能性によって動機づけられている。本稿ではメタマス形式化言語のための自動証明と証明アシスタント GPT-f を提案し,その性能を解析する。
論文参考訳（メタデータ） (2020-09-07T19:50:10Z)
Towards Automated Discovery of Geometrical Theorems in GeoGebra [0.0]
実験的なGeoGebraコマンドとツールDiscoverのプロトタイプについて述べる。本論文は, 数学的背景と, 幾何学的図形の興味深い性質を記憶する際の爆発を避ける方法に焦点をあてる。
論文参考訳（メタデータ） (2020-07-24T10:59:39Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。