As computers and communications technology advance, greater opportunities arise for intelligent mathematical computation. While computer algebra, automated deduction, mathematical publishing and mathematical user interfaces individually have long and successful histories, we are now seeing increasingly fruitful interaction among these areas. For the past several years, the Conferences on Intelligent Computer Mathematics (CICM) event has been a primary venue for discussing these areas and their interplay. CICM was first held as a joint meeting in 2008, co-locating related conferences and workshops, and has been held annually since, evolving to a multi-track conference. Previous CICM meetings have been held in Birmingham (UK 2008), Grand Bend (Canada 2009), Paris (France 2010), Bertinoro (Italy 2011), Bremen (Germany 2012) and Bath (UK 2013). This volume contains the papers presented at CICM 2014, held 7–11 July 2014 at the University of Coimbra, Portugal. The CICM 2014 meeting was organized with five invited presentations, four main tracks, a number of workshops, a doctoral mentoring program and an informal track to share work in progress. The program of the meeting, as well as additional materials, have been made available at http://cicm-conference. org/2014/cicm. php.