2000 character limit reached
Symbolic Computation in Software Science: My Personal View (2109.02806v1)
Published 7 Sep 2021 in cs.SC, cs.AI, and cs.SE
Abstract: 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.