「cs.MS」カテゴリーアーカイブ

Raster Forge: Interactive Raster Manipulation Library and GUI for Python

投稿日: 2024年4月10日 作成者: jarxiv

要約 Raster Forge は、ラスター データの操作と分析のための Pyt … 続きを読む →

カテゴリー: cs.CV, cs.CY, cs.MS, eess.IV, H.5.2 | Raster Forge: Interactive Raster Manipulation Library and GUI for Python はコメントを受け付けていません

Symbolic and User-friendly Geometric Algebra Routines (SUGAR) for Computations in Matlab

投稿日: 2024年3月26日 作成者: jarxiv

要約 幾何代​​数 (GA) は、幾何学的コンピューティングのための数学ツールで … 続きを読む →

カテゴリー: cs.MS, cs.RO, cs.SY, eess.SY, G.4 | Symbolic and User-friendly Geometric Algebra Routines (SUGAR) for Computations in Matlab はコメントを受け付けていません

BlackJAX: Composable Bayesian inference in JAX

投稿日: 2024年2月19日 作成者: jarxiv

要約 BlackJAX は、ベイジアン計算で一般的に使用されるサンプリングおよび … 続きを読む →

カテゴリー: cs.LG, cs.MS, stat.CO, stat.ML | BlackJAX: Composable Bayesian inference in JAX はコメントを受け付けていません

TopoX: A Suite of Python Packages for Machine Learning on Topological Domains

投稿日: 2024年2月8日 作成者: jarxiv

要約 ハイパーグラフ、シンプリシアル、セルラー、パス、および組み合わせ複素数など … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.MS, stat.CO | TopoX: A Suite of Python Packages for Machine Learning on Topological Domains はコメントを受け付けていません

Symbolic Equation Solving via Reinforcement Learning

投稿日: 2024年1月25日 作成者: jarxiv

要約 機械学習手法は、社会、経済、科学のさまざまな状況で徐々に採用されていますが … 続きを読む →

カテゴリー: cs.LG, cs.MS, cs.SC | Symbolic Equation Solving via Reinforcement Learning はコメントを受け付けていません

The Locus Story of a Rocking Camel in a Medical Center in the City of Freistadt

投稿日: 2024年1月23日 作成者: jarxiv

要約 無料ソフトウェア パッケージ GeoGebra Discovery を使用 … 続きを読む →

カテゴリー: cs.CG, cs.MS, cs.RO, cs.SC | The Locus Story of a Rocking Camel in a Medical Center in the City of Freistadt はコメントを受け付けていません

Automated Completion of Statements and Proofs in Synthetic Geometry: an Approach based on Constraint Solving

投稿日: 2024年1月23日 作成者: jarxiv

要約 推測と定理の証明は数学的実践の中心となる活動であり、分離するのは困難です。 … 続きを読む →

カテゴリー: cs.AI, cs.LO, cs.MS | Automated Completion of Statements and Proofs in Synthetic Geometry: an Approach based on Constraint Solving はコメントを受け付けていません

Showing Proofs, Assessing Difficulty with GeoGebra Discovery

投稿日: 2024年1月23日 作成者: jarxiv

要約 私たちの寄稿では、GeoGebra Discovery で開発された自動推 … 続きを読む →

カテゴリー: cs.AI, cs.CG, cs.MS, cs.SC | Showing Proofs, Assessing Difficulty with GeoGebra Discovery はコメントを受け付けていません

Solving with GeoGebra Discovery an Austrian Mathematics Olympiad problem: Lessons Learned

投稿日: 2024年1月23日 作成者: jarxiv

要約 私たちは、GeoGebra Discovery の自動推論ツールを通じて、 … 続きを読む →

カテゴリー: cs.AI, cs.CG, cs.MS, cs.SC | Solving with GeoGebra Discovery an Austrian Mathematics Olympiad problem: Lessons Learned はコメントを受け付けていません

Proceedings 14th International Conference on Automated Deduction in Geometry

投稿日: 2024年1月22日 作成者: jarxiv

要約 ADG は、アイデアや意見を交換し、研究結果と進捗状況を発表し、幾何学と自 … 続きを読む →

カテゴリー: cs.AI, cs.CG, cs.LO, cs.MS | Proceedings 14th International Conference on Automated Deduction in Geometry はコメントを受け付けていません