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
Type
Article in Journal
Abstract
Keywords
synthesis method,lazy thinking,theorem invention,algorithm invention
Length
11
File
Language
English
Journal
RACSAM (Review of the Spanish Royal Academy of Sciences)
Volume
98
Pages
65 - 75
Year
2004
Translation
No
Refereed
Yes
Organization
Johannes Kepler University Linz
Institution
RISC (Research Institute for Symbolic Computation)
Webmaster