• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to project page

1999 Fiscal Year Final Research Report Summary

Study of Algorithms and Applications of Approximate Algebra

Research Project

Project/Area Number 09308008
Research Category

Grant-in-Aid for Scientific Research (A)

Allocation TypeSingle-year Grants
Section一般
Research Field 計算機科学
Research InstitutionUniversity of Tsukuba

Principal Investigator

SASAKI Tateaki  Tsukuba Univ., Inst. Math., Professor, 数学系, 教授 (80087436)

Co-Investigator(Kenkyū-buntansha) SUZUKI Masayuki  Iwate Univ., Dept. Inf. Eng., Assoc. Prof., 工学部, 助教授 (20143365)
KAKO Fujio  Nara Wo. Univ., Dept. Inf. Sci., Professor, 理学部, 教授 (90152610)
NODA Matu-tarou  Ehime Univ., Dept. Comp. Sci., Professor, 工学部, 教授 (10036402)
MOTOYOSHI Fumio  Electro-Technical Laboratory, Chief, 知能情報部, 室長
FUKUI Tetsuo  Mukogawa Wemen's College, Assoc. Prof., 生活環境学部, 助教授 (70218890)
Project Period (FY) 1997 – 1999
Keywordsapproximate algebra / algebraic computation / algebraic-numeric computation / computer algebra / computer algebra system / 数式処理 / 数式処理システム
Research Abstract

The purposes of this research are, 1) to develop approximate algebraic algorithms for many algebraic operations, 2) to perform error analysis of approximate algebraic algorithms, 3) to implement the algorithms developed into NSL-GAL system, and 4) to seek for applications of approximate algebra. We performed the following researches for each purpose.
Algorithm study : improvement of approximate factorization algorithm (Sasaki & Nagasaka), theory of Sturm sequence of polynomial with error terms (Sasaki & Terui), decomposition method of multivariate polynomial at a singular point and its application to multivariate factorization (Sasaki & Inaba), rational function interpolation method for bivariate functions (Noda & Kai).
Error analysis : analysis of cancellation errors in multivariate Hensel construction with floating-point numbers (Sasaki & Yamaguchi), analysis of cancellation errors in multivariate resultant computation with floating-point numbers (Sasaki & Sato), evaluation of errors in hybrid rational function approximation based on approximate GCD (Kai & Noda).
Implementation : facilities for approximate algebraic computation in GAL (Kako & Sasaki), a program for calculating polynomial solutions of linear equations with polynomial coefficients (Motoyoshi), development of an interface between GAL and Internet and corresponding modification of GAL (Fukui), a package for computing approximate Grobner basis (Suzuku), a package for computing validated solutions of multivariate polynomial equation by using effective numbers (Suzuki).
Applications : application of algebraic-numeric computation to classification of N lines arrangement on real projective plane (Fukui & Sekiguchi), application of hybrid rational function approximation to singular integral equations appearing in wing theory (Noda & Kai), application of approximate power series solutions of coupled linear equations to algebraic control theory (Kitamoto).

  • Research Products

    (62 results)

All Other

