Publications 1997

1. Bruno Buchberger and Mircea Marin (1997): Proving By Simplification. - Institute RISC-Linz, Proceedings of the First International Theorema Workshop, Castle of Hagenberg, Austria.
2. Bruno Buchberger, Tudor Jebelean, Franz Kriftner, Mircea Marin, Elena Tomuta and Daniela Vasaru (1997): A Survey on the Theorema Project. - In: Proceedings of ISSAC'97, edited by W. Kuechlin. ACM Press, pages 384--391.
3. Mircea Marin (1997): A Sample CORA Program for Polynomial Computation. - Institute RISC-Linz, HPGP Internal Report (97-2), Schloss Hagenberg, Linz, Austria.