GENREG公司 70篇文献引用(1999–2024) 软件作者: 马库斯·梅林格 相关软件: 鹦鹉螺;踪迹;图形之家… 主要字段: 组合数学(05-XX);几何(51-XX);计算机科学(68-XX)…
密码技术 29篇文献引用(2001–2015) 软件作者: 瓦西尔·乌斯廷科 相关软件: 密码;Galois字段算术库 主要字段: 组合数学(05-XX);代数几何(14-XX);计算机科学(68-XX)…
斯伦克亨特 24篇文献引用(2011–2024) 软件作者: G.Brinkmann、J.Goedgebeur、B.D.McKay 相关软件: 图形之家;鹦鹉螺;痕迹… 主要字段: 组合数学(05-XX);线性代数和多线性代数;矩阵理论(15-XX);计算机科学(68-XX)…
生成UHG 8份文件引用(2019–2022) 软件作者: Jan Goedgebeur、Barbara Meersman、Carol T.Zamfirescu 相关软件: 图形之家;鹦鹉螺;snarkhunter… 主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
密码 6篇文献引用(2004–2011) 软件作者: Ustimenko,V.O。;A.图泽内。 相关软件: 密码技术;Galois字段算术库 主要字段: 组合数学(05-XX);代数几何(14-XX);动力系统和遍历理论(37-XX)…
GYutsis公司 5份文件引用(2004–2021) 软件作者: Van Dyck,D。;V·法克。 相关软件: RACAH;NJGRAF;新闻稿… 主要字段: 组合数学(05-XX);特殊功能(33-XX);计算机科学(68-XX)…
彩色周长 4份文件引用(2012–2023) 软件作者: 拉尔斯·诺琴斯基 相关软件: Isabelle/HOL;存档正式证据;大锤… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);数论(11-XX)…