Proof Based Computation

Abstract

We coin a term for a novel paradigm for the communication of a method of computation of a function from a researcher who knows the mathematics of the function to the user who does not want to know the details of algorithm. An example, the one which motivated this research, as presented an suficient detail to show that the paradigm is the only sensible approach, in at least one case. It is suggested that for a range of problems involving heuristic search, the paradigm would be very suitable.