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

Details:

   
TitleTheory Exploration with THEOREMA
Author(s) Bruno Buchberger
TypeBook, Chapter in Book, Conference Proceeding
Length24
File
LanguageEnglish
Year2000
Translation No
Refereed No
Organization Johannes Kepler University Linz
Institution RISC (Research Institute for Symbolic Computation)
ConferencenameInternational Workshop "Symbolic and Numeric Algorithms on Scientific Computing" (SYNASC)
Webmaster