ACA2002に参加して
スポンサーリンク
概要
- 論文の詳細を見る
- 日本数式処理学会の論文
- 2003-03-01
著者
関連論文
- IMACS-ACA'98に参加して
- 人間らしい初等幾何証明における角の取り扱いについて (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 初等幾何の自動証明における効率的な補助線の発見法について (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 初等幾何における読みやすい証明の生成手法について (Computer Algebra : Algorithms, Implementations and Applications)
- スピンの交換だけを用いた量子コンピュータにおける厳密なCNOTの存在
- ISO/IEC MPEG-4 Audio Lossless Coding (ALS)におけるIEEE754浮動小数点信号の可逆符号化(国際標準に向けたテレコム技術とその効用論文)
- 実多項式行列スミス標準形の安定な浮動小数点計算法
- 浮動小数ジョルダン標準形の安定化(数式処理における理論と応用の研究)
- MapleのInterval Packageを用いた浮動小数グレブナ基底の計算(数式処理における理論とその応用の研究)
- 特集「数式処理の最近の研究動向」の編集にあたって (数式処理の最近の研究動向)
- 区間多項式の零点の所在について(数値計算,数理計画法)
- 11th International Conference on Applications of Computer Algebra(ACA' 2005)
- Diophantine近似グレブナ基底の計算(数式処理における理論とその応用の研究)
- アルゴリズムの安定化理論とその応用 : 数式処理研究の一つの潮流(セッション2)
- ACA2002に参加して
- 安定化理論に関するいくつかの注意 (Computer Algebra : Algorithms, Implementations and Applications)
- 代数的アルゴリズムの安定化理論(プログラミング及びプログラミング言語)
- 安定化理論の文字認識への応用
- 安定化理論の新しい使い道(数式処理における理論と応用の研究)
- 4.不安定なアルゴリズムを安定化する (数式処理の最近の研究動向)
- 安定化理論の一般逆行列への応用
- アルゴリズムの安定化理論
- 安定化理論と出力の妥当性について
- グレブナ基底入門