@inproceedings{RISC294,
author = {B. Buchberger and T. Ida},
title = {{Computational Origami: Interaction of Solving, Proving and Computing}},
booktitle = {{Proceedings of World Conference on 21st Century Mathematics}},
language = {english},
pages = {--},
address = {Lahore, Pakistan},
isbn_issn = {?},
year = {2004},
month = {18-20 March},
annote = {2004-04-09-A},
note = {accepted},
editor = {?},
refereed = {yes},
length = {0}
}