MathDB
SMT 2022 Calculus Tiebreaker #1

Source:

March 29, 2023

Problem Statement

Compute 010(x5)+(x5)2+(x3)2dx.\int_0^{10}(x-5)+(x-5)^2+(x-3)^2dx.