All Publications (62 results)

  • [Publications] A.Terui and T.Sasaki: ""Approximate Zero-points" of Real Univariate Polynomial with Large Error Terms"情報処理学会論文誌. Vol.41(印刷中). (2000)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] A.Terui and T.Sasaki: "Durand-Kerner's Method for the Real Roots of Real Algebraic Equation"Japan J.Injus.Appl.Math.. (印刷中). (2000)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] T.Sasaki and F.Kato: "Solving Multivariate Algebraic Equation by Hensel Construction"Japan J.Injus.Appl.Math.. Vol.16. 257-285 (1999)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] 甲斐博: "ハイブリッド有理関数近似の誤差評価"情報処理学会論文誌. Vol.40. 1754-1759 (1999)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] L.H.Zhi,Y.Notake,H.Kai and M.-T.Noda: "Hybrid Method for Solving Polynomial Equations"Proc.Fourth ATCM,Springer. 231-244 (1999)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] T.Sasaki and S.Yamaguchi: "An Analysis of Cancellation Error in Multivariate Hensel Construction with Floating-point Number Arithmetic"Proc.ISSAC'98,ACM. 1-8 (1998)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] T.Sakaki and S.Sato: "Cancellation Errors in Multavariate Resultant Computation with Floating-point Numbers"AGM SIGSAM Bulletin. Vol.32,No.4. 13-20 (1998)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] Y.Ozaki and T.Sasaki: "Univariate Factor Separation and its Application to Multiple/Close Root Problem"数式処理. Vol.6. 30-46 (1998)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] H.Kai and M.-T.Noda: "Hybrid Computation of Cauchy-type Singular Integral Equations"ACM SIGSAM Bulletin. Vol.32,No.2. 59-60 (1998)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] H.Minakuchi,H.Kai and M.-T.Noda: "Algorithms of Generalized Inverse and Their Stabilization"Proc.Third ATCM,Springer. 333-341 (1998)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] K.Shiraishi,H.Kai,T.Saito and M.-T.Noda: "Polynomial Algorithms for Optimization Problems"Proc.Third ATCM,Springer. 404-413 (1998)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] T.Fukui and J.Sekiguchi: "Eight Lines Arrangements of the Real Projective Plane and the Root System of Type E_8"Proc.Third ATCM,Springer. 377-388 (1998)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] 関口次郎、福井哲夫: "実射影平面上8直線アレンジメントI"数式処理. Vol.7,No.1. 36-38 (1998)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] T.Fukui and J.Sekiguchi: "Experimental Computation of Configurations of Eight Lines on the Real Projective Plane"姫路工大紀要. Vol.9. 1-11 (1998)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] H.Kai and M.-T.Noda: "Cauchy Principal Value Integral Using Hybrid Integral"ACM SIGSAM Bulletin. Vol.31,No.3. 37-38 (1997)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] M.-T.Noda,I.Makino and T.Saito: "Algebraic Methods for Computing a Generalized Inverse"ACM SIGSAM Bulletin. Vol.31,No.3. 51-52 (1997)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] 佐々木建昭: "浮動少数係数での多変数Hensel構成における桁落ちのメカニズム"数理解析研究所 講究録. (印刷中). (2000)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] 佐々木建昭、稲葉大樹: "拡張Hensel構成と多変数多項式の因数分解"数理解析研究所 講究録. (印刷中). (2000)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] 甲斐博、木原信二、野田松太郎: "ニ変数有理関数近似のハイブリッド計算と多変数近似GCDアルゴリズム"数理解析研究所 講究録. (印刷中). (2000)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] 鈴木正幸: "戦術に忠実な並列Buchberger算法"数理解析研究所 講究録. (印刷中). (2000)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] 元吉文男、秋葉澄孝、佐藤泰介: "等号公理下での論理式の標準形とその一階言語への応用"数理解析研究所 講究録. (印刷中). (2000)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] 北本卓也: "近似代数とその制御系設計への応用"数理解析研究所 講究録. 1085巻. 42-48 (1999)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] 北本卓也: "The CHARM Method for Computing the Characteristic Polynomial of a Polynomial Matrix"数理解析研究所 講究録. 1085巻. 99-107 (1999)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] 照井章、佐々木建昭: ""Approximate Zero-points" of Univariate Polynomial with Large Error Terms"数理解析研究所 講究録. 1085巻. 111-119 (1999)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] 佐藤智之、佐々木建昭: "浮動少数係数多変数多項式の終結式計算における桁落ち誤差とその解析"数理解析研究所 講究録. 1085巻. 120-131 (1999)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] 甲斐博、野田松太郎: "ハイブリッド計算によるCauchy型特異積分方程式の解法について"数理解析研究所 講究録. 1085巻. 151-158 (1999)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] 佐々木建昭: "数式処理の最新情報"数理科学(サイエンス社). No.425. 5-7 (1998)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] 佐々木建昭、加古富志雄: "『近似代数』とは?"数理科学(サイエンス社). No.425. 8-20 (1998)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] 野田松太郎、甲斐博: "数式処理と数値計算-いかに結合させるか?"情報処理. Vol.39No.2. 105-110 (1998)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] 野田松太郎: "ソフトウェアとしての数式処理"信学技報. S98-25. 31-38 (1998)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] 福井哲夫、関口次郎: "数式処理の実射影平面上N本直線配置問題への応用事例"数理解析研究所 講究録. 1036巻. 62-74 (1998)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] 照井章、佐々木建昭: "誤差項を含む一変数多項式の根の誤差上界"数理解析研究所 講究録. 1036巻. 106-110 (1998)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] 長坂耕作、佐々木建昭: "多変数多項式の近似因数分解とその計算量"数理解析研究所 講究録. 1038巻. 111-118 (1998)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] 山口哲、佐々木建昭: "浮動少数係数の多変数多項式のHensel構成の誤差解析"数理解析研究所 講究録. 1038巻. 119-126 (1998)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] 北本卓也: "近似根の応用について(その3)"数理解析研究所 講究録. 1038巻. 135-138 (1998)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] 甲斐博、齋藤友克、野田松太郎: "近似的GCDとハイブリッド有理関数近似の誤差の関係について"数理解析研究所 講究録. 1038巻. 139-145 (1998)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] 白石啓一、甲斐博、齋藤友克、野田松太郎: "ある種の非線形計画問題の代数的解法について"数理解析研究所 講究録. 1038巻. 146-153 (1998)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] 水口寛之、甲斐博、野田松太郎: "浮動少数演算に基づく安定化理論計算システムの作成"数理解析研究所 講究録. 1038巻. 177-182 (1998)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] A. Terui & T. Sasaki: ""Approximate Zero-points" of Real Univariate Polynomial with Large Error Terms"Bulletin of IPSJ (Japan). (in print). (2000)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] A. Terui & T. Sasaki: "Durand-Kerner's Method for the Real Roots of Real Algebraic Equation"Japan J. Injus. Appl. Math.. (in Print). (2000)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] T. Sasaki & F. Kako: "Solving Multivariate Algebraic Equation by Hensel Construction"Japan J. Indus. Appl. Math.. Vol.16. 257-285 (1999)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] H. Kai: "Error Estimation of the Hybrid Rational Function Approximation (in Japanese)"Bulletin of IPSJ (Japan). Vol.40. 1754-1759 (1999)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] L. H. Zhi, Y. Notake, H. Kai & M.-T. Noda: "Hybrid Method for Solving Polynomial Equations"Proc. Fourth ATCM, Springer. 231-244 (1999)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] T. Sasaki & F. Kako: "What is "Approximate Algebra" (in Japanese)"Suuri-Kagaku (Tokyo). No.425. 8-20 (1998)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] T. Sasaki & S. Yamaguchi: "An Analysis of Cancellation Error in Multivariate Hensel Construction with Floating-point…"Proc. ISSAC'98, ACM Press. 1-8 (1998)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] T. Sasaki & S.Sato: "Cancellation Errors in Multivariate Resultant Computation with Floating-point Numbers"ACM SIGSAM Bulletin. Vol.32, No.4. 13-20 (1998)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] Y. Ozaki & T. Sasaki: "Univariate Factor Separation and its Application to Multiple/Close Root Problem"Bulletin of JSSAC (Japan). Vol.6. 30-46 (1998)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] H. Kai & M.-T. Noda: "Hybrid Computation of Cauchy-type Singular Integral Equations"ACM SIGSAM Bulletin. Vol.32, No.2. 59-60 (1998)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] H. Minakuchi, H. Kai & M.-T. Noda: "Algorithms of Generalized Inverses and Their Stabilization"Proc. Third ATCM, Springer. 333-341 (1998)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] K. Shiraishi, H. Kai, T. Saito & M.-T. Noda: "Polynomial Algorithms for Optimization Problems"Proc. ATCM. 404-413 (1998)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] T. Fukui & J. Sekiguchi: "Eight Lines Arrangements on the Real Projective Plane and the Root System of Type EィイD28ィエD2"Proc. Third ATCM, Springer. 377-388 (1998)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] T. Fukui & J. Sekiguchi: "Experimental Computation of Configurations of Eight Lines on the Real Projective Plane"Bulletin of Himeji Tech. Univ.. Vol.9. 1-11 (1998)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] J. Sekiguchi & T. Fukui: "Eight Lines Arrangement on the Real Projective Plane I (in Japanese)"Bulletin of JSSAC (Japan). Vol.7. 33-35 (1998)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] T. Fukui & J. Sekiguchi: "Eight Lines Arrangement on the Real Projective Plane I : Analysis of Experiment (in Japanese)"Bulletin of JSSAC (Japan). Vol.7. 36-38 (1998)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] H. Kai & M.-T. Noda: "Cauchy Principal Value Integral Using Hybrid Integral"ACM SIGSAM Bulletin. Vol.31, No.3. 37-38 (1997)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] M.-T. Noda & H. Kai: "Formula Manipulation and Numerical Computation - How to Combine Them? (in Japanese)"Bulletin of IPSJ (Japan). Vol.39. 105-110 (1998)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] M.-T. Noda, I. Makino and T. Saito: "Algebraic Methods for Computing a Generalized Inverse"ACM SIGSAM Bulletin. Vol.31, No.3. 51-52 (1997)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] T. Sasaki: "Mechanism of Cancellation Errors in Multivariate Hensel Construction with Floating-point … (in Japanese)"Reports of RIMS (Kyoto Univ.). (in print). (2000)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] T. Sasaki & D. Inaba: "The Extended Hensel Construction and its Application to Multivariate Factorization (in Japanese)"Reports of RIMS (Kyoto Univ.). (in print). (2000)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] H. Kai, S. Kihara & M.-T. Noda: "Hybrid Computation of Bivariate Rational Function Approximation and … (in Japanese)"Reports of RIMS (Kyoto Univ.). (in print). (2000)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] M. Suzuki: "Parallel Buchberger Algorithm Faithful to the Strategy (in Japanese)"Reports of RIMS (Kyoto Univ.). (in print). (2000)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] F. Motoyoshi, S. Akiba & T. Sato: "Normal Form of Logical Expressions in Equational Logic and … (in Japanese)"Reports of RIMS (Kyoto Univ.). (in print). (2000)

    • Description
      「研究成果報告書概要(欧文)」より

URL: 

Published: 2001-10-23  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi