MathDB
SMT 2007 Algebra #1

Source:

June 27, 2012

Problem Statement

Find all real roots of ff if f(x1/9)=x23x4f(x^{1/9})=x^2-3x-4.