Madalina Hodorog, Adrian Craciun. Scheme-Based Systematic Exploration of Natural Numbers. In 8th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2006), 26-29 September 2006, Timisoara, Romania. pages 23-34, IEEE Computer Society, 2006. [doi]
Abstract is missing.