Scheme-Based Systematic Exploration of Natural Numbers.

Madalina Hodorog, Adrian Craciun

Browse the full SYNASC paper archive.