RISC-Linz RISC-Linz Research Institute for Symbolic Computation  
about
|
people
|
publications
|
research
|
education
|
industry
|
conferences
|
media
|
projects
internal
  
search:
  
  • @inproceedings{RISC2792,
    author = {K. Nabeshima},
    title = {{A computation method for ACGB-V}},
    booktitle = {{Algorithm Algebra and Logic (A3L) 2005}},
    language = {english},
    abstract = {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.},
    pages = {173--180},
    publisher = {BOD Norderstedt},
    isbn_issn = {ISBN 3-8334-2669-1},
    year = {2005},
    month = {April},
    editor = {Dolzmann and A. and Seidl and S. and and Sturm and T.},
    refereed = {yes},
    length = {8},
    conferencename = {Algorithm Algebra and Logic 2005, Conference in Honor of the 60th Birthday of Volker Weispfenning},
    url = {http://www.a3l.org/}
    }