#. Tudor Jebelean (1996) "Practical Integer Division with Karatsuba Complexity" Proceedings of ISSAC'97, in print Seiten #. Werner Krandick, Tudor Jebelean (1996) "Bidirectional Exact Integer Division" J. of Symbolic Computation (1996), Vol. 21, pp. 441-455 Seiten #. 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 #. Hoon Hong, Stefan Ratschan (1996) "Determining the Relationship among Sets" Proceedings of IMACS ACA, Linz - Hagenberg, 1996 Seiten #. 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 #. 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 #. 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 #. 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 #. Harald Hule, Josef Schicho (1997) "On two conjectures about systems of algebraic equations" Riv. Mat. Univ. Parma (5) 5, 1996, pp 201--204 Seiten