Proceedings of the workshop on symbolic and numeric computing, Helsinki University of Technology 1993