Home | Quick Search | Advanced Search | Bibliography submission | Bibliography submission using bibtex | Bibliography submission using bibtex file | Links | Help | Internal


TitleA computation method for ACGB-V
Author(s) Katsusuke Nabeshima
TypeBook, Chapter in Book, Conference Proceeding
AbstractIn this paper we describe an algorithm for ACGB-V (Alternative Comprehensive Groebner Basis on Varieties). Discrete comprehensive Groebner bases were proposed by Sato, Suzuki and Nabeshima. Discrete comprehensive Groebner bases are a special type of ACGB-V. In this paper we extend the method of discrete comprehensive Groebner basesto the general method of ACGB-V which uses Weispfenning's theory of Grobner bases in polynomial rings over commutative von Neumann regualr rings.
URL http://www.a3l.org/
PublisherBOD Norderstedt
EditorDolzmann and A. and Seidl and S. and Sturm and T.
Translation No
Refereed Yes
ConferencenameAlgorithm Algebra and Logic 2005, Conference in Honor of the 60th Birthday of Volker Weispfenning