CGAL公司 423份文件引用(2000–2024) 软件作者： CGAL编辑委员会 相关软件： LEDA；二维三角剖分；三角形… 主要字段： 凸和离散几何（52-XX）；数值分析（65-XX）；计算机科学（68-XX）…
徒步旅行 212篇文献引用(1996–2023) 软件作者： 巴特·塞尔曼（Bart Selman）、亨利·考茨（Henry Kautz） 相关软件： 图形平面图；糠；DIMACS… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
J工具 142篇文献引用(2008–2024) 软件作者： 克劳德·本扎肯；纳迪娅·布劳纳 相关软件： 组织环境信息系统；MiniSat；GitHub… 主要字段： 阶、格、有序代数结构（06-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
岩石 43篇文献引用(2002–2024) 软件作者： Guha，S。；Rastogi，R。；垫片，K。 相关软件： UCI-ml；集群发现；COOLCAT… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
UnitWalk公司 33篇文献引用（2002年-2023年） 软件作者： 爱德华·赫施（Edward A.Hirsch）。；阿里斯特·科耶夫尼科夫 相关软件： 糠；SATO；伯克敏… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；统计力学，物质结构（82-XX）…
垫片 30篇文献引用(2015–2023) 软件作者： 安维什·科穆拉维利（Anvesh Komuravelli）；阿里·古芬克尔（Arie Gurfinkel）；萨加·查基 相关软件： z3；CVC4；SeaHorn… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）
UCLID公司 24篇文献引用(2002–2020) 软件作者： Randal E.Bryant；Shuvendu K.Lahiri；桑吉特·塞希亚 相关软件： 糠；PVS；MiniSat… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数论（11-XX）…
六角形 21篇文献引用(2001–2011) 软件作者： Eric Berberich；阿诺·艾根威利（Arno Eigenwillig）；Michael Hemmer；苏珊·赫特（Susan Hert）；Kettner，Lutz；库尔特·梅尔霍恩（Kurt Mehlhorn）；约阿希姆·赖切尔；苏珊·施密特；Elmar Sch“omer；Nicola Wolpert 相关软件： CGAL；LEDA；隔离… 主要字段： 总体主题；藏品（00-XX）；代数几何（14-XX）；凸和离散几何（52-XX）…
零点 22篇文献引用(1975–2024) 软件作者： Bus、J.C.、Dekker 相关软件： 布伦特；RROOT_748；算法748… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
本地化程序 21篇文献引用(1999–2021) 软件作者： 劳伦特·米歇尔（Laurent Michel）；帕斯卡·范·亨特利克 相关软件： 彗星；SALSA；EasyLocal++… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；通用拓扑（54-XX）…
MaxSolver（最大解算器） 19份文件引用(2005–2013) 软件作者： 赵星、张伟雄 相关软件： 糠；MiniMaxSat；MiniSat… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；计算机科学（68-XX）…
中央结算卫星 17篇文献引用(2013–2023) 软件作者： 蔡少伟；苏凯乐 相关软件： CCLS；CCAnr；NuMVC… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；动力系统和遍历理论（37-XX）…
CAESAR_解决 在11份文件中引用(2006–2022) 软件作者： Radu Mateescu公司 相关软件： CADP；Exp.打开；旋转… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
FCALGS公司 14篇文献引用(2011–2022) 软件作者： Krajca P.、Outrata J.、Vychodil V。 相关软件： 关闭中；AddIntent；UCI-ml… 主要字段： 阶、格、有序代数结构（06-XX）；统计学（62-XX）；计算机科学（68-XX）…
AMoRE公司 12份文件引用(1998–2010) 软件作者： O.Matz、A.Miller、A.Potthoff、W.Thomas、E.Valkema 相关软件： 自动化；间隙；圣杯… 主要字段： 总体主题；藏品（00-XX）；群论与推广（20-XX）；计算机科学（68-XX）
PyBoolNet网络 10篇文献引用(2021–2023) 软件作者： Hannes Klarner、Adam Streck、Heike Siebert 相关软件： 金西姆；BoolNet；Potassco… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）；信息与通信理论，电路（94-XX）
埃索利德 10篇文献引用(2005–2018) 软件作者： J.Keyser、T.Culver、M.Foskey、S.Krishnan、D.Manocha。 相关软件： MAPC；EXACUS（考克斯）；隔离… 主要字段： 代数几何（14-XX）；数值分析（65-XX）；计算机科学（68-XX）…
亚当 10篇文献引用(2011–2023) 软件作者： Hinkelmann F、Brandon M、Guang B、McNeill R、Blekherman G、Veliz-Cuba A、Laubenbacher R 相关软件： 麦考利2号；金西姆；BoolNet… 主要字段： 代数几何（14-XX）；线性代数和多线性代数；矩阵理论（15-XX）；变分法与最优控制；优化（49-XX）…
RRE公司 8份文件引用(2014–2020) 软件作者： Zonouz，S。；Khurana，H。；桑德斯，W。；T·亚德利。 相关软件： 古罗比；皮特布尔；多边形图… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
SymChaff公司 8份文件引用(2007–2022) 软件作者： 阿什什·萨巴沃尔 相关软件： MiniSat；极乐；nauty… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
累积mm 7份文件引用(2016–2022) 软件作者： 亚历山大·施内尔（Alexander Schnell）；理查德·哈特尔（Richard F.Hartl）。 相关软件： gpremeencemm；PSPLIB；npuScheduler… 主要字段： 总体主题；藏品（00-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
gpremeencemm公司 7份文件引用(2016–2022) 软件作者： 亚历山大·施内尔（Alexander Schnell）；理查德·哈特尔（Richard F.Hartl）。 相关软件： 累积mm；PSPLIB；npuScheduler… 主要字段： 总体主题；藏品（00-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
焊接工艺规范3 7份文件引用(2017–2022) 软件作者： 卡洛斯·安索特吉；乔尔·加布 相关软件： 周六4j；QMaxSAT；CCLS… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
dCAQE公司 6篇文献引用(2019–2022) 软件作者： Tentrup，Leander；马库斯·拉贝。 相关软件： HQPre；iProver；CAQE… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
费泽尔 2份文件引用(2019–2022) 软件作者： Marcelo S.Reis、Gustavo Estrela、Carlos Eduardo Ferreira、Junior Barrera 相关软件： 威卡；ElemStatLearn；吗啡… 主要字段： 阶、格、有序代数结构（06-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
SDSAT公司 4份文件引用(2006–2023) 软件作者： Ganai，马来语K；穆拉利达尔·塔卢普尔；阿尔蒂·古普塔 相关软件： YalSAT；CCAnr；玲玲… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
BI基础 3份文件引用(2008–2012) 软件作者： M.V.锌。 相关软件： FGb；多项式系统数据库；PoSSo… 主要字段： 阶、格、有序代数结构（06-XX）；交换代数（13-XX）；计算机科学（68-XX）…
布尔表达式检查器 3份文件引用(2017–2022) 软件作者： 托比亚斯·尼普科 相关软件： 存档正式证据；Isabelle/HOL；Transition_Systems_and_Automata… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
博斯普鲁斯海峡 3份文件引用(2020–2021) 软件作者： Choo，D.，Soos，M.，Chai，K.M.A.，Meel，K.S。 相关软件： 帕切克；Nusschecker；RevSCA… 主要字段： 阶、格、有序代数结构（06-XX）；交换代数（13-XX）；计算机科学（68-XX）…
单子 3份文件引用(2014–2021) 软件作者： 亚历山大·凯撒；Daniel Kroening；托马斯·沃尔 相关软件： ACL2；veriSoft；SAS… 主要字段： 计算机科学（68-XX）
帕萨特 3份文件引用(2006–2009) 软件作者： Shi，J.、Fey，G.、Drechsler，R.、Glowatz，A.、Hapke，F.、Schlöffel，J。 相关软件： 汉尼拔；苏格拉底；HITEC… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）；信息与通信理论，电路（94-XX）
QuteSAT公司 2份文件引用(2009–2017) 软件作者： Wu，C.A.、Lin，T.H.、Lee，C.C.、Huang，C.Y。 相关软件： 糠；斯基佐；Quantor… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
ADG公司 2份文件引用(2019–2021) 软件作者： Enevoldsen，瑟伦；Larsen，Kim Guldstrand；吉·斯尔巴 相关软件： 塔帕尔；PRISM-游戏 主要字段： 计算机科学（68-XX）
布尔运河化 2份文件引用(2022–2023) 软件作者： 迪米特洛娃，埃琳娜；布兰迪林·斯蒂格勒；卡德尔卡，克劳斯；大卫·默鲁加拉 相关软件： 蟒蛇；麦考利2 主要字段： 信息与通信理论，电路（94-XX）
DDDLIB公司 2份文件引用（2002年-2023年） 软件作者： Jesper B.M\o ller。 相关软件： 存档正式证据；GitHub；OCaml… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
GBOOST公司 1份文件引用(2018) 软件作者： Yung LS1、Yang C、Wan X、Yu W。 相关软件： 随机生存森林；CRAN；ggRandomForests… 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）
STABLE（稳定） 2份文件引用(2014–2018) 软件作者： Pavlenko，E。；韦德勒，M。；斯托菲尔，D。；Kunz，W。；等。 相关软件： 单一；宠物老板；ABC… 主要字段： 交换代数（13-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
电路 1份文件引用(2019) 软件作者： NIST；雷内·佩拉尔塔；路易斯·T·A·N·布兰登；圣达什切克；莫里斯·德沃金；Meltem Sönmez Turan公司 相关软件： github 主要字段： 阶、格、有序代数结构（06-XX）；信息与通信理论，电路（94-XX）
FCbO公司 1份文件引用(2015) 软件作者： P.Krajca、J.Outrata、V.Vychodil 相关软件： FCALGS；关闭中；Fca基岩… 主要字段： 阶、格、有序代数结构（06-XX）；计算机科学（68-XX）
pystablemotifs公司 1份文件引用(2023) 软件作者： Rozum，J.C。；Deritei，D。；Park，K.H。；Gómez Tejeda Zañudo，J。；R·阿尔伯特。 相关软件： – 主要字段： 动力系统与遍历理论（37-XX）；计算机科学（68-XX）