39 citations · 81 across the 5 of their papers we have counts for
1 paper · 1 filter
Bruno Buchberger
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 symboli…