zbMATH中的参考文献（参考文献28条,2标准条款)

1. 德莱斯勒，马雷克；伊利曼，萨迪克；de Wolff，Timo:通过非负电路多项式和几何规划实现约束多项式优化的方法（2019）
2. 洪，勋；Sturm，Thomas:有符号参数多项式不等式组的正解（2018）
3. Eraşcu，Mădălina:特殊实数量词消除的有效简化技术及其在优化数值算法综合中的应用（2016）
4. 福卡斯库，琉球；依万岛，希德瑙；佐藤，Yosuke：关于CGS real QE的实施（2016）
5. 福卡斯库，琉球；依万岛，希德瑙；佐藤，Yosuke:CGSQE/SyNRAC：基于综合格勃纳系统计算的真实量词消除包（2016）
6. 牛伟；石、剑；Mou，Chenqi:用符号计算方法分析高维离散系统的余维2分岔（2016）
7. 福卡斯库，琉球；依万岛，希德瑙；Sato，Yosuke:通过计算综合格勃纳系统消除真实量词（2015）
8. 洪，勋；唐小仙；夏碧康：多稳态生物调控系统稳定性分析的特殊算法（2015）
9. 洪，勋（编辑）；Yap，Chee（编辑）：数学软件——ICMS 2014。第四届国际会议，韩国首尔，2014年8月5日至9日。会议记录（2014年）
10. 依万岛，希德瑙；Yanami，Hitoshi；Anai，Hirokazu:SyNRAC:求解实代数约束的工具箱（2014）
11. Brown，Christopher W.：基于单项不等式的塔斯基公式的快速简化（2012）
12. 洪，勋；El Din，Mohab Safey:变体量词消除（2012）
13. 凯劳德，贝诺；德拉哈耶，贝诺；拉森，金G。；勒盖，阿克塞尔；佩德森，米克尔L。；Wąsowski，Andrzej:约束马尔可夫链（2011）
14. 一原一郎，弘玉；Anai，Hirokazu:多项式动力系统非线性增益分析的SOS-QE方法（2011）
15. 依万岛，希德瑙；Yanami，Hitoshi；Anai，Hirokazu:制造设计中多目标优化的符号-数值方法（2011）
16. Kitamoto，Takuya:代数Riccati方程定义多项式计算的代数方法（2009）
17. Yanami，Hitoshi:基于符号计算的多目标设计及其在硬盘滑块设计中的应用（2009）
18. 现代，诺里子；红，明勋；Yanami，Hitoshi；原野，真嗣；Anai，Hirokazu:基于量词消除的控制中非线性参数约束的求解和可视化（2007）
19. 北本，Takuya；Yamaguchi，Tetsu:关于代数Riccati方程定义多项式的计算（2007）
20. Yanami，Hitoshi；Anai，Hirokazu:Synrac:求解实代数约束的Maple工具箱（2007）ioport公司