Centre for Computable and Constructive Mathematics (CCCM)

Research Group Summary

This Centre draws together the Department's expertise in computable mathematics - in particular, interval analysis - and constructive analysis, topology, and set theory. It has strong links with research groups in several overseas countries (Japan, Sweden, Germany, Italy, U.K., ...). As one of the nodes of two major EU Marie Curie IRSES grants, it receives several international visitors, and sends its own members abroad on reciprocal visits, each year. The current EU IRSES project, CORCON, lasts from 2014 through 2017.

Key Contact

• Douglas Sutherland Bridges: Director; Mathematics and Statistics

Members - UC Staff

• Douglas Sutherland Bridges: Director; Mathematics and Statistics
• Hannes Diener: Member; Mathematics and Statistics
• Maarten Nicola McKubre-Jordens: Member; Mathematics and Statistics
• Raazesh Sainudiin: Member; Mathematics and Statistics

• Interval Analysis and Constructive Mathematics (BIRS Programme Workshop)
  Oaxaca, Mexico; 13-18 Nov 2016
  The Centre for Computable and Constructive Mathematics (CCCM) in the School of Mathematics & Statistics is part of a successful bid for a BIRS Programme Workshop in Oaxaca, Mexico. The conference is entitled "Interval Analysis and Constructive Mathematics", and will be held on 13-18 November 2016.

• Computer-aided Proofs in Statistics
• Statistical Regular Pavings and their Computable Mappings

• Mathematics: Computable Mathematics; Constructive Mathematics; Foundations of Mathematics; Pure Mathematics
• Statistics: Statistics

Affiliations

• Computer-aided Proofs in Analysis Group, Department of Mathematics, Uppsala University (Teaching/Research Organisation)
• Japan Advanced Institute of Science and Technology (Teaching/Research Organisation)
• Stockholm University (Teaching/Research Organisation)
• Università degli Studi di Padova (University of Padua) (Teaching/Research Organisation)