A NEW DECISION METHOD FOR ELEMENTARY ALGEBRA

[1] ARTIN E, 1926, ABH MATH SEM HAMBURG, V5, P83

[2] The question of endless work in the theory of polynomials [J]. MATHEMATISCHE ANNALEN, 1926, 95 : 736 - 788

[3] MESERVE BE, 1947, AM J MATH, V49, P357

[4] Tarski Alfred, 1951, DECISION METHOD ELEM

[5] van der Waerden B.L., 1949, MODERN ALGEBRA, VI

[6] Weil A., 1946, AM MATH SOC C PUBLIC, V29, pxix+289

[1] ARTIN E, 1926, ABH MATH SEM HAMBURG, V5, P83

[2] The question of endless work in the theory of polynomials [J]. MATHEMATISCHE ANNALEN, 1926, 95 : 736 - 788

[3] MESERVE BE, 1947, AM J MATH, V49, P357

[4] Tarski Alfred, 1951, DECISION METHOD ELEM

[5] van der Waerden B.L., 1949, MODERN ALGEBRA, VI

[6] Weil A., 1946, AM MATH SOC C PUBLIC, V29, pxix+289