Sum of Squares Decomposition of Polynomial by Computer in The Context of History [CZ]