Home | Quick Search | Advanced Search | Bibliography submission | Bibliography submission using bibtex | Bibliography submission using bibtex file | Links | Help | Internal

Details:

   
TitleTheorem Proving For and With Gröbner Bases Theory
Author(s) Bruno Buchberger
Text2nd International Workshop on Multidimensional (nD) Systems, June 27-30, 2000, Csocha Castle, Lower Silesia, Poland.
TypeArticle in Conference Proceedings
Length8
ISBN83-85911-71-5
CopyrightTechnical University Press, Zielona Gora, Poland
LanguageEnglish
Pages15-22
Year2000
Annote2000-06-26-B
EditorK. Galkowski
Translation No
Refereed Yes
ConferencenameInternational Workshop on Multidimensional (nD) Systems
Webmaster