Possibility to algorithmically check: yet another reason why current definitions have been selected in elementary mathematics

Publisher Website
Google Scholar
Abstract
No abstract available