巡回群をガロア群に持つ5次方程式の判別とその解法(数式処理と数学研究への応用)
スポンサーリンク
概要
著者
関連論文
- ユーザ定義述語を含む系の限量子消去法 (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 論理式の置換と選言標準形への変形による論理プログラムの計算手続き
- 論理式の置換と選言標準形への変形による論理プログラムの計算手続き (テーマ:「予兆・チャンスの発見とその応用」および一般)
- 論理プログラムの新しい完備化と論理式の置換に基づく計算手続きについて
- 等号公理下での論理式の標準形とその一階言語への応用 (数式処理における理論と応用の研究)
- 論理プログラムの完備化と論理式の展開による証明手続きについて (プログラム変換と記号・数式処理)
- 代数知識のデータベース化の試み(数式処理と数学研究への応用)
- 遺伝的探索に基づく"虫"の進化(1) : ビジュアライズによる行動解析
- 機械翻訳システムCONTRASTにおける文脈情報の利用
- LIPSシステムにおける記憶管理 (記憶階層)