author = {B. Buchberger},
title = {{Automated Proofs of Automated Geometry Provers}},
language = {english},
year = {2002},
month = {September 5-7},
annote = {2002-09-06-A},
note = {Invited talk at Forth International Workshop on Automated Deduction in Geometry, RISC, Schloss Hagenberg, Austria},
conferencename = {Forth International Workshop on Automated Deduction in Geometry, RISC, Schloss Hagenberg, Austria}