×

找到7个文档（结果1-7）

最新的 引文 关联
布莱特，柯蒂斯;张凯文·K·H。;布雷特·史蒂文斯;伊利亚斯·科齐里亚斯;Ganesh，维杰

十阶射影平面中椭圆的不存在证明。 （英语） 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公司
布莱特，柯蒂斯;张凯文;布雷特·史蒂文斯;多米尼克·罗伊;伊利亚斯·科齐里亚斯;Ganesh，维杰

重量为15个码字的十阶射影平面的不存在证明。 （英语） Zbl 1460.68098号

申请。代数工程通讯。计算。 31,3-4195-213号（2020年）.
MSC公司：68T20型 05B25号 51E20型 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{C.Bright}等人，应用。代数工程通讯。计算。31，编号3--4，195-213（2020；Zbl 1460.68098）
全文： 内政部 arXiv公司
布莱特，柯蒂斯;德拉戈米尔·奥科维奇。;伊利亚斯·科齐里亚斯;Ganesh，维杰

SAT+CAS组合搜索方法及其在最佳矩阵中的应用。 （英语） Zbl 1434.05001号

安。数学。Artif公司。智力。 87，第4号，321-342（2019）.
审核人：Ioan Tomescu（布库雷什蒂）
MSC公司：2004年5月 05B20号 68卢比 68T27型 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{C.Bright}等人，《数学年鉴》。Artif公司。智力。87，第4号，321--342（2019；Zbl 1434.05001）
全文： 内政部 arXiv公司
布莱特，柯蒂斯;伊利亚斯·科齐里亚斯;阿尔伯特·海因勒;Ganesh，维杰

通过编程SAT枚举复杂Golay对。 （英语） Zbl 1467.68202号

Carlos Arreche（编辑），《第43届符号和代数计算国际研讨会论文集》，ISSAC 2018，美国纽约州纽约市，2018年7月16-19日。纽约州纽约市：计算机协会（ACM）。111-118 (2018).
MSC公司：第68版 2015年1月5日 11B83号 68兰特 68瓦30 94A55型
PDF格式BibTeX公司 XML格式引用
\textit{C.Bright}等人，摘自：《第43届符号和代数计算国际研讨会论文集》，ISSAC 2018，纽约，美国纽约州，2018年7月16-19日。纽约州纽约市：计算机协会（ACM）。111-118（2018；Zbl 1467.68202）
全文： 内政部 arXiv公司

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

出版年份

全部的 前3名

主字段

全部的 前3名

软件