佐尔坦科瓦奇；克里斯托弗·布朗；托马斯·雷西奥；罗伯特·瓦伊达 在web浏览器中使用Tarski公式和半代数集进行计算。 （英语） Zbl 07725360号 J.塞姆。计算。 120，文章ID 102235，17 p.（2024）.MSC公司：68瓦xx 03立方厘米xx 68次发射 PDF格式BibTeX公司 XML格式引用 \textit{Z.Kovács}等人，J.Symb。计算。120，文章ID 102235，17 p.（2024；Zbl 07725360） 全文： 内政部
克里斯托弗·布朗（Christopher W.Brown）。；费尔南多·瓦莱·恩里奎兹 从简化到非线性实多项式约束的部分理论求解器。 （英语） Zbl 1432.68598号 J.塞姆。计算。 100, 72-101 (2020).MSC公司：68瓦30 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{C.W.Brown}和\textit{F.Vale-Enriquez}，J.Symb。计算。100，72——101（2020年；兹比尔1432.68598） 全文： 内政部
费尔南多·瓦莱·恩里奎兹；克里斯托弗·布朗（Christopher W.Brown）。 多项式约束和不饱和核塔斯基. （英语） Zbl 1395.68353号 Davenport，James H.（编辑）等人，《数学软件–ICMS 2018》。第六届国际会议，2018年7月24日至27日，美国印第安纳州南本德。诉讼程序。查姆：施普林格（ISBN 978-3-319-96417-1/pbk；978-3-3169-96418-8/电子书）。计算机科学课堂讲稿10931466-474（2018）。MSC公司：68瓦30 PDF格式BibTeX公司 XML格式引用 \textit｛F.Vale Enriquez｝和\textit｛C.W.Brown｝，Lect。注释计算。科学。10931466--474（2018年；Zbl 1395.68353） 全文： 内政部