@incollection{83720,
author = {Michael Joswig},
title = {{Software integration and computer proofs}},
doi = {10.1142/9789812777171\_0003},
booktitle = {Mathematical software ICMS 2002\,:\,First international conference on mathematical software,
Beijing, China, August 17-19, 2002, proceedings},
editor = {Arjeh M. Cohen and Xiao-Shan Gao and Nobuki Takayama},
publisher = {World Scientific},
address = {New Jersey},
year = {2002},
pages = {15--28},isbn={978-981-238-048-7},
}