Mathematical reasoning tools, such as computer algebra systems, theorem provers, decision procedures, etc., are increasingly employed in mathematics and engineering. Also large repositories of formalized mathematics are currently emerging. It is nevertheless the case that the actual pragmatics of mathematics is still to be characterized as mainly pen and paper based. One reason is that still no convincing systems exist that provide a sufficiently integrated support for the usual work phases of a mathematician, e.g. from initial conception and organization of ideas up to the final publication in a journal article.

The aim of this IJCAR workshop is to bring together people interested in the vision of fully integrated support environments for mathematics. A special focus of the workshop is on computer-support for the development of mathematical theories. Mathematical theory development describes the formulation, organization, manipulation, and maintenance of mathematical content. Support for adequate interaction with the (human) mathematician is mandatory in this context.

Thus, computer-supported mathematical theory development comprises

• the formulation of mathematical statements in a computer-processable form,
• computer-support in processing mathematical content; depending on the content, this can mean "proving", "computing", "solving", "visualizing", "checking", "simulating", "conjecturing", etc.
• the systematic organization and maintenance in and the powerful retrieval of mathematical knowledge from computer-accessible media,
• the management of change in the development of mathematical knowledge,
• the publication and presentation of mathematical material using new and/or well-established computer-based publication or presentation formats, and
• the interaction between the human mathematician and the supporting software.

The workshop addresses the design and implementation of frameworks aiming at integrated support for the entire process of theory development. Clearly, there is still a big gap between the systems envisioned and the systems already available and this gap has to be overcome in the future. Therefore also partial solutions are to be presented if their relevance for the bigger vision is illustrated.

The workshop features presentations of systems or concepts that contribute to the successful automatization of mathematical theory development. The preferred style of contribution contains as the main part a system-demo that illustrates the capabilities of the proposed system in the development of (parts of) some commonly known and easy to understand mathematical theory. We invite authors of accepted papers to give extended system-demos.