1. Tudor Jebelean (1996) "Practical Integer Division with Karatsuba Complexity" Proceedings of ISSAC'97, in print Seiten 2. Werner Krandick, Tudor Jebelean (1996) "Bidirectional Exact Integer Division" J. of Symbolic Computation (1996), Vol. 21, pp. 441-455 Seiten 3. Bruno Buchberger (1996) "Mathematica as a Rewrite Language" T. Ida (ed.) ``The Second Fuji International Workshop on Functional and Logic Programming'', Nov. 1-4, Shonan Village, Japan. Seiten 4. Hoon Hong, Stefan Ratschan (1996) "Determining the Relationship among Sets" Proceedings of IMACS ACA, Linz - Hagenberg, 1996 Seiten 5. Bruno Buchberger (1996) "Symbolic Computation: Computer Algebra and Logic" F. Baader, K.U. Schulz (eds.) Frontiers of Combining Systems. Applied Logic Series. Kluwer Academic Publishers, 1996. Seiten 6. Tudor Jebelean (1996) "Integer and Rational Arithmetic on MasPar" Proceedings of DISCO'96 (Design and Implementation of Symbolic Computation Systems - Karlsruhe, Germany, Sept. 1996), J. Calmet, C. Limongelli (eds.), Springer 1996 (LNCS 1128), pages 162--173 Seiten 7. Bruno Buchberger, Tudor Jebelean, Franz Kriftner, Mircea Marin, Elena Tomuta, Daniela Vasaru (1997) "A Survey of the {\em Theorema} Project" Proceedings of ISSAC'97 (International Symposium on Symbolic and Algebraic Computation, Maui, Hawaii, July 21-23, 1997), W. Kuechlin (ed.), ACM Press 1997, pp. 384-391. Seiten 8. Wolfgang Schreiner (1997) "A Distributed Education Environment Based on Mathematica" IDIMT'97 -- 5th Interdisciplinary Information Management Talks, Zadov, Czech Republic, October 15-17, 1997, Austrian Computer Society, Oldenbourg Verlag. Seiten 9. Harald Hule, Josef Schicho (1997) "On two conjectures about systems of algebraic equations" Riv. Mat. Univ. Parma (5) 5, 1996, pp 201--204 Seiten