Caprotti, Olga; Oostdijk, Martijn Formal and efficient primality proofs by use of computer algebra oracles. (English) Zbl 1044.03503 J. Symb. Comput. 32, No. 1-2, 55-70 (2001). MSC: 03B35 11Y11 68W30 68T15 94A60 PDFBibTeX XMLCite \textit{O. Caprotti} and \textit{M. Oostdijk}, J. Symb. Comput. 32, No. 1--2, 55--70 (2001; Zbl 1044.03503) Full Text: DOI
Caprotti, O.; Cohen, A. M. On the role of OpenMath in interactive mathematical documents. (English) Zbl 0981.68185 J. Symb. Comput. 32, No. 4, 351-364 (2001). MSC: 68W30 68T99 PDFBibTeX XMLCite \textit{O. Caprotti} and \textit{A. M. Cohen}, J. Symb. Comput. 32, No. 4, 351--364 (2001; Zbl 0981.68185) Full Text: DOI