author = {B. Buchberger},
title = {{Theorema and Mathematical Knowledge Management}},
language = {english},
year = {2002},
month = {July 22 - August 2},
annote = {2002-08-01-A},
note = {Invited talk at IMA 2002 Summer Program: Special Functions in the Digital Age, University of Minnesota, Minneapolis, USA},
keywords = {Digitized mathematics, quantifier-free and quantifier reasoning, theorem proving examples, proving solving simplifying},
conferencename = {IMA 2002 Summer Program: Special Functions in the Digital Age, University of Minnesota, Minneapolis, USA}