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:   
14-01  E-mail:    
Session: 14- Algorithms for Parametric Systems and their Applications Schedule:
Thursday, 10:30
Related website:  
Title of
Groebner bases computation within linear algebra and its application to comprehensive Groebner systems
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.