real root countingに関する話題 (Computer Algebra : Design of Algorithms, Implementations and Applications)
スポンサーリンク
概要
著者
-
曽我部 知広
東京大学工学系研究科
-
荻田 武史
早稲田大学大学院理工学研究科
-
木村 欣司
九州大学数理学研究科
-
横山 和弘
九州大学数理学研究院
-
横山 和弘
九州大学大学院数理学研究院
-
横山 和弘
富士通研究所
-
横山 和弘
立教大学理学部数学科
-
荻田 武史
東京女子大学 現代教養学部 数理科学科
-
平野 照比古
神奈川工科大学情報学部
-
横山 和弘
立教大学理学部
-
山澤 宏樹
京都大学情報学研究科
-
横山 和弘
(株)富士通研究所 コンピュータシステム研究所
-
横山 和弘
富士通研究所国際情報社会科学研究所
-
曽我部 知広
東京大学工学系
-
荻田 武史
早稲田大学 理工学術院
関連論文
- Algebraic approach to discrete-time polynomial spectral factorization
- 行列式の精度保証付き数値計算法
- Bi-CR法の積型解法について (数値解析と新しい情報技術)
- 不均質頭部モデルによる超音波領域骨導音波動伝搬解析
- 実対称定値一般化固有値問題のすべての固有値の精度保証付き数値計算法(数値計算,数理計画法)
- 計算実代数幾何入門(第5回)CADによるQE
- 計算実代数幾何入門(第4回)CADアルゴリズム(後半)
- 計算実代数幾何入門(第3回)CADアルゴリズム(前半)
- 最適化問題を効率的に解くための special CAD
- 計算実代数幾何入門(第2回)QEによる最適化とその応用
- 計算実代数幾何入門(第1回)CADとQEの概要
- Numerical Cylindrical Algebraic Decomposition with Certification via Symbolic Reconstruction (Computer Algebra : Design of Algorithms, Implementations and Applications)
- On Computing Sum of Roots with Positive Real Parts of Polynomials (Computer Algebra : Design of Algorithms, Implementations and Applications)
- Radical Representation of Polynomial Roots
- 有限体上の多変数多項式の因数分解について (Computer Algebra : Algorithms, Implementations and Applications)
- 標数2有限体上楕円曲線の位数計算 (代数曲線とその応用論文小特集)
- Atkin,Elkies らによる Schoof のアルゴリズム改良の実装について(数式処理における理論と応用の研究)
- 連立代数方程式の種々の解法 (特集 数式処理とその周辺--最新事情からソフトの評価・応用まで)
- Atkin, ElkiesらによるSchoofアルゴリズム改良の実装について
- Prime Decomposition of Radical Ideals and Algebraic Factorization of Polynomials
- 行列の有理標準形の一計算法(数式処理と数学研究への応用)
- modular 算法による多項式GCD計算について(数式処理と数学研究への応用)
- 共通鍵ブロック暗号SC2000
- 楕円曲線暗号 (特集 21世紀に向けた研究開発)
- 多項式環上の素イデアル分解について(数式処理における理論とその応用の研究)
- 零因子をもつ環上の逆行列計算について(数式処理における理論と応用の研究)
- 代数制約の処理 (制約論理プログラミング)
- Euclid環上の因数分解およびGCDについて : 格子算法の応用
- 楕円曲線暗号
- A fast verified automatic integration algorithm using double exponential formula (数値解析における理論・手法・応用--RIMS研究集会報告集)
- マルチプロセスを用いた連立一次方程式の精度保証法の実装
- 非対称行列から生成された対称行列に対するCG法 (数値解析と新しい情報技術)
- 計算機代数入門
- 固有分解と特異値分解用ライブラリの性能評価のためのテスト行列に関する考察(数値計算1)
- 宮城清行「明元算法」に現れる連立代数方程式の解について
- 和算における「冪乗演段」で扱われた連立代数方程式の解について
- real root countingに関する話題 (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 関孝和の問題を解く
- パラメーターが指数部に現れる連立代数方程式について (Computer Algebra : Design of Algorithms, Implementations and Applications)
- On the Abhyankar's question for affine plane curves with one place at infinity (Feasibility of Theoretical Arguments of Mathematical Analysis on Computer)
- 今を生きる
- Risa/Asir上の複数多項式2次ふるい(MPQS)の実装について
- On a polynomial parametrization problem of plane curves with one place at infinity
- 日本数式処理学会第12回大会報告
- 頂点作用素代数研究の計算機による証明支援 (Computer Algebra : Algorithms, Implementations and Applications)
- 大会報告 日本数式処理学会第12回大会報告
- 有限体上の多項式イデアルの素イデアル分解について (数学解析の計算機上での理論的展開とその遂行可能性)
- 大規模疎行列の正定値性の保証法 (計算科学の基盤技術としての高速アルゴリズムとその周辺)
- 点と直線の位置関係の計算をロバストに行う : 点と平面の位置関係の精度保証法 (計算科学の基盤技術としての高速アルゴリズムとその周辺)
- 複素解析を用いた高速精度保証付き自動積分法
- ポータブルかつ誤差半径を過大評価しない行列乗算の包含について
- 行列式の高速な精度保証付き数値計算法(数値シミュレーションを支える応用数理)
- 6 数値シミュレーションを支える精度保証技術(次世代統合シミュレーション技術)
- 不均質頭部モデルによる超音波領域骨導音波動伝搬解析
- 離散戸田方程式を用いた大規模疎行列の連立一次方程式, 行列式, 固有多項式の計算法(応用可積分系, 平成17年研究部会連合発表会)
- 点と平面との位置関係を判定する高速かつロバストなアルゴリズム(実用,計算の品質,平成18年研究部会連合発表会)
- 実対称行列の各固有対に対する精度保証付き数値計算法(理論,計算の品質,平成18年研究部会連合発表会)
- 実対称行列の各固有対に対する精度保証付き数値計算法
- 連立一次方程式のメモリ量を低減した精度保証付き数値計算法(ロバスト計算と精度保証)
- 高精度内積計算アルゴリズムを用いた連立一次方程式の精度保証付き数値計算法(ロバスト計算と精度保証)
- 精度保証付き数値計算をつかった super fast real root counting
- 悪条件連立一次方程式の精度保証付き数値計算法(計算の品質, 平成17年研究部会連合発表会)
- 実対称行列の各固有値に対する精度保証付き数値計算法(計算の品質, 平成17年研究部会連合発表会)
- Javaによる連立一次方程式の数値解の精度保証法 (21世紀における数値解析の新展開)
- PostScriptを用いた数学関係の図の作成について (数式処理と教育)
- 7-332 SVGを用いた教材の開発(口頭発表論文,(7)教材の開発-III/(6)工学教育の個性化・活性化-XII)
- 多項式の実数解を求める方法について : 再訪 (Computer Algebra : Design of Algorithms, Implementations and Applications)
- COCG法の積型解法について (微分方程式の数値解法と線形計算)
- 大規模連立一次方程式のための高速精度保証法(シンポジウム)
- 拡張Strassen法による連立一次方程式の精度保証 (数値解析と新しい情報技術)
- Strassen のアルゴリズムによる行列乗算の高速精度保証 (微分方程式の数値解法と線形計算)
- ISSAC 参加記
- RISC-Linz 滞在報告(数式処理と数学研究への応用)
- Grobner Basis の基礎(数式処理と数学研究への応用)
- 計算機援用証明II
- 計算機援用証明I
- 有限要素法用ICCG法の並列化方法 (偏微分方程式の数値解法とその周辺)
- 研究委員会紹介 精度保証付シミュレーション技術研究委員会
- 反復解法による連立一次方程式の数値解の高速精度保証
- 単調な疎行列における連立一次方程式の高速精度保証 (偏微分方程式の数値解法とその周辺II)
- 精度保証付シミュレーション技術研究委員会(研究委員会紹介)
- 有向丸めの変更を使用しないタイトな行列積の包含方法
- 電子相関理論のための数式処理システムに向けて (数式処理研究の新たな発展)
- Iterative Refinement for Ill-Conditioned Linear Systems
- Adaptive and Efficient Algorithm for 2D Orientation Problem
- 高精度行列-行列積アルゴリズムのスレッド並列化とABCLibScriptへの機能実装
- BLAS を用いた高精度な行列積アルゴリズムの使用メモリ量の削減とその性能について (科学技術計算における理論と応用の新展開)
- 有向丸めの変更を使用しないタイトな行列積の包含方法
- 有限体上の多項式イデアルのベキ零次数別分解(DND)について (第20回日本数式処理学会大会報告)
- ラボラトリーズ CREST研究課題「非線形系の精度保証付き数値計算法の基盤とエラーフリーな計算工学アルゴリズムの探求」の紹介
- QC2ASの設計について
- 有向丸めの変更を使用しないタイトな行列積の包含方法
- $\mathbf{QC^2AS}$ : 電子相関理論のための数式処理システムの設計とその利用 (Computer Algebra : Design of Algorithms, Implementations and Applications)
- CREST研究課題「非線形系の精度保証付き数値計算法の基盤とエラーフリーな計算工学アルゴリズムの探求」の紹介(ラボラトリーズ)
- 有限体上の多項式イデアルのベキ零次数別分解(DND)について
- 第二量子化演算子の代数的扱いとその実装
- The 7th East Asia SIAM Conference(Conference Reports)
- グレブナー基底候補の正当性検証について (数式処理 : その研究と目指すもの)
- RL-003 準同型暗号を用いた複数企業間の顧客情報分析(L分野:ネットワーク・セキュリティ,査読付き論文)
- 高精度内積計算アルゴリズムを用いた連立一次方程式の精度保証付き数値計算法