Symbolic Mathematical Computation 1965--1975: The View from a Half-Century Perspective
Robert M. Corless, Arthur C. Norman, Tomas Recio, William J., Turkel, Stephen M. Watt

TL;DR
This paper reviews the history of symbolic mathematical computation from 1965 to 1975, highlighting early challenges and developments that shaped the field over the past fifty years.
Contribution
It provides a historical perspective on the formative years of symbolic computation, emphasizing issues recognized early and their evolution over time.
Findings
Early challenges in symbolic computation identified and addressed.
Recognition of future research directions in the 1960s and 1970s.
Historical insights into the development of symbolic mathematical software.
Abstract
The 2025 ISSAC conference in Guanajuato, Mexico, marks the 50th event in this significant series, making it an ideal moment to reflect on the field's history. This paper reviews the formative years of symbolic computation up to 1975, fifty years ago. By revisiting a period unfamiliar to most current participants, this survey aims to shed light on once-pressing issues that are now largely resolved and to highlight how some of today's challenges were recognized earlier than expected.
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
TopicsHistory and Theory of Mathematics · Computability, Logic, AI Algorithms · Mathematical and Theoretical Analysis
