@incollection{83752,
author = {Michael Joswig},
title = {{Towards modelling the topology of homogeneous manifolds by means of symbolic computation}},
series = {Lecture notes in computer science},
volume = {1138},
doi = {10.1007/3-540-61732-9\_62},
booktitle = {Artificial intelligence and symbolic mathematical computation\,:\,international conference,
AISMC-3, Steyr, Austria, September 23-25, 1996\,:\,proceedings},
editor = {Jacques Calmet and John A. Campbell and Jochen Pfalzgraf},
publisher = {Springer},
address = {Berlin},
year = {1996},
pages = {258--273},isbn={978-3-540-61732-7},
}