TSPLIB公司 732文件引用(1991–2024) 软件作者: 格哈德·雷内特 相关软件: 协和式飞机;LKH;VRP… 主要字段: 组合数学(05-XX);统计学(62-XX);数值分析(65-XX)…
数学检查 13份文件引用(2015–2021) 软件作者: 明亮,柯蒂斯;维杰·加内什;阿尔伯特·海因勒;科齐里亚斯、伊利亚斯;赛义德·内贾蒂;Czarnecki,Krzysztof;爱德华·祖尔科斯基 相关软件: 山猫;枫树;FFTW… 主要字段: 组合数学(05-XX);数论(11-XX);计算机科学(68-XX)…
生成UHG 8份文件引用(2019年至2022年) 软件作者: Jan Goedgebeur、Barbara Meersman、Carol T.Zamfirescu 相关软件: 图形之家;鹦鹉螺;snarkhunter… 主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
假设-检查器 2份文件引用(2017–2018) 软件作者: 彼得·格雷戈(Petr Gregor);诺沃顿,托马斯;什·克里科夫斯基(Rister) 相关软件: github 主要字段: 组合数学(05-XX);信息与通信理论,电路(94-XX)