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

Details:

   
TitleBIBasis, a package for REDUCE and Macaulay2 computer algebra systems to compute Boolean involutive and Gr\"obner bases.
Author(s) M.V. Zinin
TypeArticle in Journal
AbstractIn this paper, we describe the BIBasis package designed for REDUCE and Macaulay2 computer algebra systems, which allows one to compute Boolean involutive bases and Gröbner bases. The implementations and user interfaces of the package for both systems are described in the respective sections of the paper. Also, we present results of comparisons of BIBasis with other packages and algorithms for constructing Boolean Gröbner bases available in the computer algebra systems.
ISSN0361-7688; 1608-3261/e
URL http://link.springer.com/article/10.1134%2FS0361768812020077
LanguageEnglish
JournalProgram. Comput. Softw.
Volume38
Number2
Pages92--101
PublisherSpringer US, New York, NY; Pleiades Publishing, New York, NY; MAIK ``Nauka/Interperiodica
Year2012
Edition0
Translation No
Refereed No
Webmaster