Montaña, José L.; Pardo, Luis M.; Recio, Tomás A note on Rabin’s width of a complete proof. (English) Zbl 0806.68062 Comput. Complexity 4, No. 1, 12-36 (1994). Reviewer: M.-F.Roy (Rennes) MSC: 68Q25 68W30 14P20 14P10 × Cite Format Result Cite Review PDF Full Text: DOI
Bochnak, J.; Efroymson, G. A. Real algebraic geometry and the 17th Hilbert problem. (English) Zbl 0425.14004 Math. Ann. 251, 213-241 (1980). MSC: 14Pxx 14A20 58A07 32C05 × Cite Format Result Cite Review PDF Full Text: DOI EuDML