=ADD=
=reftype=
14
=number=
99-41
=url=
ftp://ftp.risc.uni-linz.ac.at/pub/techreports/1999/99-41.ppt.gz
=year=
1999
=month=
12
=author=
Buchberger; Bruno
=title=
Mathematics: The Technology of Reasoning
=abstract=
Contents: 
  Mathematics and technology.
  The technology of reasoning.
  Theorema: practical automated reasoning
=howpublished=
Invited Keynote at the 4 th Asian Technology Conference in Mathematics, Guangzhou, China, December 18, 1999.
=sponsor=
FWF/SFB project F1302
=keywords=
automatic reasoning