贾斯珀·纳尔巴赫;艾丽卡·阿尔布拉汉姆;菲利普·斯佩克特;克里斯托弗·布朗（Christopher W.Brown）。;詹姆斯·达文波特。;英格兰，马修 单个圆柱形代数单元的水平构造。 （英语） Zbl 07799840号 J.塞姆。计算。 123，文章ID 102288，44 p.（2024）.MSC公司：68瓦xx 68泰克 03Cxx号 PDF格式BibTeX公司 XML格式引用 \textit{J.Nalbach}等人，J.Symb。计算。123，文章ID 102288，44 p.（2024；Zbl 07799840） 全文： 内政部 arXiv公司
佐尔坦科瓦奇;克里斯托弗·布朗;托马斯·雷西奥;洛伯特·瓦伊达 在web浏览器中使用Tarski公式和半代数集进行计算。 （英语） Zbl 07725360号 J.塞姆。计算。 120，文章ID 102235，17 p.（2024）.MSC公司：68瓦xx 03Cxx号 68泰克 PDF格式BibTeX公司 XML格式引用 \textit{Z.Kovács}等人，J.Symb。计算。120，文章ID 102235，17 p.（2024；Zbl 07725360） 全文： 内政部
克里斯托弗·布朗（Christopher W.Brown）。;佐尔坦科瓦奇;托马斯·雷西奥;洛伯特·瓦伊达;维莱兹，M.Pilar 计算机代数准备好在课堂上猜测和证明几何不等式了吗？ （英语） Zbl 07700011号 数学。计算。科学。 16，第4号，第31号论文，第14页（2022年）.MSC公司：97G40型 14H50型 03B35型 68吨15 68伏15 2014年第30季度 2016年11月51日 51-04 51-08 PDF格式BibTeX公司 XML格式引用 \textit{C.W.Brown}等人，数学。计算。科学。16，第4号，第31号论文，第14页（2022；Zbl 07700011） 全文： 内政部
克里斯托弗·布朗（Christopher W.Brown）。;格伦·克里斯托弗·戴维斯 将机器学习应用于求解实多项式约束的启发式算法。 （英语） Zbl 1503.68307号 Bigatti、Anna Maria（编辑）等人，《数学软件——ICMS 2020》。第七届国际会议，德国布伦瑞克，2020年7月13日至16日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12097, 292-301 (2020).MSC公司：68瓦30 2014年第30季度 68T05型 68分20秒 PDF格式BibTeX公司 XML格式引用 \textit{C.W.Brown}和\textit{G.C.Daves}，莱克特。注释计算。科学。12097、292--301（2020年；Zbl 1503.68307） 全文： 内政部
克里斯托弗·布朗（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；Zbl 1432.68598） 全文： 内政部
克里斯托弗·布朗（Christopher W.Brown）。 基于单项式不等式的Tarski公式的快速简化。 （英语） Zbl 1262.68189号 J.塞姆。计算。 47，第7号，859-882（2012）. 审核人：约翰·佩里（哈蒂斯堡） MSC公司：68瓦30 05A20型 03D78号 PDF格式BibTeX公司 XML格式引用 \textit{C.W.Brown}，J.Symb（英国作家）。计算。47，第7号，859--882（2012；Zbl 1262.68189） 全文： 内政部