梅德利纳·埃拉什库;Hoon Hong 最佳数值算法合成的实量词消除(案例研究:平方根计算)。 (英语) Zbl 1335.68300号 J.塞姆。计算。 75, 110-126 (2016).MSC公司:68瓦30 03C10号机组 65G40型 PDF格式BibTeX公司 XML格式引用 \textit{M.Erašcu}和\textit{H.Hong},J.Symb。计算。75、110-126(2016;Zbl 1335.68300) 全文: 内政部
斯科特·麦卡勒姆;Hoon Hong 关于在CAD构造中使用Lazard投影。 (英语) Zbl 1325.13026号 J.塞姆。计算。 72, 65-81 (2016). 审核人:弗朗西丝卡·乔菲(那不勒斯) MSC公司:13第05页 68瓦30 03G15年 1999年第14季度 PDF格式BibTeX公司 XML格式引用 \textit{S.McCallum}和\textit{H.Hong},J.Symb。计算。72、65-81(2016年;Zbl 1325.13026) 全文: 内政部 arXiv公司
Hoon Hong;唐晓仙;夏碧灿 用于多稳态生物调控系统稳定性分析的特殊算法。 (英语) Zbl 1328.92028号 J.塞姆。计算。 70, 112-135 (2015).MSC公司:92立方厘米 34D20型 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{H.Hong}等人,J.Symb。计算。70112-135(2015年;兹比尔1328.92028) 全文: 内政部 arXiv公司
乔治·柯林斯。;Hoon Hong 量词消除的部分柱面代数分解。 (英语) Zbl 0754.68063号 J.塞姆。计算。 12,第3期,299-328(1991). 审核人:T.Pheidas(伊拉克利翁) MSC公司:68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{G.E.Collins}和\textit{H.Hong},J.Symb。计算。12,第3号,299--328(1991;Zbl 0754.68063) 全文: 内政部