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

Details:

   
TitleRole of involutive criteria in computing Boolean Gr\"obner bases.
Author(s) Vladimir P. Gerdt, M.V. Zinin
TypeArticle in Journal
Abstract
ISSN0361-7688; 1608-3261/e
URL http://link.springer.com/article/10.1134%2FS0361768809020042
LanguageEnglish
JournalProgram. Comput. Softw.
Volume35
Number2
Pages90--97
PublisherSpringer US, New York, NY; Pleiades Publishing, New York, NY; MAIK ``Nauka/Interperiodica
Year2009
Edition0
Translation No
Refereed No
Webmaster