@inproceedings{a59ee39103164944a8da9b2a2188b046,
title = "Decompositions of Natural Numbers: From A Case Study in Mathematical Theory Exploration",
author = "Madalina Hodorog and Adrian Craciun",
year = "2007",
month = sep,
language = "English",
series = "West University of Timisoara, Romania",
pages = "1--8",
editor = "\{D. Petcu, V. Negru, D. Zaharie and T. Jebelean\}",
booktitle = "Proceedings of the 9th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC07)",
}