[IEEE 2006 Eighth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - timisoara, Romania (2006.09.26-2006.09.29)] 2006 Eighth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - Scheme-Based Systematic Exploration of Natural NumbersHodorog, Madalina; Craciun, Adrian · 2006