Katsusuke Nabeshima,
"A computation method for ACGB-V"
, in Dolzmann, A., Seidl, S., and Sturm, T.: Algorithm Algebra and Logic (A3L) 2005, BOD Norderstedt, Seite(n) 173-180, 4-2005, ISBN: 3-8334-2669-1
Original Titel:
A computation method for ACGB-V
Sprache des Titels:
Englisch
Original Buchtitel:
Algorithm Algebra and Logic (A3L) 2005
Original Kurzfassung:
In 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.