標数2のある体上の代数方程式の求解
スポンサーリンク
概要
- 論文の詳細を見る
Conwayが考案した標数2の体On_2の上の代数方程式の解放について考察する.特にω^ω未満の順序数を係数として持つ4次以下の方程式の完全な解法を与える.
- 日本ソフトウェア科学会の論文
- 2001-05-15
著者
関連論文
- モデル検査によるシステム検証(「信頼性・保全性・安全性の事例:情報処理・ソフトウェア編」〜信頼性ハンドブック出版から10年を経て〜)
- 抽象化を用いた検証ツール(システム検証の科学技術)
- 並列ごみ集めの抽象モデル検査の形式的証明
- BDDを用いた同期アルゴリズムの探索
- モデル検査系を用いたプログラム発見(「定理証明, 推論関係の新技術」)
- 正則表現を用いた並列ごみ集めの抽象モデル検査
- 時相論理の充足可能性判定器のための論理式生成法(計算モデル,フォーマルアプローチ論文)
- 証明支援系の図式によるインターフェイス ( インタラクティブソフトウェア)
- 代数的仕様を用いたソフトウェア開発支援環境 : Metis-AS
- Metis-AS における代数的仕様の検証手続き
- 等式論理の帰納的定理を証明する手続き
- E単一化子の完全集合を求める推論規則
- 項書換えシステム「Metis」の実装
- 不偏ゲームの平坦性についての考察(セッション(6) : 一般)
- BDDを用いた2方向CTL論理式充足可能性決定手続きの実装(サイバー増大ページ論文概要,サイバー増大号)
- 束縛関係に基づく認証プロトコルの検証(セキュアコンピューティング)
- 標数2のある体上の代数方程式の求解
- 「結合子による高階単一化」再考
- 特集「制約論理プログラミング」の編集にあたって (制約論理プログラミング)
- グラフ探索アルゴリズムの形式的検証とモデル検査への応用について (プログラム変換と記号・数式処理)
- Javaのクラスローダ制約の定式化
- システム検証における数理的手法の紹介 : 組込みシステムへの適用事例(組込みシステム特集号)
- 特集「システム検証の科学技術」の編集にあたって(システム検証の科学技術)
- 作譜科学の現状と将来--心配のないソフトウェア開発に向けて
- 制御システムセキュリティのためのセキュリティバリアデバイスの提案
- 制御システムセキュリティのためのセキュリティバリアデバイスの提案