Research on the theory and applications on computer algebra. Proceedings of a symposium held at the Research Institute for Mathematical Sciences, Kyoto University, Kyoto, Japan, November 24--26, 1999 (Q2756524)

The articles of this volume will not be indexed individually.NEWLINENEWLINENEWLINEThe 22 papers in this collection include the following: Kosaku Nagasaka, Approximate factorization of two-variable polynomials -- lower limits on tolerance and testing for irreducibility (Japanese) (1-12); Tateaki Sasaki, Cancellation mechanisms in the multivariate Hensel construction with floating decimal coefficients (Japanese) (13-27); Tateaki Sasaki and Daiju Inaba, The extended Hensel construction and factorization of multivariate polynomials (Japanese) (28-42); Akira Terui, Computation of approximate real roots of real polynomials with error terms and their applications (Japanese) (43-55); Yuji Kondoh, Tomokatsu Saito and Taku Takeshima, Algebraic methods for finding real solutions to algebraic equations that use linear mapping criteria (Japanese) (56-63); Lihong Zhi and M.-T. Noda, Approximate GCD of multivariate polynomials (64-76); Hiroshi Kai, Shinji Kihara and Matu-Tarow Noda, Hybrid computation of two-variable rational function approximants and multivariate approximate GCD algorithms (Japanese) (77-86); Shinichi Tajima, Laurent expansions of algebraic local cohomology classes and the Noetherian operators of L. Ehrenpreis (Japanese) (87-95); Nobuki Takayama, Polynomial solutions to holonomic systems and algorithms for finding rational solutions (Japanese) (96-105); Katsuyuki Suenaga, Manabu Sakai and Hiroshi Yadohisa, On rational quadratic Bezier curves (106-115); Vincenzo Ancona, Some applications of computer algebra to vector bundles on projective spaces (116-126); Masayuki Noro, Gröbner bases -- theory, more efficient calculation and applications (Japanese) (127-171); Sigekazu Nakagawa, Enumeration of contingency tables by using a Gröbner basis (Japanese) (172-179); Masayuki Suzuki, Strategy-accurate parallel Buchberger algorithms (Japanese) (180-188); Hiroaki Deguchi and Tadashi Takahashi, Computer algebra systems and their application to mathematics education and the development of middle-regulators (Japanese) (201-210); Hiroyuki Sawada, A constraint-based initial design-support system (Japanese) (211-219); Fumio Motoyoshi, Sumitaka Akiba and Taisuke Sato, Normal forms of formulas based on axioms for equality and their applications to first-order languages (Japanese) (220-225); Hiroshi Sekigawa, Tridiagonalization of real symmetric matrices using rational operations (Japanese) (226-233); Teluhiko Hilano, Finding real roots of polynomials (Japanese) (234-239); Isao Makino and Takeshi Aoyama, The arbitrary precision calculation of logarithms with continued fraction expansions (240-246); Hiroshi Hirayama, Acceleration of multiple-precision operations by the divide and conquer method (Japanese) (247-255).