@misc{RISC4774,
author = {B. Buchberger},
title = {{Mathematics is Blind}},
language = {english},
year = {2012},
month = {July 12},
annote = {2012-07-12-A},
note = {Invited talk at International Conference on "Computers Helping People"},
organization = {Johannes Kepler University, Institute FAW},
conferencename = {International Conference on "Computers Helping People"}
}