Work in Progress Preface

This volume contains the work in progress papers presented at CICM 2013:
Conference on Intelligent Computer Mathematics held on July 9, 2013 in Bath.
   There were 7 submissions. Each submission was reviewed by at least 2, and
on the average 2.1, program committee members. The committee decided to
accept 4 papers.
   We would like to thank our peer reviewers for carefully reviewing the sub-
missions and giving constructive feedback.
   This proceedings volume has been generated with EasyChair and ceur-make,
which made this task really convenient.


July 6, 2013                                                  David Aspinall
Birmingham                                                   Jacques Carette
                                                             Christoph Lange
                                                                   Petr Sojka
                                                        Wolfgang Windsteiger



Program Committee

A subset of the complete CICM program committee, consisting of the track
chairs, reviewed the work in progress submissions. These PC members are listed
here.
David Aspinall
Jacques Carette
Christoph Lange
Petr Sojka
Wolfgang Windsteiger



Additional Reviewers

Lı́ška, Martin




                                      v