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

Details:

   
TitleAn implementation method of Boolean Gr\"obner bases and comprehensive Boolean Gr\"obner bases on general computer algebra systems.
Author(s) Shutaro Inoue, Akira Nagai
TypeBook, Chapter in Book, Conference Proceeding
ISBN978-3-662-44198-5/pbk
URL http://link.springer.com/chapter/10.1007%2F978-3-662-44199-2_80
LanguageEnglish
Pages531--536
PublisherBerlin: Springer
Year2014
Edition0
Translation No
Refereed No
Webmaster