布莱特，柯蒂斯;张凯文·K·H。;布雷特·史蒂文斯;伊利亚斯·科齐里亚斯;维杰·加内什 十阶射影平面中椭圆的不存在证明。 （英语） Zbl 07601001号 Gąsieniec，Leszek（编辑）等人，《组合算法》。第31届国际研讨会，IWOCA 2020，法国波尔多，2020年6月8日至10日，会议记录。查姆：斯普林格。莱克特。注释计算。科学。12126，97-111（2020）。MSC公司：68卢比 68瓦xx PDF格式BibTeX公司 XML格式引用 \textit{C.Bright}等人，Lect。注释计算。科学。12126，97--111（2020；Zbl 07601001） 全文： 内政部 arXiv公司
布莱特，柯蒂斯;张凯文;布雷特·史蒂文斯;多米尼克·罗伊;伊利亚斯·科齐里亚斯;维杰·加内什 重量为15个码字的十阶射影平面的不存在证明。 （英语） Zbl 1460.68098号 申请。代数工程通讯。计算。 31,3-4195-213号（2020年）.MSC公司：68T20型 05B25号 51E20型 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{C.Bright}等人，应用。代数工程通讯。计算。31，编号3-4195-213（2020；兹bl 1460.68098） 全文： 内政部 arXiv公司
布莱特，柯蒂斯;伊利亚斯·科齐里亚斯;维杰·加内什 将计算机代数系统与SAT解算器应用于Williamson猜想。 （英语） Zbl 1432.68595号 J.塞姆。计算。 100, 187-209 (2020).MSC公司：68瓦30 05B20号 PDF格式BibTeX公司 XML格式引用 \textit{C.Bright}等人，J.Symb。计算。100187--209（2020年；Zbl 1432.68595） 全文： 内政部 arXiv公司
布莱特，柯蒂斯;德拉戈米尔·奥科维奇。;伊利亚斯·科齐里亚斯;维杰·加内什 SAT+CAS组合搜索方法及其在最佳矩阵中的应用。 （英语） Zbl 1434.05001号 安。数学。Artif公司。智力。 87，第4号，321-342（2019）. 审核人：Ioan Tomescu（布库雷什蒂） MSC公司：05-04 05B20号 68卢比 68T27型 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{C.Bright}等人，《数学年鉴》。Artif公司。智力。87，第4号，321--342（2019；Zbl 1434.05001） 全文： 内政部 arXiv公司
爱德华·祖尔科斯基;布莱特，柯蒂斯;阿尔伯特·海因勒;伊利亚斯·科齐里亚斯;Czarnecki、Krzysztof;维杰·加内什 将SAT解算器与计算机代数系统结合起来验证组合猜想。 （英语） Zbl 1410.68413号 J.汽车。推理 58，第3号，313-339（2017）.MSC公司：68瓦30 05B20号 05年10月15日 05C38号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{E.Zulkoski}等人，J.Autom。推理58，No.3，313--339（2017；Zbl 1410.68413） 全文： 内政部
爱德华·祖尔科斯基;维杰·加内什;Czarnecki、Krzysztof MathCheck：通过计算机代数系统和SAT解题器相结合的数学助手。 （英语） Zbl 1465.68300号 Felty，Amy P.（编辑）等人，《自动扣除——CADE-25》。2015年8月1日至7日在德国柏林举行的第25届自动扣减国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9195, 607-622 (2015).MSC公司：68伏15 05-04 05年10月15日 05C45号 05C70号 68兰特 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{E.Zulkoski}等人，Lect。注释计算。科学。9195607--622（2015；Zbl 1465.68300） 全文： 内政部