Interval Analysis and Constructive Mathematics (16w5099)


(University of Canterbury)

(University of Canterbury)

(University of Louisiana at Lafayette)

(University of Texas at El Paso)

(Tijuana Institute of Technology)

(University of Canterbury)

Helmut Schwichtenberg (University of Munich)


The Casa Matemática Oaxaca (CMO) will host the "Interval Analysis and Constructive Mathematics" workshop from November 13th to November 18th, 2016.

Should we trust computers to be able to compute precisely with real numbers?

Can a mathematician rely on machine computations as part of a proof?

Researchers in both interval analysis and constructive mathematics have demonstrated that it is feasible to use computers as an integral part of mathematics and not simply as a visualization and approximation tool. Both areas have shown that, surprisingly, one can compute in a way that guarantees correctness. However, the approaches grew out of very different directions, with their own advantages and disadvantages. Bringing both groups together for the first time on a large scale, fostering interaction and advancing the common goal of both, will ensure that we, as mathematicians and users of mathematical methods, can rely on computers.

The Casa Matemática Oaxaca (CMO) in Mexico, and the Banff International Research Station for Mathematical Innovation and Discovery (BIRS) in Banff, are collaborative Canada-US-Mexico ventures that provide an environment for creative interaction as well as the exchange of ideas, knowledge, and methods within the Mathematical Sciences, with related disciplines and with industry.

The research station in Banff is supported by Canada's Natural Science and Engineering Research Council (NSERC), the U.S. National Science Foundation (NSF), Alberta's Advanced Education and Technology, and Mexico's Consejo Nacional de Ciencia y Tecnología (CONACYT). The research station in Oaxaca is funded by CONACYT.