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

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 はコメントを受け付けていません

Smoothing Methods for Automatic Differentiation Across Conditional Branches

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

要約 条件分岐などの制御フロー構造によって導入される不連続性を含むプログラムは、 … 続きを読む →

カテゴリー: cs.LG, cs.MS, math.OC | Smoothing Methods for Automatic Differentiation Across Conditional Branches はコメントを受け付けていません

Architecture Singularity Distance Computations for Linear Pentapods

投稿日: 2023年12月15日 作成者: jarxiv

要約 運動学/ロボットのコミュニティは、特定のロボット構成が次の特異なロボット構 … 続きを読む →

カテゴリー: cs.MS, cs.RO, math.AG | Architecture Singularity Distance Computations for Linear Pentapods はコメントを受け付けていません

Mathematical Supplement for the $\texttt{gsplat}$ Library

投稿日: 2023年12月5日 作成者: jarxiv

要約 このレポートは、Kerblらによって提案された、効率的な微分可能ガウススプ … 続きを読む →

カテゴリー: cs.CV, cs.GR, cs.MS, cs.NA, math.NA | Mathematical Supplement for the $\texttt{gsplat}$ Library はコメントを受け付けていません

Fast multiplication by two’s complement addition of numbers represented as a set of polynomial radix 2 indexes, stored as an integer list for massively parallel computation

投稿日: 2023年11月17日 作成者: jarxiv

要約 整数リストとして格納された多項式基数 2 のインデックスのセットとして表さ … 続きを読む →

カテゴリー: cs.DC, cs.DS, cs.LG, cs.MS | Fast multiplication by two’s complement addition of numbers represented as a set of polynomial radix 2 indexes, stored as an integer list for massively parallel computation はコメントを受け付けていません

Flexible numerical optimization with ensmallen

投稿日: 2023年11月16日 作成者: jarxiv

要約 このレポートでは、ensmallen 数値最適化ライブラリの紹介と、その仕 … 続きを読む →

カテゴリー: cs.LG, cs.MS, cs.SE, math.OC | Flexible numerical optimization with ensmallen はコメントを受け付けていません

Factor Fitting, Rank Allocation, and Partitioning in Multilevel Low Rank Matrices

投稿日: 2023年10月31日 作成者: jarxiv

要約 行列の合計の行と列の置換として定義されるマルチレベル低ランク (MLR) … 続きを読む →

カテゴリー: cs.LG, cs.MS, math.OC, stat.ML | Factor Fitting, Rank Allocation, and Partitioning in Multilevel Low Rank Matrices はコメントを受け付けていません