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

Details:

    
Title
Author(s) Shutaro Inoue, Katsusuke Nabeshima, Ko Sakai, Yosuke Sato, Akira Suzuki
TypeArticle in Journal
Abstract
Keywords
URL doi:10.1016/j.jsc.2010.10.011
LanguageEnglish
JournalJournal of Symbolic Computation
Year2010
NoteArticle in Press
Translation No
Refereed No
Webmaster