@inproceedings{RISC3287,author = {M. Hodorog and A. Craciun},
title = {{Scheme-Based Systematic Exploration of Natural Numbers}},
booktitle = {{Proc. of the 8th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC06)}},
language = {english},
pages = {23--34},
isbn_issn = {ISBN:0-7695-2740-X},
year = {2006},
month = {26-29 September},
editor = {D. Petcu and V. Negru and D. Zaharie and T. Jebelean},
refereed = {yes},
institution = {Department of Computer Science, West University of Timisoara, Romania},
length = {9}
}