The paper presents a correctnes proof as well as an implementation in maple of an algorithm to compute the value function of infinite horizon optimal control problems with a single state variable. It proceeds as follows: step1:compute candidates for equilibria(from the HJB); step2:for each...