马丁·坎波斯·潘特;弗雷德里克·查尔斯;布鲁诺·德斯普雷斯 正多项式近似的算法。 (英语) Zbl 1415.65031号 SIAM J.数字。分析。 57,第1期,148-172(2019).MSC公司:65日第15天 41A29号 41A55型 PDF格式BibTeX公司 XML格式引用 \textit{M.Campos-Pinto}等人,SIAM J.Numer。分析。57,第1号,148--172(2019;Zbl 1415.65031) 全文: 内政部
塔贾纳·卢托瓦克;布兰科,马累舍维奇;克里斯汀·莫蒂奇 混合三角多项式问题的自然算法。 (英语) Zbl 1373.42003号 J.不平等。申请。 2017,第116号文件,第16页(2017).MSC公司:42A05型 42A10号 41A58型 2005年10月26日 12升05 PDF格式BibTeX公司 XML格式引用 \textit{T.Lutovac}等人,J.不等式。申请。2017年,第116号论文,16页(2017;Zbl 1373.42003) 全文: 内政部 arXiv公司
埃里克·马丁·多雷尔;纪尧姆·梅尔金德 用Coq中的初等函数证明一元表达式的紧界。 (英语) Zbl 1386.68151号 J.汽车。推理 57,第3期,187-217(2016).MSC公司:68吨15 41A58型 65克50 PDF格式BibTeX公司 XML格式引用 \textit{埃里·马丁·多雷尔}和\textit{G.Melquiond},J.Autom。推理57,No.3,187--217(2016;Zbl 1386.68151) 全文: 内政部 哈尔