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 Birmingham
David Aspinall 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´ıˇska, Martin
v