Fugu-MT 論文翻訳(概要): Theorem Discovery Amongst Cyclic Polygons

論文の概要: Theorem Discovery Amongst Cyclic Polygons

arxiv url: http://arxiv.org/abs/2401.13002v1
Date: Mon, 22 Jan 2024 12:52:55 GMT
ステータス: 処理完了
システム内更新日: 2024-01-25 16:29:42.718316
Title: Theorem Discovery Amongst Cyclic Polygons
Title（参考訳）: 周期多角形における理論発見
Authors: Philip Todd (Saltire Software)
Abstract要約: 任意の数の多角形の辺で区切られた n 個の非連結な辺を取ると、その辺の間の角度の線型結合が存在することが証明される。線形結合の式を示し、それらの角度の項で定理のステートメントを提供する。本稿では,この結果を用いて新しい幾何学的証明問題とその解を生成するプログラムについて述べる。
参考スコア（独自算出の注目度）: 0.0
License: http://creativecommons.org/licenses/by/4.0/
Abstract: We examine a class of geometric theorems on cyclic 2n-gons. We prove that if we take n disjoint pairs of sides, each pair separated by an even number of polygon sides, then there is a linear combination of the angles between those sides which is constant. We present a formula for the linear combination, which provides a theorem statement in terms of those angles. We describe a program which uses this result to generate new geometry proof problems and their solutions.
Abstract（参考訳）: 巡回2n-角上の幾何定理のクラスについて検討する。 n個の辺の非連結対を取り、それぞれが偶数個の多角形辺で分離すると、それらの辺の間の角度の線形結合が定数であることを証明する。我々は線形結合の公式を示し、それらの角度の項で定理のステートメントを提供する。この結果を用いて新しい幾何学的証明問題とその解を生成するプログラムについて述べる。

関連論文リスト

A framework for generalizing toric inequalities for holographic entanglement entropy [0.10923877073891444]
我々は citeCzech:2023xed のトーリック不等式の一般化を予想する。次に、一般化トーリック不等式に対する証明法を2つの方法で拡張する。最初の拡張はユークリッド空間をタイリングすることによってトーリック不等式と一般化トーリック予想に対応するグラフを構成する。 2つ目の拡張では、不等式と予想の巡回性質を利用してサイクルグラフを構成する。
論文参考訳（メタデータ） (2024-08-08T19:51:23Z)
Product Geometries on Cholesky Manifolds with Applications to SPD Manifolds [65.04845593770727]
シンメトリー正定値(SPD)多様体上の2つの新しい測度をコレスキー多様体を通して提示する。私たちのメトリクスは使いやすく、計算効率が良く、数値的に安定しています。
論文参考訳（メタデータ） (2024-07-02T18:46:13Z)
12-dimensional Lie Algebra of Entangled Spin Fields [55.2480439325792]
質量$mathsf2m$の2つの絡み合ったプロカ場を持つ質量$mathsfm$に対するディラック方程式の同値性が証明される。絡み合ったスピン場に対して12次元リー代数が提案される。
論文参考訳（メタデータ） (2024-04-05T19:10:43Z)
The Fisher-Rao geometry of CES distributions [50.50897590847961]
Fisher-Rao情報幾何学は、ツールを微分幾何学から活用することができる。楕円分布の枠組みにおけるこれらの幾何学的ツールの実用的利用について述べる。
論文参考訳（メタデータ） (2023-10-02T09:23:32Z)
Geometrically Consistent Partial Shape Matching [50.29468769172704]
3次元形状の対応を見つけることは、コンピュータビジョンとグラフィックスにおいて重要な問題である。しばしば無視されるが、整合幾何学の重要な性質は整合性である。本稿では,新しい整数型線形計画部分形状整合式を提案する。
論文参考訳（メタデータ） (2023-09-10T12:21:42Z)
Algebra and Geometry of Camera Resectioning [2.915868985330569]
カメラ切断問題に関連する代数多様体について検討する。我々は、カメラポイントの双対性に関連するコンピュータビジョンにおける有望な結果を導出し、再解釈する。
論文参考訳（メタデータ） (2023-09-07T21:53:54Z)
UniGeo: Unifying Geometry Logical Reasoning via Reformulating Mathematical Expression [127.68780714438103]
計算と証明の2つの主要な幾何学問題は、通常2つの特定のタスクとして扱われる。我々は4,998の計算問題と9,543の証明問題を含むUniGeoという大規模統一幾何問題ベンチマークを構築した。また,複数タスクの幾何変換フレームワークであるGeoformerを提案し,計算と証明を同時に行う。
論文参考訳（メタデータ） (2022-12-06T04:37:51Z)
Integrability in the chiral model of magic angles [0.0]
我々は(複素)マジック角の和を計算し、それを用いてマジック角の集合が無限であることを示す。また、第1次マジックアングルの存在を証明し、対応するフラットバンドがすべての対称性を満たすポテンシャルの最も単純な選択に対して最小の乗算性を持つことを示す。
論文参考訳（メタデータ） (2022-08-02T17:51:59Z)
Non-linear Embeddings in Hilbert Simplex Geometry [9.4599552597135]
機械学習とコンピュータビジョンの重要な技術は、離散重み付きグラフを連続した空間に埋め込んで、さらに下流の処理を行うことである。本稿では、変分ポリトープノルムを備えたベクトル空間に等長な標準単純群に対するヒルベルト幾何を考える。以上の結果から,ヒルベルト単純幾何は,ポアンカーの双曲球やユークリッド幾何学などの代替幾何学と競合し,高速かつ数値的に頑健であることを示す。
論文参考訳（メタデータ） (2022-03-22T03:13:39Z)
A singular Riemannian geometry approach to Deep Neural Networks I. Theoretical foundations [77.86290991564829]
ディープニューラルネットワークは、音声認識、機械翻訳、画像解析など、いくつかの科学領域で複雑な問題を解決するために広く使われている。我々は、リーマン計量を備えた列の最後の多様体で、多様体間の写像の特定の列を研究する。このようなシーケンスのマップの理論的性質について検討し、最終的に実践的な関心を持つニューラルネットワークの実装間のマップのケースに焦点を当てる。
論文参考訳（メタデータ） (2021-12-17T11:43:30Z)
Topological hyperbolic lattices [0.0]
双曲幾何学の量子化曲率とエッジ支配が位相位相にどのように影響するかを示す。双曲格子のトポロジカルバンド特性を継承するユークリッドフォトニックプラットフォームの構築のレシピを報告する。我々のアプローチは一般的な非ユークリッド幾何学に適用でき、バンド理論に対する無限格子自由度の利用を可能にする。
論文参考訳（メタデータ） (2020-03-16T03:41:48Z)

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