Now showing items 1-1 of 1

  • Constructive Mathematics in Theory and Programming Practice

    Bridges, Douglas; Reeves, Steve (Oxford University Press, 1999)
    The first part of the paper introduces the varieties of modern constructive mathematics, concentrating on Bishop’s constructive mathematics(BISH). It gives a sketch of both Myhill’s axiomatic system for BISH and a constructive ...

Douglas Bridges has 1 co-authors in Research Commons.

Showing up to 5 theses - most recently added to Research Commons first.

  • Constructive Analysis of Partial Differential Equations

    Wang, Michael Yuchuan (The University of Waikato, 1996)
    This thesis presents the results produced in the study of weak solutions of the Dirichlet Problem within Errett Bishop's constructive mathematics. It roughly falls into three major parts: a critical analysis of the classical ...