Rabe, Florian; Watt, Stephen M. Extracting theory graphs from Aldor libraries. (English) Zbl 07810743 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, 315-320 (2023). MSC: 68Vxx PDFBibTeX XMLCite \textit{F. Rabe} and \textit{S. M. Watt}, Lect. Notes Comput. Sci. 14101, 315--320 (2023; Zbl 07810743) Full Text: DOI
Dragan, Laurentiu; Watt, Stephen M. Type specialization in Aldor. (English) Zbl 1290.68133 Gerdt, Vladimir P. (ed.) et al., Computer algebra in scientific computing. 12th international workshop, CASC 2010, Tsakhkadzor, Armenia, September 6–12, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15273-3/pbk). Lecture Notes in Computer Science 6244, 73-84 (2010). MSC: 68W30 PDFBibTeX XMLCite \textit{L. Dragan} and \textit{S. M. Watt}, Lect. Notes Comput. Sci. 6244, 73--84 (2010; Zbl 1290.68133) Full Text: DOI
Mulders, T.; Storjohann, A. On lattice reduction for polynomial matrices. (English) Zbl 1028.65038 J. Symb. Comput. 35, No. 4, 377-401 (2003). Reviewer: Hang Tong Lau (St.Laurent/Quebec) MSC: 65F30 15A21 65F40 15A54 15A06 PDFBibTeX XMLCite \textit{T. Mulders} and \textit{A. Storjohann}, J. Symb. Comput. 35, No. 4, 377--401 (2003; Zbl 1028.65038) Full Text: DOI
Kaltofen, Erich Challenges of symbolic computation: My favorite open problems. With an additional open problem by Robert M. Corless and David J. Jeffrey. (English) Zbl 0963.68234 J. Symb. Comput. 29, No. 6, 891-919 (2000). MSC: 68W30 PDFBibTeX XMLCite \textit{E. Kaltofen}, J. Symb. Comput. 29, No. 6, 891--919 (2000; Zbl 0963.68234) Full Text: DOI