数式処理システムGALにおける数学公式データベース
スポンサーリンク
概要
- 論文の詳細を見る
現在の数式処理ではアルゴリズムに基づく解法(決定的解法)が主流を占めているが,決定的解法が無力である演算も数多い(例えば,特殊関数を含む積分や無限級数など).人間はこのような演算を発見的解法で解いているが,その鍵となるのは数学公式集の活用である.そこで我々は,数学公式をデータベース化して数式処理システムに組み込み,システムで自動運用させることを考えた.こうすれば,数式処理システムの機能の大幅な向上が期待できる.本稿は,上記の目的で開発した数学公式データベース(以下,公式DBと略)の設計と構成,及び機能について述べる.公式DBは国産数式処理システムGAL(General Algebraic Language/Laboratory)上に開発されており,GALから自動運用すべく(GALのシステム記述言語で)インプリメントされている.なお,現存のシステムではSMPのみが公式DBを装備しているが,その機能は限定されたものであって,公式DBの自動運用の観点からは全く不十分である.その意味で,本研究は公式DBの自動運用のさきがけとなるものである.
- 一般社団法人情報処理学会の論文
- 1988-09-12
著者
関連論文
- コンピュータ環論 (数式処理)
- 超 LSI 用電子ビーム露光法
- 計算機による数式処理と物理学への応用
- 計算機による数式処理の現状
- グレブナー基底の並列計算と連立代数方程式
- 4. 数式処理と数値計算の融合による精度保証 (精度保証付き数値計算とその応用)
- PC-PRS GCD算法の改良(数式処理と数学研究への応用)
- 大特集「数式処理」の編集にあたって
- 数式処理の歴史と将来の展望 (数式処理)
- 国産数式処理システムGALにおけるパターンマッチング(数式処理と数学研究への応用)
- INTERNAL REPRESENTATIONS OF FORMULAS IN JAPANESE COMPUTER ALGEBRA SYSTEM GAL(Formula Manipulation and Its Applications to Mathematical Study)
- 多変数多項式の近似因数分解算法の解析(数式処理と数学研究への応用)
- 多変数多項式の近似的 GCD と悪条件連立代数方程式への応用
- 多変数多項式の近似的GCDとその応用(数式処理と数学研究への応用)
- 数式処理システムGALにおける数学公式データベース
- Formula Database in Computer Algebra System GAL(Algebraic Manipulation for Groups and Differential Equations)