Calmet, Jacques; Homann, Karsten Towards the Mathematics Software Bus. (English) Zbl 0893.68036 Theor. Comput. Sci. 187, No. 1-2, 221-230 (1997). MSC: 68N99 PDFBibTeX XMLCite \textit{J. Calmet} and \textit{K. Homann}, Theor. Comput. Sci. 187, No. 1--2, 221--230 (1997; Zbl 0893.68036) Full Text: DOI
Calmet, Jacques (ed.); Campbell, John A. (ed.) Artificial intelligence and symbolic mathematical computing. International conference AISMC-1, Karlsruhe, Germany, August 3–6, 1992. Proceedings. (English) Zbl 0825.00081 Lecture Notes in Computer Science 737. Berlin: Springer-Verlag. VIII, 305 p. DM 66.00/ sc; öS 514.80; sFr 73.00 (1993). MSC: 00B25 68-06 PDFBibTeX XMLCite \textit{J. Calmet} (ed.) and \textit{J. A. Campbell} (ed.), Artificial intelligence and symbolic mathematical computing. International conference AISMC-1, Karlsruhe, Germany, August 3--6, 1992. Proceedings. Berlin: Springer-Verlag (1993; Zbl 0825.00081) Full Text: DOI