Bruno Buchberger Journal as Active Math-Agents: Outline of a Project with a Mathematics Publisher. 11-12 2007 SYNASC http://dx.doi.org/10.1109/SYNASC.2007.90 conf/synasc/2007 db/conf/synasc/synasc2007.html#Buchberger07