System description: The mathweb software bus for distributed mathematical reasoning - Zimmer, Jürgen; Kohlhase, Michael (18th International Conference on Automated Deduction, CADE 2002, 2002)