author = {B. Buchberger},
title = {{Theorema: A System for Formal Mathematics}},
language = {english},
abstract = {Theorema is a project and software system for supporting formal mathematics, i.e. for supporting the exploration of mathematical theories (inventing mathematical concepts, inventing and proving mathematical propositions, inventing mathematical problems, inventing and verifying algorithms, and manipulating mathematical knowledge bases). Formal mathematics extends mathematical software systems like Mathematica, Maple, etc. in a natural way by adding reasoning potential. In the talk, we will explain the design objectives of Theorema and give a couple of demos of the Theorema reasoners. A particular emphasis will be put on a new method for the computer-supported synthesis of algorithms from specifications. We will also discuss the possible impact of systems like Theorema on the way how mathematics will be done in the future.},
year = {2005},
month = {March 15},
annote = {2005-03-15-A},
note = {Invited talk at North Carolina State University, Dept of Computer Science},
conferencename = {North Carolina State University, Dept of Computer Science}