Computer-aided Proofs in Statistics

Status: Current

Dates: 2007 - Start

Māori Relevant Content: No


  • Ministry of Business, Innovation & Employment (MBIE) (Marie Curie International Research Staff Exchange Scheme (IRSES), 2014 - 2017)
  • Swedish Research Council (Swedish Research Council, 2012 - 2012)

Project Abstract

This project aims to use techniques from interval analysis to rigorously solve numerical problems in statistics.  Examples include rigorous global optimization for parameter estimation and perfect trans-dimensional simulation.  A comprehensive C++ class library for statistical set-processing is developed.

Researchers - UC Staff

  • Raazesh Sainudiin: Principal Investigator; Mathematics and Statistics

Researchers - Non-UC Staff

  • Warwick Tucker: Collaborator; Uppsala University
  • Thomas York: Collaborator; Cornell University

Associated Groups

Subject Area: Disciplines