Diophantine近似グレブナ基底の計算(数式処理における理論とその応用の研究)

スポンサーリンク

概要

• 論文の詳細を見る
• 京都大学の論文

著者

• 関川 浩

  NTTコミュニケーション科学基礎研究所

• 白柳 潔

  NTT コミュニケーション科学基礎研究所

• 関川 浩

  NTT コミュニケーション科学基礎研究所

関連論文

• 数式処理と数値計算の融合
• 係数に誤差を持つ多項式同士の整除性判定
• 係数に誤差を含む多項式同士の整除性判定 (Computer Algebra : Design of Algorithms, Implementations and Applications)
• IMACS-ACA'99の参加報告
• IMACS-ACA'98に参加して
• 5.量子回路の自動設計手法(量子コンピュータと量子計算)
• 円に関する人間らしい初等幾何証明を生成するための推論方法 (Computer Algebra : Design of Algorithms, Implementations and Applications)
• 人間らしい初等幾何証明における角の取り扱いについて (Computer Algebra : Design of Algorithms, Implementations and Applications)
• 初等幾何の自動証明における効率的な補助線の発見法について (Computer Algebra : Design of Algorithms, Implementations and Applications)
• 初等幾何における読みやすい証明の生成手法について (Computer Algebra : Algorithms, Implementations and Applications)
• スピンの交換だけを用いた量子コンピュータにおける厳密なCNOTの存在
• 安定化理論に基づくlog methodについて (Computer Algebra : Design of Algorithms, Implementations and Applications)
• 安定化理論に基づくInterval Trace Liftingについて (Computer Algebra : Design of Algorithms, Implementations and Applications)
• PARTHENONにおける最新の論理合成機能
• Decoherence-free subspaceにおける量子ゲートについて
• ISO/IEC MPEG-4 Audio Lossless Coding (ALS)におけるIEEE754浮動小数点信号の可逆符号化(国際標準に向けたテレコム技術とその効用論文)
• 実多項式行列スミス標準形の安定な浮動小数点計算法
• 浮動小数ジョルダン標準形の安定化(数式処理における理論と応用の研究)
• MapleのInterval Packageを用いた浮動小数グレブナ基底の計算(数式処理における理論とその応用の研究)
• 特集「数式処理の最近の研究動向」の編集にあたって (数式処理の最近の研究動向)
• 係数に誤差のある連立代数方程式の可解性について (第19回日本数式処理学会大会報告)
• 与えられた実閉区間に重複零点を持つ最近実多項式
• 安定化理論に基づくグレブナ基底変換法
• 研究と開発
• 安定化理論における台収束の応用について (Computer Algebra : Design of Algorithms, Implementations and Applications)
• とびらの言葉
• 実区間多項式の実重複零点の所在について
• 区間多項式の零点の所在について(数値計算,数理計画法)
• 11th International Conference on Applications of Computer Algebra(ACA' 2005)
• 実区間多項式の零点の所在について
• 近似計算を用いた代数的数のゼロ判定法
• 前提条件
• 新しい科学技術計算方式--数値計算と数式処理の融合 (特集論文1 情報科学研究の最前線--より安全で快適な情報処理技術を目指して) -- (大規模で高速な処理のために)
• 有理演算による実対称行列の三重対角化 (数式処理における理論と応用の研究)
• アルゴリズム自動安定化プロトタイプシステム
• 数式処理から見た行列の数値計算アルゴリズム (数式処理における理論と応用の研究)
• アルゴリズム自動安定化システムの構築に向けて
• 浮動小数点計算を用いた代数的数の符号判定(数式処理における理論と応用の研究)
• $\mathit{p}$進近似を利用した代数的数の取り扱い(数式処理における理論と応用の研究)
• 区間演算と Mahler の measure を用いた代数的数のゼロ判定
• ゼ口書換えに基づいた区間法とSturmのアルゴリズムへの応用
• 拡張された Mahler の measure による代数的数のゼロ判定(数式処理における理論と応用の研究)
• 近似計算による代数的数の符号判定について(数式処理における理論とその応用の研究)
• Diophantine近似グレブナ基底の計算(数式処理における理論とその応用の研究)
• アルゴリズムの安定化理論とその応用 : 数式処理研究の一つの潮流(セッション2)
• ACA2002に参加して
• 安定化理論に関するいくつかの注意 (Computer Algebra : Algorithms, Implementations and Applications)
• 代数的アルゴリズムの安定化理論(プログラミング及びプログラミング言語)
• 安定化理論の文字認識への応用
• 安定化理論の新しい使い道(数式処理における理論と応用の研究)
• 4.不安定なアルゴリズムを安定化する (数式処理の最近の研究動向)
• 安定化理論の一般逆行列への応用
• アルゴリズムの安定化理論
• 安定化理論と出力の妥当性について
• グレブナ基底入門
• 係数に誤差のある連立代数方程式の可解性について
• 安定化理論に基づくISCZ法の有効性について (Computer Algebra : Design of Algorithms, Implementations and Applications)
• 安定化理論に基づくISCZ 法の凸包構成への応用 (Computer Algebra : Design of Algorithms, Implementations and Applications)

もっと見る 閉じる

スポンサーリンク