A Symbolic Computing Perspective on Software Systems
Arthur C. Norman, Stephen M. Watt

TL;DR
This paper reviews the history, challenges, and lessons learned from symbolic mathematical computing systems, highlighting their complexity, design considerations, and importance for future software development and education.
Contribution
It provides a comprehensive perspective on symbolic computing systems, sharing insights and lessons learned that inform software portability, abstraction choices, and full-stack thinking.
Findings
Symbolic systems are highly complex but operate in well-defined domains.
Compiler development remains crucial for optimization and validation.
Lessons from symbolic systems inform broader software engineering practices.
Abstract
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 programming language ideas such ideas as dynamic memory management, arbitrary precision arithmetic and dependent types. These systems have the feature of being highly complex while at the same time operating in a domain where results are well-defined and clearly verifiable. These software systems span multiple layers of abstraction with concerns ranging from instruction scheduling and cache pressure up to algorithmic complexity of constructions in algebraic geometry. All of the major symbolic mathematical computing systems include low-level code for arithmetic, memory management and other primitives, a compiler or interpreter for a bespoke programming language, a library of high level mathematical algorithms,…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsEvolutionary Algorithms and Applications · Advanced Software Engineering Methodologies
