Contents of Report

[Data of Report]

Report Number:: TR0786
Date of Registration:: 1992.07
English Title:: Removing Redundant Critical Polynomials in Construction of Boolean Grobner Bases
Japanese Title:: ***
English Author:: Y.Satoh,S.Menju,K.Sakai
Japanese:: ***
Name of Organization to which author belongs:: ICOT,ICOT,Tsukuba Univ.
PDF:: tr0786.pdf

	Abstract	.... 2
1	Introduction	.... 2
2	Preliminaries	.... 3
2.1	Boolean Grobner bases	.... 3
2.2	Weak Grobner bases	.... 4
3	Main results	.... 5
3.1	Characterization of Boolean Grobner bases	.... 6
3.2	Detching redundant critical Polynomials	.... 6
4	Experimental Data	.... 8
	References	.... 9

目次をクリックすると、PDFファイルが表示されます。