贾斯珀·纳尔巴赫;艾丽卡·阿尔布拉汉姆;菲利普·斯佩克特;克里斯托弗·布朗(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) 全文: 内政部