乐高 116篇文献引用(1991–2023) 软件作者： 罗，Z.，波拉克，R。 相关软件： Coq；Nuprl；自动… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
PESSOA公司 26篇文献引用(2011–2022) 软件作者： 普里塔姆·罗伊；保罗·塔布阿达；鲁帕克·马朱姆达尔 相关软件： SCOTS；科西马；TuLiP… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融学和其他社会和行为科学（91-XX）…
科西马 16篇文献引用（2015年至2022年） 软件作者： 穆尔希，塞卜蒂；安托万·吉拉德；格雷戈·戈斯勒 相关软件： SCOTS；佩索阿；TuLiP… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）
MCGP公司 12份文件引用(2008–2021) 软件作者： Gal Katz；多龙·贝利德 相关软件： 棱镜；LTL2BA；旋转… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
解除束缚 12份文件引用(2011–2023) 软件作者： 吕迪格·埃勒斯 相关软件： 相思树+；条纹；BoSy… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
STCT公司 10篇文献引用(2002–2023) 软件作者： 张忠华；W.M.温汉姆。 相关软件： UMDES；TCT；Supremica… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Verilog公司 9份文件引用(1999–2020) 软件作者： 斯图亚特·萨瑟兰 相关软件： VPI；电源保护；卡米… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
塞瓦 4份文件引用(1989–2002) 软件作者： N.公园；A.C.帕克 相关软件： MAHA；MIMOLA公司；森林狼… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）…
辛西娅 8份文件引用(2012–2022) 软件作者： Peter，H.-J.，Ehlers，R.，Mattmüller，R。 相关软件： UPPAAL TIGA；Uppaal；棱镜… 主要字段： 动力系统与遍历理论（37-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
交通 8份文件引用（2015年至2022年） 软件作者： Udupa，A.、Raghavan，A.、Deshmukh，J.V.、Mador-Haim，S.、Martin，M.M.、Alur，R。 相关软件： CVC4；z3；简单… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
X模糊 5份文件引用(2001–2021) 软件作者： D.R.Lopez；C.J.Jimenez；I.巴图隆；A.巴里加；S.桑切斯·索拉诺 相关软件： XFL3；NEFCLASS-X；FuzzyLogic.jsl… 主要字段： 一般性和全局性主题；藏品（00-XX）；计算机科学（68-XX）；系统论；控制（93-XX）…
AmiCo公司 8份文件引用(2017–2023) 软件作者： Jasmin Christian布兰切特；Bouzy，艾默尔；安德烈亚斯·洛赫比勒；安德烈·波佩斯库；德米特里·特拉泰尔 相关软件： Isabelle/HOL；精益；Paco… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）
级联 8份文件引用(2000–2008) 软件作者： Jochen Beister、Gernot Eckstein、Ralf Wollowski 相关软件： 级联 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；统计力学，物质结构（82-XX）…
合成 7份文件引用(2008–2012) 软件作者： 奥蒂利，M。；因弗拉迪，P。；纳瓦拉，A。；Tivoli，M。 相关软件： 杰斯；SOFA 2.0；ITACA… 主要字段： 计算机科学（68-XX）
MAHA公司 5份文件引用（1995-2007年） 软件作者： A.Parker、J.Pizarro、M.Mlinar 相关软件： Sehwa；火焰；森林狼… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）…
Sycraft公司 6篇文献引用(2009–2015) 软件作者： B.博纳克达尔普尔，S.库尔卡尼 相关软件： CUDD；Uppaal；Vertaf… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
SyReC公司 7份文件引用(2012–2023) 软件作者： Wille，R.、Offermann，S.、Drechsler，R。 相关软件： RevLib；LRinv；Quipper… 主要字段： 计算机科学（68-XX）；量子理论（81-XX）；信息与通信理论，电路（94-XX）
利亚巴斯 6篇文献引用(1969–2013) 软件作者： 加夫里洛夫，医学硕士。；扎克列夫斯基。 相关软件： APL公司 主要字段： 历史与传记（01-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
QUASY公司 6篇文献引用(2011–2021) 软件作者： 克里希南德·查特吉；托马斯·亨辛格。；巴巴拉·乔布斯曼（Barbara Jobstmann）；罗希特·辛格 相关软件： 棱镜；摩卡；PRISM-games… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融学和其他社会和行为科学（91-XX）…
安倍硫磷 3份文件引用(1998–2010) 软件作者： Lowry，M.R.，Philpot，A.，Pressburger，T.，Underwood，I 相关软件： 火花；蛤；牡蛎… 主要字段： 计算机科学（68-XX）
Sapo公司 5份文件引用(2017–2022) 软件作者： 德罗西T 相关软件： SpaceEx；高科技；违约… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）
干燥VR 4份文件引用(2017–2021) 软件作者： 齐、伯伦；樊楚楚；姜明浩；萨扬·密特拉 相关软件： S-TaLiRo；安慰；完成… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
鲁棒填充 4份文件引用(2019–2023) 软件作者： 雅各布·德夫林；约纳森·尤萨托（Jonathan Uesato）；苏里亚布帕提拉朱；里沙巴·辛格；阿卜杜勒·拉赫曼·穆罕默德；科利，普希米特 相关软件： SQLizer；推动；PyshGP… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）
自动同步 3份文件引用(2009–2012) 软件作者： 怀、金鹏；邓婷；李宪贤；杜宗霞；郭慧鹏 相关软件： WSAT；NuSMV；LTSA-WS… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
DSSynth公司 2份文件引用(2017–2020) 软件作者： 亚历山德罗·阿巴特；伊奥里·贝萨；达里奥·卡塔鲁扎；卢卡斯·科尔代罗（Lucas Cordeiro）；克里斯蒂娜·大卫；帕斯卡·凯塞利（Pascal Kesseli）；丹尼尔·克罗宁 相关软件： PESSOA；升压间隔算法；CBMC… 主要字段： 系统论；控制（93-XX）
LTSA-MSC公司 1份文件引用(2003) 软件作者： 塞巴斯蒂安·乌奇特尔；罗伯特·查特利（Robert Chatley）；Jeff Kramer；杰夫·马吉 相关软件： 装饰 主要字段： 计算机科学（68-XX）
TerpreT公司 在0个文档中引用 软件作者： 亚历山大·冈特（Alexander L.Gaunt）、马克·布洛克施密特（Marc Brockschmidt 相关软件： Scikit；小丑；按下… 主要字段： –
门德尔斯 1份文件引用(1988) 软件作者： 内希拉（Uchihira）、内希（Naoshi）；松本一郎（Kazunori Matsumoto）；Honiden，Shinichi；中村秀雄 相关软件： – 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
支付 1份文件引用(2022) 软件作者： Andriushchenko，R。；乔什卡，M。；Junges，S。；卡托恩，J-P；斯图品斯克。；席尔瓦，A。；KRM莱诺 相关软件： PDDL；通过；PROPhESY… 主要字段： 计算机科学（68-XX）
PuRSUE公司 1份文件引用(2020) 软件作者： 马尔塞洛·M·贝尔萨尼。；索尔多，马蒂奥；克劳迪奥·蒙吉（Claudio Menghi）；佩利奇奥内，帕特里齐奥；罗西，马蒂奥 相关软件： LTLMoP；活性氧；NuSMV… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
PyLog软件 1份文件引用(2021) 软件作者： 黄思涛；吴坤；Jeong，Hyunmin；王成岳；陈德铭；吴文梅 相关软件： AutoSA；PYNQ；PyRTL… 主要字段： 计算机科学（68-XX）
电子表格编码器 1份文件引用(2023) 软件作者： 陈新云；马尼亚蒂斯（Maniatis），Petros；里沙巴·辛格；查尔斯·萨顿（Charles Sutton）；戴、韩军；林，马克斯；周，丹尼 相关软件： 推动；PyshGP；PushGP… 主要字段： 计算机科学（68-XX）