Corless, Robert M.; Jeffrey, David J.; Shakoori, Azar Teaching linear algebra in a mechanized mathematical environment. (English) Zbl 07810727 Dubois, Catherine (ed.) et al., Intelligent computer mathematics. 16th international conference, CICM 2023, Cambridge, UK, September 5–8, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14101, 113-129 (2023). MSC: 68Vxx PDFBibTeX XMLCite \textit{R. M. Corless} et al., Lect. Notes Comput. Sci. 14101, 113--129 (2023; Zbl 07810727) Full Text: DOI arXiv
Moir, Robert H. C.; Corless, Robert M.; Jeffrey, David J. An unwinding number pair for continuous expressions of integrals. (English) Zbl 1481.30025 J. Symb. Comput. 105, 97-117 (2021). MSC: 30E20 65D30 68W30 PDFBibTeX XMLCite \textit{R. H. C. Moir} et al., J. Symb. Comput. 105, 97--117 (2021; Zbl 1481.30025) Full Text: DOI
Corless, R. M.; Gonnet, G. H.; Hare, D. E. G.; Jeffrey, D. J.; Knuth, D. E. On the Lambert \(w\) function. (English) Zbl 0863.65008 Adv. Comput. Math. 5, No. 4, 329-359 (1996). Reviewer: R.S.Dahiya (Ames) MSC: 65E05 30E10 65D20 PDFBibTeX XMLCite \textit{R. M. Corless} et al., Adv. Comput. Math. 5, No. 4, 329--359 (1996; Zbl 0863.65008) Full Text: DOI