6 papers
A First Look at Chebyshev-Sobolev Series for Digital Ink
Deepak Singh Kalhan, Stephen M. Watt
Considering digital ink as plane curves provides a valuable framework for various applications, including signature verification, note-taking, and mathematical handwriting recognit…
An Abstraction-Preserving Block Matrix Implementation in Maple
David J. Jeffrey, Stephen M. Watt
A Maple implementation of partitioned matrices is described. A recursive block data structure is used, with all operations preserving the block abstraction. These include construct…
Computing Clipped Products
Arthur C. Norman, Stephen M. Watt
Sometimes only some digits of a numerical product or some terms of a polynomial or series product are required. Frequently these constitute the most significant or least significan…
Algorithms for Recursive Block Matrices
Stephen M. Watt
We study certain linear algebra algorithms for recursive block matrices. This representation has useful practical and theoretical properties. We summarize some previous results for…
A Symbolic Computing Perspective on Software Systems
Arthur C. Norman, Stephen M. Watt
Symbolic mathematical computing systems have served as a canary in the coal mine of software systems for more than sixty years. They have introduced or have been early adopters of…
Using General Large Language Models to Classify Mathematical Documents
Patrick D. F. Ion, Stephen M. Watt
In this article we report on an initial exploration to assess the viability of using the general large language models (LLMs), recently made public, to classify mathematical docume…