Symbolic Computation in Software Science: My Personal View
Symbolic Computation
2021-09-08 v1 Artificial Intelligence
Software Engineering
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.
Cite
@article{arxiv.2109.02806,
title = {Symbolic Computation in Software Science: My Personal View},
author = {Bruno Buchberger},
journal= {arXiv preprint arXiv:2109.02806},
year = {2021}
}
Comments
In Proceedings SCSS 2021, arXiv:2109.02501