D-bases for Polynomial Ideals over Commutative Noetherian Rings

Leo Bachmair and Ashish Tiwari

Presented at Rewriting Techniques and Applications, RTA-1997 , Sitges, Spain, July 1997. Springer-Verlag. The final version will be available at the Springer LNCS site


We present a completion-like procedure for constructing $D$-bases for polynomial ideals over commutative Noetherian rings with unit. The procedure is described at an abstract level, by transition rules. Its termination is proved under certain assumptions about the strategy that controls the application of the transition rules. Correctness is established by proof simplification techniques.

gzipped postscript or postscript

BibTeX Entry

	TITLE = {D-bases for Polynomial Ideals over 
		Commutative Noetherian Rings},
	AUTHOR = {Leo Bachmair and Ashish Tiwari},
	BOOKTITLE = {Rewriting Techniques and Applications, RTA 1997},
	EDITOR = {H. Comon},
	PAGES = {113--127},
	PUBLISHER = {Springer-Verlag},
	SERIES = {Lecture Notes in Computer Science},
	VOLUME = 1103,
	MONTH = jul,
	YEAR = 1997,
	ADDRESS = {Sitges, Spain}

Return to the Formal Methods Program home page
Return to the Computer Science Laboratory home page