RADM accepted papers

Regular papers

Paul Cairns and Jeremy Gow, U College London, UK
Automated deduction systems for real mathematicians

Simon Colton, U Edinburgh, UK; Roy McCasland, U Edinburgh, UK; Alan Bundy, U Edinburgh, UK; and Toby Walsh, U College Cork, Ireland
Automated theory formation for tutoring tasks in pure mathematics

Manfred Kerber, U Birmingham, UK and Martin Pollet, Saarland U, Germany
On the design of mathematical concepts

Chen Lingjun, Nihon U, Japan; Hidetsune Kobayashi, Nihon U, Japan; Hirokazu Murao, U Electro-Communications, Japan; and Hideo Suzuki, Polytechnic U, Japan
Notes on formalizing induction on the number of sets

Christoph Schwarzweller, U Tübingen, Germany
Symbolic deduction in mathematical databases based on properties