数式データベースを用いた曖昧な数式の発見
スポンサーリンク
概要
- 論文の詳細を見る
数式表現に用いられるMathMLにはPresentation MarkupとContent Markupという2種類の形式がある.Content Markupは計算に適しているが,広く一般的にはPresentation Markupが普及している.Presentation MarkupからContent Markupへの変換が可能になれば,Presentation Markupもまた計算が可能になるといえる.しかしながらPresentation Markupのもつ曖昧性のため,一意の変換ができないという問題点がある.本研究では,上記の変換を考える前段階として,数式データベースを構築し,それをもとに曖昧な数式の発見を試みた.
- 2011-03-02
著者
関連論文
- xfy上のMathML content markupエディタの実装と評価 (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 1Q-4 xfyにおける数式処理フロントエンドの開発とその応用(ユーザ支援,学生セッション,データベースとメディア)
- プログラミング・コンテストEPOCH報告
- 2R-1 xfyにおけるLMSクイズコンテンツ編集環境の開発(文書管理,学生セッション,データベースとメディア,情報処理学会創立50周年記念)
- 6Q-8 xfyにおける数式編集環境の改良(文書作成支援,学生セッション,データベースとメディア,情報処理学会創立50周年記念)
- xfyにおけるMoodle小問題作成支援環境の開発
- xfyにおけるMathML編集機能の開発 (Computer Algebra : Design of Algorithms, Implementations and Applications)
- xfyにおける数式処理機能について
- 自動安定化システムを用いた画像処理について (数式処理における理論と応用の研究)
- 安定化理論を用いた連想記憶の計算
- 一般逆行列を用いたNearest Singular Polynomialsの計算
- CとRisa/Asirによる安定化理論を用いた一般逆行列の計算
- 浮動小数演算に基づく安定化理論計算システムの作成(数式処理における理論と応用の研究)
- Risa/Asir による一般逆行列の計算とその連想記憶への応用(数式処理における理論と応用の研究)
- パラメータを持つ有理関数のハイブリッド積分 (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 1Q-6 xfyにおける数学教育用コンテンツ統合編集環境の開発(ユーザ支援,学生セッション,データベースとメディア)
- 1Q-5 xfyにおける幾何図形編集コンポーネント(ユーザ支援,学生セッション,データベースとメディア)
- xfy MathML content markup Editorの開発とユーザインタフェース評価
- xfy MathML content markup Editorの開発とユーザインタフェース評価
- xfy におけるContent MathML の編集プラグインの開発と応用(数式処理研究の新たな発展)
- 数学Webサービスにおけるグラフ表示サービスとその教育への応用 (Computer Algebra : Design of Algorithms, Implementations and Applications)
- グラフWebサービスの実装とその数学教育への応用
- ハイブリッド有理関数近似と悪条件問題
- QRGCDの Risa/Asir への実装
- ハイブリッド有理関数近似とその悪条件性
- $G$関数を用いた数学公式データベースの実装について (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 多項式GCDを用いた復号法に関する研究 (Computer Algebra : Design of Algorithms, Implementations and Applications)
- Approximate Computation of Pseudovarieties (Computer Algebra : Design of Algorithms, Implementations and Applications)
- ORCCA滞在記
- 数式処理を用いた数値計算アルゴリズム選択
- 数学Webサービスの実装とプロセス実行に関する研究
- 数学Webサービスの実装とプロセス実行に関する研究
- 多項式GCDを用いた復号法に関する考察
- 近似代数計算と有理関数近似に関する研究 (Computer Algebra : Algorithms, Implementations and Applications)
- 代数的アルゴリズムに対する量子計算 (Computer Algebra : Algorithms, Implementations and Applications)
- 代数的手法を用いた非線形計画問題の求解
- 非線形計画問題への代数的算法の応用
- ある種の非線形計画問題の代数的解法について(数式処理における理論と応用の研究)
- ある種の非線形計画問題の代数的解放について
- ある種の非線形計画問題の代数的解法について
- 二変数有理関数近似のハイブリッド計算と多変数近似GCDアルゴリズム (数式処理における理論と応用の研究)
- 量子アルゴリズムを用いた多項式GCDの計算その2
- 安定化したWu's methodのロボット制御への応用 (Computer Algebra : Algorithms, Implementations and Applications)
- 区間演算によるハイブリッド有理関数近似と安定化理論について (Computer Algebra : Algorithms, Implementations and Applications)
- 量子アルゴリズムを用いた多項式GCDの計算 (Computer Algebra : Algorithms, Implementations and Applications)
- 有理関数近似の離散化における問題点 (数学解析の計算機上での理論的展開とその遂行可能性)
- 安定化したWu's methodの並列計算
- 数式処理と数値計算--ハイブリッド計算について
- 二変数ハイブリッド有理関数近似の誤差評価 (数式処理における理論と応用の研究)
- Wuの方法の並列化における負荷分散について (数式処理における理論と応用の研究)
- Wu's methodの浮動小数化 (数式処理における理論と応用の研究)
- 近似的GCDとハイブリッド有理関数近似の誤差の関係について(数式処理における理論と応用の研究)
- 有理関数補間の連続性の条件について
- 非線形(多項式)計画問題の代数的解法
- 有理関数補間の連続性の条件とHRFAの関係について
- 数式処理システムとデータベースの結合とデータ解析への応用(数式処理における理論と応用の研究)
- 次数低下した有理関数の誤差評価(数式処理における理論とその応用の研究)
- 非線形(多項式)計画問題の代数的解法
- 数式データベースを用いた曖昧な数式の発見
- 二変数有理関数近似のハイブリッド計算と多変数近似GCDアルゴリズム
- 二変数有理関数近似のハイブリッド計算 (プログラム変換と記号・数式処理)
- ハイブリッド計算によるCauchy型特異積分方程式の解法について (数式処理における理論と応用の研究)
- ハイブリッド有理関数近似を用いたCauchy型特異積分方程式の近似解法
- ハイブリッド有理関数近似を用いたCauchy型特異積分方程式の近似解法
- 近似的GCDを用いた連分数展開のハイブリッド積分への応用(数式処理における理論と応用の研究)
- ハイブリッド有理関数近似の誤差評価
- ハイブリッド計算のシステム低次元化法への応用
- ハイブリッド計算のシステム低次元化法への応用
- ハイブリッド有理関数近似によるデ-タの平滑化と主値積分
- ハイブリッド有理関数近似とデータの平滑化
- 誤差を含んだ係数を持つ連立代数方程式の代数的解法
- 有理関数近似の誤差評価と近似GCD
- P-irreducibility of Positive Polynomials (Theory and Application in Computer Algebra)
- 有理関数補間の連続性の条件について
- ISSAC'98参加報告 : ポスターセッション
- 3.数式処理と数値計算 : いかに結合させるか? (数式処理の最近の研究動向)
- 近似値GCDと連分数展開の関係について
- 連分数展開による次数低下した有理関数の誤差評価
- 近似的GCDとPade近似の関係(数式処理における理論とその応用の研究)
- 近似的GCDを用いた有理関数近似(数式処理における理論と応用の研究)
- 近似的GCDを用いた有理関数近似
- 近似的GCDを用いた有理関数近似(非線形問題の数値解析)
- MathML 編集環境における近似代数の利用について (Computer Algebra : Design of Algorithms, Implementations and Applications)