｛“status”：“ok”，“message type”：“work”，“message version”：“1.0.0”，“message”：｛“indexed”：｛“date parts”：[[2024,2,12]]，“date time”：“2024-02-12T09:38:18Z”，“timestamp”：1707730698180｝，“reference count”：34，“publisher”：“Elsevier BV”，“issue”：“3”，“license”：[｛“start”：｛“date parts”：[[2006,6,1]]，“date time”：“2006-06-01T00:00:00Z”，“timestamp”：1149120000000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.elsevier.com//tdm\/userlicense\/1.0\/”}，{“start”：{“date-parts”：[[2013,8,22]]，“date-time”：“2013-08-22T00:00Z”，“timestamp”：1377129600000}，“content-version”：“vor”，“delay-in-days”：2639，“URL“https:\\/www.elssevier.com/”开放访问\/userlicense\/1.0\/“}]，”内容域“：{”域“：[]，“crossmark-restriction”：false}，“short-container-title”：[“Journal of Complexity”]，“published-print”：{“date-parts”：[[2006,6]]}，”DOI“：”10.1016\/j.jco.2005.10.002“，”type“：”Journal-article“，”created“：{”date-part“：[[2005,12,29]]，”date-time“：”2005-12-29T12:13:07Z“，”timestamp“：11358387000}“page”：“396-430”，“source”“：”Crossref“，”is-referenced-by-count“：9，“title”：[“关于一些素微分理想预解表示的复杂性”]，“prefix”：“10.1016”，“volume”：“22”，“author”：[{“给定”：“Lisi”，“family”：“D\u2019Alfonso”，“sequence”：“first”，“affiliation”：[]}u00f3“，“sequence”：“additional”，“affiliation”：[]}]，“member”：“78”，“reference”：[{“key”：“10.1016\/j.jco.2005.10.002_bib1”，“doi-asserted-by”：“crossref”，“unstructured”：“S.Basu，R.Pollack，M.-F.Roy，《实代数几何中的算法.数学中的算法和计算》，第10卷，Springer，Berlin，2003。”，“doi”：“101007\/978-3-62-05355-3”}，{“key”：“10.1016\/j.jco.2005.10.002_bib2”，“series-title”：“多项式和矩阵计算，基本算法，理论计算机科学进展”，“author”：“Bini”，“year”：“1994”}，{“key”：“10.116\/j.jco.20051.0002_bib3”，“doi-asserted-by”：“crossref”，“unstructured”：“P.B\u00fcrgisser，M.Clausen，M.A。Shokrollahi，代数复杂性理论，Grundlehren der Mathematischen Wissenschaften，第315卷，Springer，Berlin，1997年。Hubert，正则微分理想的解析表示法，技术报告RR-4200，INRIA Sophia Antipolis，2001年Cluzeau”，“年份”：“2003”，“期刊标题”：“AAECC”}，｛“密钥”：“10.1016\/j.jco.2005.10.002_bib6”，“系列标题”：“欧洲控制会议论文集”，“第一页”：“152”，“文章标题”：“关于非线性可观察性”，“作者”：“Diop”，“年份”：“1991”｝，｛“密钥”：“10.1016\/j.jco.2005.10.002_bib7”，“doi断言者”：“crossref”，“非结构化”：“M.Fless，j。L\u00e9vine，P.Martin，P.Rouchon，非线性隐式微分方程的指数和分解，摘自：IFAC系统结构和控制会议论文集，南特，1995年7月。Mishra，解决的复杂性，第五届ACM-SIAM离散算法年会论文集，弗吉尼亚州阿灵顿，ACM，纽约，1994，第280\u2013289页doi由“：”crossref“，”first page“：”277“，”doi“：”10.1016/S0022-4049（97）00015-7“，”文章标题“：”丢番图近似的下限“，”卷“：”117118“，”作者“：”Giusti“，”年份“：”1997“，”期刊标题“：”J.Pure Appl。代数“}，{“key”：“10.1016\/j.jco.2005.10.002_bib11”，“doi-asserted-by”：“crossref”，“unstructured”：“M.Giusti，j.Heintz，j.E.Morais，L.M.Pardo，多项式方程组何时可以快速求解？应用代数，代数算法和纠错码（Paris，1995），《计算机科学讲义》，第948卷，施普林格出版社，柏林，1995年，第205\u2013231页。，“卷”：“17“，”author“：”Giusti“，”year“：”2001“，”journal-title“：”J.Complexity“}，{”key“：”10.1016\/J.jco.2005.10002_bib13“，”doi-asserted-by“：”crossref“，”unstructured“：”D.Grigoriev，《常微分方程理论中量词消除的复杂性》，《计算机科学讲义》，第378卷，Springer，柏林，1989年，第11\u201325页。“，”doi“：”10.1007\/3-540-51517-8_81“}，{“issue”：“3”，“key”：“10.1016\/j.jco.2005.10.002_bib14”，“doi-asserted-by”：“crossref”，“first page”：”239“，“doi”：“101016\/0304-3975（83）90002-6”，“article-title”：“代数闭域中的可定义性和快速量词消除”，“volume”:“24”，“author”：“Heintz”，“year”：“1983”，“journal title”：“理论计算科学”}，{“issue”：“1”，“key”：“10.1016\/j.jco.2005.10.002_bib15”，“doi-asserted-by”：“crossref”，“first page”：”70“，”doi“：”10.1006\/jcom.1999.0529“，”article-title“：”高效多项式方程求解的变形技术“，”volume“：”16“，”author“：”Heintz“，”year“2000”，“journal-title”：“j.Complexity”}，{”issue“：”4“，”key“10.1016”\/j.jco.2005.10.002_bib16“，“doi-asserted-by”：“crossref”，“first page”：“239”，“doi”：“10.1007\/s002000000046”，“article-title”：“On the time-space complexity of geometrical exclusion procedures”，《卷》：“11”，“作者”：“Heintz”，“年份”：“2001”，“期刊标题”：“Appl.Algebra Eng.Comm.Comput.”}，{“密钥”：“101016\/jco.2005.10002_bib17”，“非结构化”：“j.Heintz，C.-P。Schnorr，测试易于计算的多项式，专著30 de l\u2019Enseignement Math\u00e9matique，1982，237\u2013254年份：“2003”}，{“key”：“10.1016\/j.jco.2005.10.002_bi19”，“series-title”：“微分代数和代数群”，“author”：“Kolchin”，“year”：“1973”}al标题“：”程序。数学。“}，{”issue“：”3“，”key“：”10.1016\/j.jco.2005.10002_bib21“，”doi-asserted-by“：”crossref“，”first page“：“521”，”doi“：”101215\/S0012-7094-01-10934-4“，”article-title“：”Sharp estimates for the算术Nullstellensatz“，”volume“：“10.1016\/j.jco.2005.10.002_bib22”，“首页”：“1“，”article-title“：”Grundz\u00fcge-einer-arithmetischen Theorye der algebraischen Gr\u00f6ssen“，”volume“：”92“，”author“：”Kronecker“，”year“：”1882“，”journal-title”：“J.Reine Angew。数学。“}，{”key“：”10.1016\/j.jco.2005.10.002_bib23“，”series-title“：”交换代数和代数几何导论“，”author“：”Kunz“，”year“：”1985“}”，{“issue”：“3\u20134”，“key”：“10.1016\/j.co.2005.10002_bib24”，“doi-asserted-by”：“crossref”，“first page”：”473“，”doi“：”101016\/S0747-7171（03）0000 91-9“，”文章标题“：”与微分有理映射相关的离散不变量的快速计算“，“volume”：“36”，“author”：“Matera”，“year”：“2003”，“journal-title”：“J.Symbolic Comput”。“}，{”key“：”10.1016\/j.jco.2005.10.002_bib25“，”article-title“：”代数观点的微分方程“，”volume“：“14”，”author“：”Ritt“，”year“：”1932“，”journal-title”：“Amer.Math.Soc.Coloq.Publ.”}，“key”：“10.1016\/j.co.2005.10002_bib26”，“article-title”“：”微分代数“，”volume“”：“33”，“author”：“Ritt”“，”年份“：”1950“，”新闻标题“：”Amer。数学。Soc.Colloq.出版。“}，{”key“：”10.1016\/j.jco.2005.10.002_bib27“，”unstructured“：”B.Sadik，Controlments\u00e0 l\u2019\u00e9tude de la complexit\u00e9 du calcul d\u2019un ensembly caract\u00e 9ristique en alg\u00e8bre diff\u00er9rentielle，博士论文，1995。“}by“：”crossref“，”first page“：”251“，”doi“：”10.1007 \/s002000050128“，”article-title“：“一个普通素数微分理想特征集元素的阶的界及其应用”，“volume”：“10”，“author”：“Sadik”，“year”：“2000”，“journal-title”：“Appl。代数工程通信计算。“}，{”issue“：”5“，”key“：”10.1016\/j.jco.2005.10.002_bib29“，”doi-asserted-by“：”crossref“，”first page“：“349”，”doi“：”101007\/s00200-002-0109-x“，”article-title“：”计算参数几何分辨率“，”volume“:”13“，”author“：”Schost“，”year“：”2003“，”journal-title”：“Appl.Algebra Eng.Comm.Comput.”}，”{“key”：“10.1016 016\/j.jco.2005.10.002_bib30“，”doi-asserted-by“：”crossref“，”first page“：”701“，”doi“：”10.1145\/322217.32225“，“article-title”：“多项式恒等式验证的快速概率算法”，“volume”：“27”，“author”：“Schwartz”，“year”：“1980”，“journal-title“：”J.ACM“}，{“issue”：“5”，“key”：”10.1016\/jco.2005.10002_bib31“，”doi-assert-by“”：“crossref.”，“first page:”“735”，“DOI“：”10.1006\/jsco.2002.0532“，”article-title“：”在多项式时间内测试局部代数可观测性的概率算法，计算机代数（伦敦，ON，2001）“，”volume“：”33“，”author“：”Sedoglavic“，”year“：”2002“，”journal-title”：“J.Symbolic Compute。“}，{”key“：”10.1016\/j.jco.2005.10.002_bib32“，”first page“：“A。塞登伯格，偏微分代数中的一些基本定理，京都大学科学院回忆录，A辑，第三十一卷（1），1958年，数学，第1\u20138页。“，”DOI“：”10.1215\/kjm\/1250776945“}，{“key”：“10.1016\/j.jco.2005.10002_bib34”，“DOI-asserted-by”：“crossref”，“unstructured”：“R。Zippel，稀疏多项式的概率算法，收录于：《EUROSAM\u201979会议录》，《计算机科学讲义》，第72卷，施普林格，柏林，1979年，第216\u2013226页https:\/\/api.elsevier.com/content\/article\/PII:S0885064X05001093？httpAccept=text\/xml“，”content-type“：”text\/.xml“，”content-version“：”vor“，”intended-application“：”text-mining“}，{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:S0885064X05001093？httpAccept=text\/plain“，”内容类型“：”文本\/plaine“，”content-version”：“vor”，“intended-application”：“text-mining”}]，”存放“：{“date-parts”：[2020,4,11]]，“日期时间”：“2020-04-11T21:12:49Z”，“时间戳”：1586639569000｝，“分数”：1，“资源”：｛“主要”：｛[2006,6]]}，”alternative-id“：[”S0885064X05001093“]，“URL”：“http://\/dx.doi.org\/10.1016\/j.jco.2005.10.002”，“关系”：{}，“ISSN”：[“0885-064X”]，“ISSN-type”：[{“值”：“0885-0.64X”，“类型”：“打印”}]，“主题”：[]，“发布”：{“日期段”：[2006,6]]}}}}