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
Golubitsky, Oleg; Watt, Stephen M. Confidence measures in recognizing handwritten mathematical symbols. (English) Zbl 1247.68228 Carette, Jacques (ed.) et al., Intelligent computer mathematics. 16th symposium, Calculemus 2009, 8th international conference, MKM 2009, held as part of CICM 2009, Grand Bend, Canada, July 6–12, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02613-3/pbk). Lecture Notes in Computer Science 5625. Lecture Notes in Artificial Intelligence, 460-466 (2009). MSC: 68T10 68T05 PDFBibTeX XMLCite \textit{O. Golubitsky} and \textit{S. M. Watt}, Lect. Notes Comput. Sci. 5625, 460--466 (2009; Zbl 1247.68228) Full Text: DOI
Watt, Stephen M. Algorithms for the functional decomposition of Laurent polynomials. (English) Zbl 1247.68329 Carette, Jacques (ed.) et al., Intelligent computer mathematics. 16th symposium, Calculemus 2009, 8th international conference, MKM 2009, held as part of CICM 2009, Grand Bend, Canada, July 6–12, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02613-3/pbk). Lecture Notes in Computer Science 5625. Lecture Notes in Artificial Intelligence, 186-200 (2009). MSC: 68W30 16S34 PDFBibTeX XMLCite \textit{S. M. Watt}, Lect. Notes Comput. Sci. 5625, 186--200 (2009; Zbl 1247.68329) Full Text: DOI Link
Sexton, Alan P.; Sorge, Volker; Watt, Stephen M. Reasoning with generic cases in the arithmetic of abstract matrices. (English) Zbl 1247.68327 Carette, Jacques (ed.) et al., Intelligent computer mathematics. 16th symposium, Calculemus 2009, 8th international conference, MKM 2009, held as part of CICM 2009, Grand Bend, Canada, July 6–12, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02613-3/pbk). Lecture Notes in Computer Science 5625. Lecture Notes in Artificial Intelligence, 138-153 (2009). MSC: 68W30 PDFBibTeX XMLCite \textit{A. P. Sexton} et al., Lect. Notes Comput. Sci. 5625, 138--153 (2009; Zbl 1247.68327) Full Text: DOI