Symbolic Computation: Computer Algebra and Logic

Bruno Buchberger 

In: Proceedings of FROCOS 1996 (1st International Workshop on Frontiers of Combining
Systems), March 26-28, 1996, Munich, (F. Bader, K.U. Schulz eds.), Applied Logic
Series, Vol.3, Kluwer Academic Publisher, Dordrecht - Boston - London, 1996, pp. 193-220.
(ISBN 0-7923-4271-2. Copyright: Kluwer.)


ABSTRACT:

We describe the current gap between mathematical software systems like Mathematica, Maple,
etc. and the automated theorem proving systems. We advocate the importance of having, in
the future, integrated mathematical software systems that support the entire process of
"doing mathematics", including proving, programming, and computing. We sketch the main
features of such a system and describe a first prototype implemented by the author using 
Mathematica as a programming language and as a basis for the front-end. 

This paper is one of the early starting points of the author for his Theorema system.