From the 1 of 6 linked papers with an AI index.
6 papers
Progress in Benchmarking Generics for Mathematical Computation
Daniel Pang, Stephen M. Watt
The paper presents SciGMark 1.5, a benchmark comparing specialized and generic implementations of numerical and symbolic kernels across modern languages, and analyzes how different…
A Computational Toolkit for Engagement and Scalable Assessment in a Large Logic Course
Stephen M. Watt
Large required courses in theoretical computer science face two related challenges: helping students engage with abstract material and supporting reliable student assessment at sca…
Look Before You Leap: Checking In on Type Tag Checking
Stephen M. Watt
Tagging of generic dynamic values is important in symbolic-computation and dynamic-language systems, but the trade-offs change as machine architectures and workloads evolve. In par…
Symbolic Mathematical Computation 1965--1975: The emergence of a discipline
Robert M. Corless, Arthur C. Norman, Tomas Recio +2
Today, symbolic mathematical computation is taken for granted as part of the scientific infrastructure, but it has not always been so. This paper provides a historical survey of th…
Software Portability for Computer Algebra
Arthur C. Norman, Stephen M. Watt
We have been involved in the creation of multiple software systems for computer algebra, including Reduce, Maple, Axiom and Aldor as well as a number of smaller specialised program…
Semi-Centennial REDUCE
Arthur C. Norman, Stephen M. Watt
We present a version of the REDUCE computer algebra system as it was in the early 1970s. We show how this historical version of REDUCE may be built and run in very modest present-d…