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
Chan, Eunice Y. S.; Corless, Robert M.; Gonzalez-Vega, Laureano; Sendra, J. Rafael; Sendra, Juana Algebraic linearizations of matrix polynomials. (English) Zbl 1433.15018 Linear Algebra Appl. 563, 373-399 (2019). Reviewer: Edgar Pereira (Natal) MSC: 15A22 15A21 65F60 PDFBibTeX XMLCite \textit{E. Y. S. Chan} et al., Linear Algebra Appl. 563, 373--399 (2019; Zbl 1433.15018) Full Text: DOI arXiv
Corless, Robert M. Pseudospectra of exponential matrix polynomials. (English) Zbl 1291.15020 Theor. Comput. Sci. 479, 70-80 (2013). MSC: 15A18 15A54 65F15 65F60 PDFBibTeX XMLCite \textit{R. M. Corless}, Theor. Comput. Sci. 479, 70--80 (2013; Zbl 1291.15020) Full Text: DOI
Corless, Robert M.; Gatermann, Karin; Kotsireas, Ilias S. Using symmetries in the eigenvalue method for polynomial systems. (English) Zbl 1174.14053 J. Symb. Comput. 44, No. 11, 1536-1550 (2009). Reviewer: Gerhard Pfister (Kaiserslautern) MSC: 14Q99 13P10 PDFBibTeX XMLCite \textit{R. M. Corless} et al., J. Symb. Comput. 44, No. 11, 1536--1550 (2009; Zbl 1174.14053) 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
Corless, R. M. What good are numerical simulations of chaotic dynamical systems? (English) Zbl 0813.65101 Comput. Math. Appl. 28, No. 10-12, 107-121 (1994). Reviewer: M.Calvo (Zaragoza) MSC: 65L05 37D45 PDFBibTeX XMLCite \textit{R. M. Corless}, Comput. Math. Appl. 28, No. 10--12, 107--121 (1994; Zbl 0813.65101) Full Text: DOI
Corless, Robert M. Defect-controlled numerical methods and shadowing for chaotic differential equations. (English) Zbl 0779.34035 Physica D 60, No. 1-4, 323-334 (1992). MSC: 37-XX 65J99 65L50 65L70 PDFBibTeX XMLCite \textit{R. M. Corless}, Physica D 60, No. 1--4, 323--334 (1992; Zbl 0779.34035) Full Text: DOI