A CONTINUOUS, CONSTRUCTIVE SOLUTION TO HILBERT 17TH PROBLEM

[1] Artin E., 1927, ABH MATH PHYS KGL, V5, P100, DOI 10.1007/bf02952513

[2] REAL ALGEBRAIC-GEOMETRY AND THE 17TH HILBERT PROBLEM [J]. MATHEMATISCHE ANNALEN, 1980, 251 (03) : 213 - 241

[3] BOURBAKI N, 1966, GENERAL TOPOLOGY, V1

[4] BRUMFIEL G, 1979, LECTURE NOTE SERIES

[5] EXTREMAL POSITIVE SEMIDEFINITE FORMS [J]. MATHEMATISCHE ANNALEN, 1977, 231 (01) : 1 - 18

[6] DECISION PROCEDURES FOR REAL AND P-ADIC FIELDS [J]. COMMUNICATIONS ON PURE AND APPLIED MATHEMATICS, 1969, 22 (02) : 131 - &

[7] COSTE M, 1979, VARIOUS PUBLICATIONS, V30

[8] COSTE MF, 1975, RECURSIVE FUNCTIONS

[9] DAYKIN DE, 1960, THESIS U READING

[10] Delzell C.N., 1980, THESIS STANFORD U

[1] Artin E., 1927, ABH MATH PHYS KGL, V5, P100, DOI 10.1007/bf02952513

[2] REAL ALGEBRAIC-GEOMETRY AND THE 17TH HILBERT PROBLEM [J]. MATHEMATISCHE ANNALEN, 1980, 251 (03) : 213 - 241

[3] BOURBAKI N, 1966, GENERAL TOPOLOGY, V1

[4] BRUMFIEL G, 1979, LECTURE NOTE SERIES

[5] EXTREMAL POSITIVE SEMIDEFINITE FORMS [J]. MATHEMATISCHE ANNALEN, 1977, 231 (01) : 1 - 18

[6] DECISION PROCEDURES FOR REAL AND P-ADIC FIELDS [J]. COMMUNICATIONS ON PURE AND APPLIED MATHEMATICS, 1969, 22 (02) : 131 - &

[7] COSTE M, 1979, VARIOUS PUBLICATIONS, V30

[8] COSTE MF, 1975, RECURSIVE FUNCTIONS

[9] DAYKIN DE, 1960, THESIS U READING

[10] Delzell C.N., 1980, THESIS STANFORD U