Naylor, Bill; Watt, Stephen Meta-stylesheets for the conversion of mathematical documents into multiple forms. (English) Zbl 1025.68104 Ann. Math. Artif. Intell. 38, No. 1-3, 3-25 (2003). MSC: 68U15 PDFBibTeX XMLCite \textit{B. Naylor} and \textit{S. Watt}, Ann. Math. Artif. Intell. 38, No. 1--3, 3--25 (2003; Zbl 1025.68104) Full Text: DOI
Bradford, Russell; Corless, Robert M.; Davenport, James H.; Jeffrey, David J.; Watt, Stephen M. Reasoning about the elementary functions of complex analysis. (English) Zbl 1007.30001 Ann. Math. Artif. Intell. 36, No. 3, 303-318 (2002). Reviewer: Gabriela Kohr (Cluj-Napoca) MSC: 30A99 26A09 PDFBibTeX XMLCite \textit{R. Bradford} et al., Ann. Math. Artif. Intell. 36, No. 3, 303--318 (2002; Zbl 1007.30001) Full Text: DOI