Sturm, Thomas Linear problems in valued fields. (English) Zbl 0982.03018 J. Symb. Comput. 30, No. 2, 207-219 (2000). Reviewer: Serban A.Basarab (Bucureşti) MSC: 03C10 12L12 03C60 68Q25 68W30 12J10 03B25 PDFBibTeX XMLCite \textit{T. Sturm}, J. Symb. Comput. 30, No. 2, 207--219 (2000; Zbl 0982.03018) Full Text: DOI Link
Weispfenning, Volker The complexity of linear problems in fields. (English) Zbl 0646.03005 J. Symb. Comput. 5, No. 1-2, 3-27 (1988). Reviewer: D.Yu.Grigor’ev MSC: 03B25 03D15 12L05 68W30 68Q25 PDFBibTeX XMLCite \textit{V. Weispfenning}, J. Symb. Comput. 5, No. 1--2, 3--27 (1988; Zbl 0646.03005) Full Text: DOI