The Conference on Intelligent Computer Mathematics has been held annually since 2008 at various l... more The Conference on Intelligent Computer Mathematics has been held annually since 2008 at various locations in Europe and North America. The conference is made up of tracks on aspects of handling mathematical knowledge embodied in documents, proofs, algorithms and software systems. The 2015 conference was held 13-17 July in Washington D.C., USA. For several years now, CICM has had a track devoted to works in progress. This informal venue provides a forum to present original work that is not yet in a suitable form for presentation as a full paper or system description. Authors have found this useful to communicate that they are working on particular topics, and allows early feedback from the research community. For CICM 2015 we have continued this tradition. In response to a call for participation, several submissions were received, covering a broad span of CICM topics. These were reviewed by a committee consisting of the General PC Chair and all the track PC Chairs. Upon deliberation, it was decided that, bearing in mind the informal intent of the track, the quality of the submissions supported acceptance of six submissions. These are presented here in these proceedings alphabetically according to the surname of the first author.
The Conference on Intelligent Computer Mathematics has been held annually since 2008 at various l... more The Conference on Intelligent Computer Mathematics has been held annually since 2008 at various locations in Europe and North America. The conference is made up of tracks on aspects of handling mathematical knowledge embodied in documents, proofs, algorithms and software systems. The 2015 conference was held 13-17 July in Washington D.C., USA. For several years now, CICM has had a track devoted to works in progress. This informal venue provides a forum to present original work that is not yet in a suitable form for presentation as a full paper or system description. Authors have found this useful to communicate that they are working on particular topics, and allows early feedback from the research community. For CICM 2015 we have continued this tradition. In response to a call for participation, several submissions were received, covering a broad span of CICM topics. These were reviewed by a committee consisting of the General PC Chair and all the track PC Chairs. Upon deliberation, it was decided that, bearing in mind the informal intent of the track, the quality of the submissions supported acceptance of six submissions. These are presented here in these proceedings alphabetically according to the surname of the first author.
Uploads
Papers by Robert Alps