Gecode公司 85篇文献引用(2007–2023) 软件作者： 克里斯蒂安·舒尔特（Christian Schulte），KTH皇家理工学院 相关软件： 微量锌；CPLEX；Choco… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
序言 58篇文献引用(1984–2022) 软件作者： 丹尼尔·迪亚兹 相关软件： SICStus公司；SWI Prolog公司；芯片… 主要字段： 数理逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
人力资源 27篇文献引用(2002–2022) 软件作者： 西蒙·科尔顿 相关软件： 涂鸦；水獭；梅斯4… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；组合数学（05-XX）…
GASP公司 18篇文献引用(2008–2022) 软件作者： 亚历山德罗·达尔·帕鲁；阿戈斯蒂诺·多维尔；恩里科·蓬泰利（Enrico Pontelli）；吉安弗兰科·罗西 相关软件： 克林戈；格林戈；黄蜂… 主要字段： 计算机科学（68-XX）
立方厘米（FD） 18篇文献引用(1998–2022) 软件作者： 范·亨特利克（Van Hentenryck），帕斯卡（Pascal）；维杰·萨拉斯瓦特；伊夫·迪维尔 相关软件： CPLEX；彗星；Choco… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
中国科学院科学院 18篇文献引用(2018–2023) 软件作者： 华金·阿里亚斯（Joaquin Arias）、曼努埃尔·卡罗（Manuel Carro）、埃尔默·萨拉查（Elmer Salazar）、凯尔·马普尔（Kyle Marple）、戈帕尔·古普塔（Gopal Gupta） 相关软件： 克林戈；ezcsp；GitHub… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
拉丁语 17篇文献引用(2011–2021) 软件作者： Codescu，Mihai；霍罗扎尔、富利亚；Michael Kohlhase；莫萨科夫斯基，蒂尔；弗洛里安·拉贝 相关软件： MMT；OMDoc；伊莎贝尔… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
DCCP公司 10篇文献引用(2017–2023) 软件作者： 沈欣悦、史蒂文·戴蒙德、顾元涛、斯蒂芬·博伊德 相关软件： CVXPY；CVX；古罗比… 主要字段： 几何（51-XX）；凸和离散几何（52-XX）；统计学（62-XX）…
VHPOP（VHPOP） 10篇文献引用(2003–2021) 软件作者： Younes，H.L.S。；R.G.西蒙斯。 相关软件： 图形平面图；PDDL；UCPOP… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）
clpfd公司 6篇文献引用(2014–2022) 软件作者： 马库斯·特里斯卡 相关软件： SWI Prolog公司；Prolog；SICStus… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）
GePUP公司 8份文件引用(2016–2021) 软件作者： 张，青海 相关软件： 火星；AMRCFI；SADoRe… 主要字段： 数理逻辑与基础（03-XX）；常微分方程（34-XX）；偏微分方程（35-XX）…
PolyMat公司 8份文件引用(2020–2023) 软件作者： 桑德斯，E.D。；佩雷拉，A。；Aguiló，医学硕士。；G.H.保利诺。 相关软件： PolyTop；压力_3D_敏感性；Matlab… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；可变形固体力学（74-XX）…
第二部分 5份文件引用（2009年至2022年） 软件作者： Kemafor-Anyanwu公司；安吉拉·马杜科；阿米特·谢斯 相关软件： SPARQL；耶拿；XPath… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
CaSPER公司 6篇文献引用(2007–2013) 软件作者： Correia，M.、Barahona，P.、Azevedo，F.、。 相关软件： 小精灵；通用电气；CSPLib… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
CPBPV公司 4份文件引用（2010年-2023年） 软件作者： 赫莱内·科拉维扎；米歇尔·鲁赫（Michel Rueher）；帕斯卡·范·亨特利克 相关软件： TCAS；CBMC；VIPR… 主要字段： 计算机科学（68-XX）
URSA公司 6篇文献引用(2012–2022) 软件作者： 贾尼奇，P。 相关软件： z3；卡环；MiniSat… 主要字段： 几何（51-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
CCUBE公司 4份文件引用（1997年至2013年） 软件作者： A.Brodsky、V.Segal、J.Chen、P.Exarkhopoulo 相关软件： XQuery；抒情的；DEDALE… 主要字段： 计算机科学（68-XX）
TCHR公司 4份文件引用(2008–2019) 软件作者： 汤姆·施里杰弗斯（Tom Schrijvers）；Bart Demoen；大卫·沃伦。 相关软件： XSB；炸薯条；SWI-预测… 主要字段： 计算机科学（68-XX）；经典热力学，传热（80-XX）
CAMA公司 4份文件引用(2008–2016) 软件作者： 刘聪；安德烈亚斯·库尔曼（Andreas Kuehlmann）；马修·莫斯克维奇 相关软件： 微量锌；米斯特拉尔；iZplus… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
法西乐 引用于3份文件(2005–2009) 软件作者： 巴尼尔，N.，布里塞特，P。 相关软件： 乔科；ProB；Gecode… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）
科梅特 4份文件引用(2002–2005) 软件作者： Calmet，J.，Jekutsch，S.，Kullmann，P.，Schü，J。 相关软件： FRIL；PVS；SPASS… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
幸运 4份文件引用(2017–2021) 软件作者： Lampropoulos，列奥尼达斯；戴安·加洛瓦·旺；Hriţcu，科特林；约翰·休斯；本杰明·皮尔斯（Benjamin C.Pierce）。；夏、李耀 相关软件： 快速检查；PVS；Isabelle/HOL… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
SCIP计划 引用于3份文件(2019–2022) 软件作者： 说吧，巴斯尔；斯科特·桑纳 相关软件： 结肠；TensorFlow；SCIP… 主要字段： 计算机科学（68-XX）；运筹学，数学编程（90-XX）
Codac公司 2份文件引用(2021–2022) 软件作者： 西蒙·罗霍（Simon Rohou）；德罗切斯，贝诺特 相关软件： 戴恩拜克斯；痤疮；JuliaReach… 主要字段： 系统论；控制（93-XX）
CompoSAT公司 2份文件引用(2018–2022) 软件作者： Porncharoenwase，索拉维；蒂姆·纳尔逊（Tim Nelson）；克里希纳穆提，施莱姆 相关软件： MiniSat；科科德；梅斯4… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
迷你黄铜 2份文件引用(2018–2023) 软件作者： 亚历山大·席恩多夫；亚历山大·纳普（Alexander Knapp）；Gerrit Anders；沃尔夫冈·雷夫 相关软件： 微量锌；JuMP；古罗比… 主要字段： 运筹学，数学编程（90-XX）
PRODeep公司 2份文件引用(2021) 软件作者： 李锐，李杰，黄CC，杨P，黄X，张L，薛B，Hermanns H 相关软件： Reluplex；马拉博；阿波罗… 主要字段： 计算机科学（68-XX）
TerpreT公司 在0个文档中引用 软件作者： 亚历山大·冈特（Alexander L.Gaunt）、马克·布洛克施密特（Marc Brockschmidt 相关软件： Scikit；Clojush；按下… 主要字段： ——
阿尔卑斯山.jl 1份文件引用(2019) 软件作者： Bent，R.、Nagarajan，H.、Sundar，K.、Wang，S.、Hijazi，H。 相关软件： JuMP；GloMIQO；GitHub… 主要字段： 运筹学，数学编程（90-XX）
Embo公司 在0个文档中引用 软件作者： Eugenio Piasini、Alexandre L.S.Filippowicz、Jonathan Levine、Joshua I.Gold 相关软件： Matplotlib；SciPy；数字标识… 主要字段： ——
彭罗斯 1份文件引用(2021) 软件作者： K.Ye、W.Ni、M.Krieger、D.Ma'ayan、J.Wise、J.Aldrich、J.Sunshine、K.Crane 相关软件： TensorFlow；MMP/Geometer；GEOTHER 1.1… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
急板地 1份文件引用(2022) 软件作者： 塞纳帕蒂，德布拉塔；阿纳布·萨卡尔（Arnab Sarkar）；钱丹·卡法 相关软件： iFogSim；CPLEX公司 主要字段： 计算机科学（68-XX）