JOSAI MATHEMATICAL MONOGRAPHS

JMM 2. COMPUTER ALGEBRA,

Kiyoko NISHIZAWA, Chair and Editor

The Fourth Symposium on Nonlinear Analysis (NLA99)

held at Josai University, September 16 -- 18, 1999

Contents

Foreword ............................................ v

Editor's Preface ................................... vi

Program.. ......................................... vii

Photograph of participants........................... x

List of Participants .................................xi

Kiyoko NISHIZAWA, Masato FUJIMURA

Projective moduli space of the olynomials: Cubic case ....................1

Hiroshi SEKIGAWA

A Remark on the Polynomial Determing Super stable Points in

the Mandelbrot Set ......................................................11

Toshiko Ogiwara, Ken-ichi Nakamura

Spiral traveling wave solutions of some parabolic equations on annuli ...15

Satoshi NOZAWA

Symbolic Computation in Particle physics and Astorphysics ...............35

Isao MAKINO, Takeshi AOYAMA

Calculation o f logarithmic function with Continued Fraction Expansions ..43

Teluhiko HILANO

Finding Real Roots of Polynomials ..........................................69

Tomokatsu SAOTO, Yuji KONDOH, Yoshihiko MIYOSHI, Taku TAKESHIMA

Fathful plotting on a two dimensional pixel space ..........................77

Tadashi TAKAHASHI

Practical Use and its Subject of Computer Algebra systems

in Mathematics Education ...................................................87

Lihong ZHI, Yoshio NOTAKE, Hiroshi KAI, Matu-Tarow NODA

Hybrid Method for Solving Polynomial Equations .............................91

Hirokazu ANAI

Quantifier Elimination in Control Theory ................................105

Yayoi NAKAMURA

Construction of a system of differential operators as annihilators

of a cohomology class

-- in connection with quasihomogeneous singularities--..................139

Yayoi NAKAMURA, Shinichi TAJIMA

An algorithms for computing the residue of a rational function via D-modules.

........................................................................149

Horoshi SEKIGAWA, Kiyoshi SHIRAYANAGI

Automatic Algorithm Satbilization System ................................159