Study on automatic proving of the mean-value theorems for derivatives

• 微分中值定理自动推证研究