Symbolic Computation in Software Science: My Personal View
This is an incremental opinion piece that synthesizes existing views for researchers in symbolic computation and software science.
The author presents a personal perspective on the role of symbolic computation in software science, discussing its interactions with related fields like artificial intelligence and machine learning, without reporting specific results or numbers.
In this note, I develop my personal view on the scope and relevance of symbolic computation in software science. For this, I discuss the interaction and differences between symbolic computation, software science, automatic programming, mathematical knowledge management, artificial intelligence, algorithmic intelligence, numerical computation, and machine learning. In the discussion of these notions, I allow myself to refer also to papers (1982, 1985, 2001, 2003, 2013) of mine in which I expressed my views on these areas at early stages of some of these fields.