A computation method for ACGB-V

Katsusuke Nabeshima

A computation method for ACGB-V

Katsusuke Nabeshima

Institut für Symbolisches Rechnen

Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

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.

Originalsprache	Englisch
Titel	Algorithm Algebra and Logic (A3L) 2005
Herausgeber*innen	Dolzmann, A., Seidl, S., and Sturm, T.
Verlag	BOD Norderstedt
Seiten	173-180
Seitenumfang	8
ISBN (Print)	3-8334-2669-1
Publikationsstatus	Veröffentlicht - Apr. 2005

Wissenschaftszweige

101 Mathematik
101001 Algebra
101005 Computeralgebra
101009 Geometrie
101012 Kombinatorik
101013 Mathematische Logik
101020 Technische Mathematik

Andere Dateien und Links

http://www.a3l.org/

Dieses zitieren

@inproceedings{e152c82467d844e6bc4eb38a0c563361,

title = "A computation method for ACGB-V",

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

author = "Katsusuke Nabeshima",

year = "2005",

month = apr,

language = "English",

isbn = "3-8334-2669-1",

pages = "173--180",

editor = "\{Dolzmann, A., Seidl, S., and Sturm, T.\}",

booktitle = "Algorithm Algebra and Logic (A3L) 2005",

publisher = "BOD Norderstedt",

}

TY - GEN

T1 - A computation method for ACGB-V

AU - Nabeshima, Katsusuke

PY - 2005/4

Y1 - 2005/4

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

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

UR - http://www.a3l.org/

M3 - Conference proceedings

SN - 3-8334-2669-1

SP - 173

EP - 180

BT - Algorithm Algebra and Logic (A3L) 2005

A2 - Dolzmann, A., Seidl, S., and Sturm, T., null

PB - BOD Norderstedt

ER -