「68W30」カテゴリーアーカイブ

Constrained Neural Networks for Interpretable Heuristic Creation to Optimise Computer Algebra Systems

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

要約 記号計算研究において機械学習技術を利用するための新しい方法論を紹介します。 … 続きを読む →

カテゴリー: 03C10, 68T05, 68W30, cs.LG, cs.SC, I.2.6 | Constrained Neural Networks for Interpretable Heuristic Creation to Optimise Computer Algebra Systems はコメントを受け付けていません

Inverse kinematics and path planning of manipulator using real quantifier elimination based on Comprehensive Gröbner Systems

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

要約 CGS-QE 法と呼ばれる、包括的 Gr\’obner Sys … 続きを読む →

カテゴリー: 13P15, 68W30, cs.RO, cs.SC, math.AC | Inverse kinematics and path planning of manipulator using real quantifier elimination based on Comprehensive Gröbner Systems はコメントを受け付けていません

Generating Elementary Integrable Expressions

投稿日: 2023年6月28日 作成者: jarxiv

要約 近年、記号統合の著名なサブ分野を含め、コンピューター代数の分野への機械学習 … 続きを読む →

カテゴリー: 68T05, 68W30, cs.LG, cs.SC, I.2.6 | Generating Elementary Integrable Expressions はコメントを受け付けていません

Inverse kinematics and path planning of manipulator using real quantifier elimination based on Comprehensive Gröbner Systems

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

要約 CGS-QE 法と呼ばれる、包括的 Gr\’obner Sys … 続きを読む →

カテゴリー: 13P15, 68W30, cs.RO, cs.SC, math.AC | Inverse kinematics and path planning of manipulator using real quantifier elimination based on Comprehensive Gröbner Systems はコメントを受け付けていません

Abstract Visual Reasoning: An Algebraic Approach for Solving Raven’s Progressive Matrices

投稿日: 2023年3月22日 作成者: jarxiv

要約 抽象的推論に適した新しい推論フレームワークである代数機械推論を紹介します。 … 続きを読む →

カテゴリー: 13P25, 68W30, cs.AI, cs.CV, cs.SC, I.2.4, math.AC | Abstract Visual Reasoning: An Algebraic Approach for Solving Raven’s Progressive Matrices はコメントを受け付けていません