Pointwise Mean Value Theorems in Constructive Mathematics

Jananan Arulseelan, James E. Hanson

We answer some questions regarding the mean value theorem and related results in constructive mathematics. The answers to these questions reveal interesting properties of the Mean…