398 citations · 462 across the 9 of their papers we have counts for
1 paper · 1 filter
Roland Backhouse, João F. Ferreira
Algorithms can be used to prove and to discover new theorems. This paper shows how algorithmic skills in general, and the notion of invariance in particular, can be used to derive…