Informal proceedings will be available at the venue.

Proceedings are published in the RISC Technical-Report series as RISC Report 04-14 and are available online from this page.

Download proceedings: PDF, compressed PostScript.

Bibliographic data:

@Proceedings{IJCAR_WS7,
  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. 
                  Available at http://www.risc.uni-linz.ac.at/about/conferences/IJCAR-WS7/.}
}