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

Details:

   
Title
Author(s) Bruno Buchberger
TypeArticle in Journal
Abstract
Keywordssynthesis method,lazy thinking,theorem invention,algorithm invention
Length11
File
LanguageEnglish
JournalRACSAM (Review of the Spanish Royal Academy of Sciences)
Volume98
Pages65 - 75
Year2004
Translation No
Refereed Yes
Organization Johannes Kepler University Linz
Institution RISC (Research Institute for Symbolic Computation)
Webmaster