@Proceedings{E6,
  key    =       {E06},
  title = 	 {{Computer-Supported Mathematical Theory Development}},
  year = 	 2004,
  editor =	 {Benzm\"uller, Christoph and Windsteiger, Wolfgang},
  number =	 {04-14},
  series =	 {RISC Report Series},
  month =	 {July},
  organization = {RISC Institute, University of Linz},
  note =	 {Proceedings of the first ``Workshop on Computer-Supported Mathematical 
                  Theory Development'' held in the frame of IJCAR'04 in Cork, Ireland, 
                  July 5, 2004. 
                  ISBN 3-902276-04-5.}}