陈日增;夏碧灿 确定涉及一元混合三角多项式的一阶公式。 (英语) Zbl 07760757号 Dickenstein,Alicia(编辑)等人,第48届符号和代数计算国际研讨会论文集,ISSAC,挪威特罗姆索,2023年7月24日至27日。纽约州纽约市:计算机协会(ACM)。145-154(2023年)。MSC公司:68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{R.Chen}和\textit{B.Xia},《第48届符号和代数计算国际研讨会论文集》,ISSAC,挪威特罗姆瑟,2023年7月24日至27日。纽约州纽约市:计算机协会(ACM)。145--154(2023年;Zbl 07760757) 全文: 内政部
艾丽卡·阿尔布拉汉姆;詹姆斯·H·达文波特。;英格兰,马修;基里恩·克莱默 使用柱面代数覆盖通过冲突驱动搜索确定非线性实数算术约束的一致性。 (英语) Zbl 1509.68243号 J.日志。阿尔盖布。方法计划。 119,文章ID 100633,33 p.(2021).MSC公司:68T20型 68伏15 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{E.ábrahám}等人,J.Log。阿尔盖布。方法计划。119,文章ID 100633,33 p.(2021;Zbl 1509.68243) 全文: 内政部 arXiv公司