Symbolic Computation in Software Science: My Personal View

Autor: Bruno Buchberger
Rok vydání: 2021
Předmět:
DOI: 10.48550/arxiv.2109.02806
Popis: 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.
Comment: In Proceedings SCSS 2021, arXiv:2109.02501
Databáze: OpenAIRE