Title | **A computation method for ACGB-V** |

Author(s) | Katsusuke Nabeshima |

Type | Book, Chapter in Book, Conference Proceeding |

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. |

ISSN | 3-8334-2669-1 |

URL |
http://www.a3l.org/ |

Language | English |

Pages | 173--180 |

Publisher | BOD Norderstedt |

Year | 2005 |

Month | April |

Editor | Dolzmann and A. and Seidl and S. and Sturm and T. |

Translation |
No |

Refereed |
Yes |

Conferencename | Algorithm Algebra and Logic 2005, Conference in Honor of the 60th Birthday of Volker Weispfenning |