Software Portability for Computer Algebra

2025/06/02 by Arthur C. Norman, A. C. Norman, Norman, Arthur C. +2 · 1 voice
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic, programming, and type systems #Software Reliability and Analysis Research #Symbolic Computation (cs.SC) #cs.SC

paper · pdf · doi:10.48550/arxiv.2506.01864

openalex publication_date 2025/06/02 · arxiv published 2025/06/02 · arxiv updated 2025/09/07 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

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 programs. We relate observations on how the meaning of software portability has changed over time and how it continues to evolve. We describe how the systems with which we have first-hand experience have achieved portability, how the central issues have changed over time and the challenges that remain.

Citations

• Literate Programming

Cited by

• Semi-Centennial REDUCE

Discussions

• Arthur C. Norman, Stephen M. Watt: Software Portability for Computer Algebra https://arxiv.org/abs/2506.01864 https://arxiv.org/pdf/2506.01864 https://arxiv.org/html/2506.01864 [bsky, 0 points, 1 comments]

Related

• A Symbolic Computing Perspective on Software Systems
• Computer algebra systems as tools for learning Physics and Mathematics
• The Space of Mathematical Software Systems -- A Survey of Paradigmatic Systems
• A new course `Algebra + Computer Science': What should be its outcomes and where it should start
• A FAIR File Format for Mathematical Software