2009 Fiscal Year Final Research Report
Study of Algorithms and Applications of Approximate Algebra
| Project/Area Number |
19300001
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (B)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 一般 |
|---|
| Research Field |
Fundamental theory of informatics
|
|---|
| Research Institution | University of Tsukuba |
|---|
Principal Investigator |
SASAKI Tateaki University of Tsukuba, 名誉教授 (80087436)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
SAKURAI Tetsuya 筑波大学, 大学院・システム情報工学研究科, 教授 (60187086)
TERUI Akira 筑波大学, 大学院・数理物質科学研究科, 助教 (80323260)
KAI Hiroshi 愛媛大学, 大学院・理工学研究科, 准教授 (10274341)
KAKO Fujio 奈良女子大学, 理学部, 教授 (90152610)
FUKUI Tetsuo 武庫川女子大学, 生活環境学部, 教授 (70218890)
|
|---|
| Project Period (FY) |
2007 – 2009
|
| Keywords | アルゴリズム理論 / 数式処理 / 数値数式融合算法 / 数値解析 |
|---|
| Research Abstract |
For computing Groebner bases with inaccurate input coefficients, we clarified origins of instability and proposed a stable method "high-precision method with effective floating-point numbers". As for series expansion of multivariate algebraic function at singular point, we devised a method which gives the series in a compact form, derived a simple expansion formula, and clarified many properties of convergence and many-valuedness. We devised a method which computes only eigenvalues located in a specified domain, and applied the method to large-scale chemical computations successfully. We made Japanese algebra system GAL run on C.
|
