OpenXMプロジェクトの現状について (数式処理における理論と応用の研究)
スポンサーリンク
概要
著者
-
野呂 正行
富士通研究所
-
小原 功任
金沢大学理工研究域
-
野呂 正行
神戸大学理学研究科
-
野呂 正行
株式会社富士通研究所hpc研究センター
-
野呂 正行
富士通国際研究所
-
野呂 正行
(株)富士通研究所セキュアコンピューティング研究部
-
田村 恭士
(株)ジャストシステム
-
高山 信毅
神戸大学理学部
-
小原 功任
OpenXM開発グループ
-
小原 功任
金沢大学理学部
-
野呂 正行
株式会社富士通研究所情報社会科学研究所
-
田村 恭士
神戸大学自然科学研究科
-
前川 将秀
神戸大学自然科学研究科
-
奥谷 行央
神戸大学自然科学研究科
-
前川 将秀
神戸大学理学部
-
小原 功任
金沢大学理学研究域数物科学系
関連論文
- 行列のスペクトル分解・固有ベクトルの分散計算 (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 有限体上の多変数多項式の因数分解について (Computer Algebra : Algorithms, Implementations and Applications)
- 標数2有限体上楕円曲線の位数計算 (代数曲線とその応用論文小特集)
- 連立代数方程式の種々の解法 (特集 数式処理とその周辺--最新事情からソフトの評価・応用まで)
- Prime Decomposition of Radical Ideals and Algebraic Factorization of Polynomials
- 行列の有理標準形の一計算法(数式処理と数学研究への応用)
- modular 算法による多項式GCD計算について(数式処理と数学研究への応用)
- 多項式環上の素イデアル分解について(数式処理における理論とその応用の研究)
- 固有分解と特異値分解用ライブラリの性能評価のためのテスト行列に関する考察(数値計算1)
- MEGA 2003, ISSAC 2003, IAMC 2003 報告
- IMACS-ACA'96
- 多項式乗算の様々なアルゴリズムの比較 (数式処理における理論と応用の研究)
- Fast Remainder Calculation in Polynomial Multiplication
- 2.方程式を解く (数式処理の最近の研究動向)
- Replicable function の Risa/Asir による計算(数式処理における理論と応用の研究)
- Risa/Asir と数式処理(2)
- 数式処理システム risa / asir の内部構造(数式処理と数学研究への応用)
- PSI上の数式処理システムSAM
- 並行処理による数式処理の試み(数式処理と数学研究への応用)
- 局所$b$関数に付随するstratificationアルゴリズムの実装および応用 (Computer Algebra : Design of Algorithms, Implementations and Applications)
- グレブナーwalkアルゴリズムの実装と効率化について (Computer Algebra : Design of Algorithms, Implementations and Applications)
- Dynamic Evaluation を用いたDiscrete Comprehensive Grobner Bases の計算 (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 斉次化とinter-reduction によるグレブナー基底計算の効率化について (Computer Algebra : Design of Algorithms, Implementations and Applications)
- Risa / Asir における新しい形式の数式の取り扱いについて (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 代数体上のイデアルのグレブナー基底計算について (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 離散戸田方程式を用いた大規模疎行列の連立一次方程式, 行列式, 固有多項式の計算法(応用可積分系, 平成17年研究部会連合発表会)
- 連立代数方程式の消去の理論と実際 (数学史の研究)
- Dynamic Evaluation の実装について
- 整数を要素とする大規模疎行列の固有方程式を高速に求める方法
- スピンの交換だけを用いた量子コンピュータにおける厳密なCNOTの存在
- KNOPPIX/Math を使ってみる
- はじめに
- Risa/Asirの新グレブナー基底計算パッケージについて (Computer Algebra : Design of Algorithms, Implementations and Applications)
- OpenXMの新サーバ, 新プロトコル (Computer Algebra : Design of Algorithms, Implementations and Applications)
- グレブナー基底計算のためのweight生成アルゴリズム (Computer Algebra : Design of Algorithms, Implementations and Applications)
- プログラマー=体力+腕力?
- Painleve-VI方程式の有理解と代数函数解について
- 有限体上の多変数多項式の因数分解について(その2) (Computer Algebra : Algorithms, Implementations and Applications)
- 行列の最小多項式の計算について
- 行列のスペクトル分解について
- 行列の最小多項式の計算について (第18回日本数式処理学会大会報告)
- 並列計算機AP1000への数式処理システム Risa/Asir の実装とグレブナ基底の並列計算
- 数学ソフトの開発
- 代数幾何,代数解析に使えるソフトウェア (特集 数学を発展させるコンピュータソフト)
- Monodromy of the hypergeometric differential equation of type ( k, n )
- 最小化法による多次元アメリカンオプションプライシングの数値解析(応用,数理ファイナンス,平成20年研究部会連合発表)
- 微分作用素環用システム kan/sm1
- Funkcialaj Ekvacioj の遡及電子化中間報告(紀要の電子化と周辺の話題)
- ディジタル数学公式集の現状と未来
- Quadratic Relations for Generalized Hypergeometric Functions (Deformation of differential equations and asymptotic analysis)
- OpenXM 1.1.3の概要 (数式処理における理論と応用の研究)
- OpenXMプロジェクトの現状について (数式処理における理論と応用の研究)
- Open asir入門
- Risa/Asir (特集 いろいろな数式処理システム)
- Risa/AsirにおけるWeyl Algebra上のグレブナ基底計算およびその応用 (数式処理における理論と応用の研究)
- フリ-の数学ソフトあれこれ (特集/計算の現在)
- モノミアルカーブに付随したGKZ Hypergeometricのslope (微分方程式論における積分公式とTwisted Cohomology)
- 第2回アジア数学会議印象記
- Implementation of the $F_4$ algorithm in Asir (Algorithms for D-modules)
- グレブナ基底 : 理論,計算の効率化,応用 (数式処理における理論と応用の研究)
- $D$-加群における$(u,v)$-極小自由分解とその応用 (数式処理における理論と応用の研究)
- $D$加群の極小自由分解 (D-加群のアルゴリズム)
- 加群の積分とその応用(数式処理における理論と応用の研究)
- Macintosh 版 Risa/Asir(数式処理における理論と応用の研究)
- xfy を用いたXML の編集について(数式処理研究の新たな発展)
- 局所グレブナ扇 (Computer Algebra : Design of Algorithms, Implementations and Applications)
- OpenXM プロジェクトの過去, 現在, 未来
- $D$加群のアルゴリズムとその数値解析への応用 (数学解析の理論的展開の計算機による支援・遂行可能性)
- Holonomic系の形式巾級数解の構成アルゴリズム
- ICMS2002報告
- グレブナ変形による微分方程式系の解析 (数学解析の計算機上での理論的展開とその遂行可能性)
- 大学と数式処理学会の未来
- FoCM99参加記録
- 時間発展をともなう1次元自由境界問題の数値解法の比較(関数方程式の解のダイナミクスと数値シミュレーション)
- GNU TeXmacs (特集 KNOPPIX/Math)
- Generalized Shape LemmaのHensel構成による計算(数式処理における理論とその応用の研究)
- 逐次代数拡大体上での1変数多項式のGCDについて(数式処理における理論とその応用の研究)
- 第二超局所理論におけるRadon変換の方法について(代数解析学の現況)
- 2-超函数のRadon変換とその応用について(偏微分方程式系の局所非局所変換理論)
- Risa/Asir Package for Non-commutative Grobner Bases and its Applications (Computer Algebra--Design of Algorithms, Implementations and Applications研究集会報告集)
- 北京訪問記 : ASCM 2003 報告
- 超幾何多項式と整数計画法(数式処理における理論と応用の研究)
- 拡張行列ホーナー法と行列スペクトル分解の並列算法 (数式処理 : その研究と目指すもの)
- ホロノミックシステムの多項式解と有理解を求めるアルゴリズム (数式処理における理論と応用の研究)
- Kan/k0の設計
- 超幾何関数とトーリック多様体(トーリック多様体の幾何と凸多面体)
- Secondary polytope, hypergeometric D-module and connection formulas of $\Delta_1 \times \Delta_{n-1}$-hypergeometric functions(Modern aspects of combinatorial structure on convex polytopes)
- Kan(環):非可換環の得意な数式処理システム(数式処理における理論と応用の研究)
- 環と加群のソフトウエア
- Computational algebraic analysis and connection formula
- グレブナー基底計算ソフトの開発秘話 (特集 グレブナー基底の新天地)
- 大会特別講演 数式処理の理論概説 (第20回日本数式処理学会大会報告)
- 最小消去多項式を用いた行列スペクトル分解計算の並列化 (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 行列の最小多項式計算について (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 最小化法による多次元アメリカンオプションプライシングの数値解析
- 数式処理の理論概説
- 書評 D.コックス・J.リトル・D.オシー(落合啓之・示野信一・西山享・室政和・山本敦子 訳):グレブナ基底と代数多様体入門(上),(下)
- グレブナー基底候補の正当性検証について (数式処理 : その研究と目指すもの)
- Risa/Asir行列スペクトル分解パッケージの開発