author = {Camelia Rosenkranz and Ralf Hemmecke and Tudor Jebelean and Bruno Buchberger},
title = {{Mathematical Knowledge Management in the Frame of Verification and Synthesis of Generic Algorithms for Groebner Bases}},
language = {english},
year = {2005},
month = {April 1},
annote = {2005-04-01-A},
note = {Contributed talk at SFB Statusseminar, Strobl, Austria},
conferencename = {SFB Statusseminar, Strobl, Austria}