新南威尔士州沃罗布埃夫。;格里戈列夫，D.Yu。 在次指数时间内求解实闭域上的多项式不等式组。 （英语。俄文原件） Zbl 0726.65070号 J.索夫。数学。 55，第2期，1519-1540（1991）; Zap的翻译。诺什。塞明。列宁格。其他日期。Mat.Inst.Steklova 174，3-36（1988）。MSC公司：65千5 90立方 2005年10月26日 PDF格式BibTeX公司 XML格式引用 \textit{N.N.Vorob'ev jun.}和\textit{D.Yu.Grigor'ev}，J.Sov。数学。55，No.2，1519-1540（1991；Zbl 0726.65070）；Zap的翻译。诺什。塞明。列宁格。其他日期。Mat.Inst.Steklova材料研究所174，3--36（1988） 全文： DOI程序
格里戈列夫，D.Yu。 确定实闭域一阶理论的复杂性。 （英语。俄文原件） Zbl 0724.12009号 J.索夫。数学。 55，第2期，1553-1587（1991）; Zap的翻译。诺什。塞明。列宁格。其他日期。Mat.Inst.Steklova材料研究所174，53-100（1988）。MSC公司：12升05 12月15日 03B25号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Yu.Grigor’ev}，J.Sov。数学。55，No.2，1553-1587（1991；Zbl 0724.12009）；Zap的翻译。诺什。塞明。列宁格。其他日期。Mat.Inst.Steklova材料研究所174，53-100（1988） 全文： DOI程序
格里戈列夫，D.Yu。 线性常微分算子的因子分解和GCD计算的复杂性。 （英语） Zbl 0728.68067号 J.塞姆。计算。 10，第1号，7-37（1990）. 审核人：D.罗伯特（南特） MSC公司：65年第68季度 47E05型 34A30型 PDF格式BibTeX公司 XML格式引用 \textit{D.Yu.Grigor’ev}，J.Symb。计算。10，编号1，7--37（1990；Zbl 0728.68067） 全文： DOI程序
格里戈列夫，D.Yu。 苏联科学院交换部计算的复杂性。 （英语。俄文原件） Zbl 0771.68064号 数学。笔记 46，No.1，563-568（1989）; 翻译自Mat.Zametki 46，No.1，96-104（1989）。MSC公司：65年第68季度 第13页 PDF格式BibTeX公司 XML格式引用 \textit{D.Yu.Grigor’ev}，数学。注释46，编号1，563--568（1989；Zbl 0771.68064）；翻译自Mat.Zametki 46，No.1，96--104（1989） 全文： DOI程序
格里戈列夫，D.Yu。 决定Tarski代数的复杂性。 （英语） Zbl 0689.03021号 J.塞姆。计算。 5，编号1-2，65-108（1988）. 审核人：M.Teruashvili先生 MSC公司：2015年3月1日 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{D.Yu.Grigor’ev}，J.Symb。计算。5，编号1--2，65-108（1988；Zbl 0689.03021） 全文： DOI程序
格里戈列夫，D.Yu。;新南威尔士州沃罗布乔夫。 求解次指数时间内的多项式不等式组。 （英语） Zbl 0662.12001号 J.塞姆。计算。 5，编号1-2，37-64（1988）. 审核人：J.梁 MSC公司：12-04 65年第68季度 第12天15 14页 2011年9月 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{D.Yu.Grigor’ev}和\textit{N.N.Vorobjov jun.}，J.Symb。计算。5，编号1--2，37-64（1988；Zbl 0662.12001） 全文： DOI程序