First presenter			Co-presenter(s)
Name :	Akira Suzuki *		Name:
E-mail:			E-mail:
Affiliation:	Kobe University		Name:
Department:			E-mail:
City:			Name:
State/Province:			E-mail:
Country:	Japan		Name:
Talk Number:	14-01		E-mail:
Session:	14- Algorithms for Parametric Systems and their Applications		Schedule:   Room:	Thursday, 10:30   B-3432
Related website:
Title of presentation:	Groebner bases computation within linear algebra and its application to comprehensive Groebner systems
Abstract:
We introduce an algorithm to compute Groebner bases within linear algebra. For a given finite set of polynomials, it compute both an appropriate term ordering and the corresponding reduced Groenber basis of the ideal generated by the given polynomials. Though our original algorithm changes term orderings dynamically for computational efficiency, it is also possible to change them suitable for the Suzuki-Sato algorithm, which compute comprehensive Groebner basis. In this talk, we argue on the algorithms and its implementations.