高超声速 320篇文献引用(1996–2024) 软件作者： 汤姆·亨廷格（Tom Henzinger）、裴勇浩（Pei-Hin-Ho）和霍华德·旺托伊（Howard Wong-Toi）。 相关软件： Uppaal；PHAVer；Kronos… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
NuSMV公司 281份文件引用(1999–2024) 软件作者： 亚历山德罗·西马蒂；埃德蒙·克拉克；福斯托·金西格里亚（Fausto Giunchiglia）；马可·罗维里（Marco Roveri）；Roberto Cavada、Michele Dorigatti、Alessandro Mariotti、Andrea Micheli、Sergio Mover、Marco Roveri、Andrei Tchaltsev 相关软件： 自旋蛋白；CUDD；Uppaal… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
CESAR公司 160篇文献引用(1982–2023) 软件作者： Queille，J.P。；J.西法基斯。 相关软件： 自旋蛋白；SLAM；Uppaal… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
ETPS公司 162篇文献引用(1986–2022) 软件作者： Peter Andrews、Matthew Bishop、Chad E.Brown、Sunil Issar、Dan Nesmith、Frank Pfenning、Xi Hongwei 相关软件： TPS；Isabelle/HOL；HOL… 主要字段： 一般性和全局性主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
摩卡 85篇文献引用(1999–2023) 软件作者： Alur，R.，Henzinger，T.A.，Mang，F.Y.C.，Qadeer，S.，Rajamani，S.K.，Tasiran，S。 相关软件： MCMAS；自旋蛋白；棱镜… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
测试程序集 78篇文献引用(1990–2022) 软件作者： Andrews，Peter B。；乍得·E·布朗。 相关软件： TPTP；ETPS；HOL… 主要字段： 一般性和全局性主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
mCRL2型 70篇文献引用(2007–2024) 软件作者： Groote，Jan Friso；Aad Mathijssen；米歇尔·雷尼尔斯（Michel A.Reniers）。；亚罗斯拉夫·乌森科。；蒙克·范·维尔登堡 相关软件： CADP；Uppaal；棱镜… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
凯伊迈拉 55份文件引用(2008–2023) 软件作者： 安德烈·普拉泽；贾·戴维德·奎塞尔 相关软件： SpaceEx；凯伊迈拉X；高科技… 主要字段： 数学逻辑与基础（03-XX）；线性代数和多线性代数；矩阵理论（15-XX）；常微分方程（34-XX）…
沟槽 48篇文献引用(2004–2023) 软件作者： Kastenberg，H.，Rensink，A。 相关软件： AGG；自旋蛋白；GrGen… 主要字段： 一般性和全局性主题；藏品（00-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
Uppaal2k公司 38篇文献引用(2000–2017) 软件作者： 金·拉森（Kim G.Larsen）、王毅（Wang Yi）、保罗·佩特森（Paul Pettersson）、亚历山大·戴维（Alexandre David）、布莱恩·尼尔森（Brian Nielsen）、阿恩·斯科（Arne Skou）、约翰·哈坎森（John Hákansson）、雅各布·伊勒姆·拉斯穆森（Jacob Illum Rasmussen） 相关软件： Uppaal；克罗诺斯；高科技… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
日/日 40篇文献引用(2002–2022) 软件作者： 细辛，尤金；Dang，Thao；奥德·马勒 相关软件： 高科技；PHAVer；SpaceEx… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
CEGAR公司 38篇文献引用(2006–2022) 软件作者： 赫尔曼斯，霍尔格；比约恩·瓦希特；张丽君 相关软件： 棱镜；通过；MRMC… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
jStar公司 32篇文献引用(2008–2022) 软件作者： DiStefano，D.，Parkinson，M。 相关软件： 小脚；VeriFast；Coq… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
HIP（热等静压） 33篇文献引用(2007–2023) 软件作者： 魏恩根；Huu Hai Nguyen；克里斯蒂娜·戴维；克里斯蒂安·吉尔吉纳（Cristian Gherghina）；Quang Loc Le；汤尚乐；阿桑卡亚·夏尔马 相关软件： 小脚；VeriFast；幻灯片… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
凸面.jl 引用于27份文件(2015–2023) 软件作者： Karanveer Mohan、Madeline Udell、David Zeng、Jenny Hong 相关软件： CVX；CVXPY；朱莉娅… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；数值分析（65-XX）…
TAPAAL公司 24篇文献引用(2011–2022) 软件作者： 约阿金·比格；Jørgensen、Kenneth Yrke；吉·斯尔巴 相关软件： Uppaal；TINA；罗密欧… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
毒蛇 在25份文件中引用(2016–2023) 软件作者： 彼得·穆勒（Peter Müller）、马尔特·施沃尔霍夫（Malte Schwerhoff）、亚历山大·萨默斯（Alexander J.Summers） 相关软件： VeriFast；达夫尼；z3… 主要字段： 一般性和全局性主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数值分析（65-XX）…
显示 22篇文献引用(1993–2021) 软件作者： Andraus，Zaher S。；Mark H.Liffiton。；卡伦·萨卡拉。 相关软件： 迷你卫星；MUSer2；HMQV… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
加帕 21篇文献引用(2009–2023) 软件作者： 纪尧姆·梅尔金德 相关软件： Coq；z3；ASTREE… 主要字段： 数学逻辑与基础（03-XX）；实函数（26-XX）；偏微分方程（35-XX）…
TVOC公司 20篇文献引用(2005–2022) 软件作者： 克拉克·巴雷特；方毅；本杰明·戈德伯格（Benjamin Goldberg）；胡莹；阿米尔·普努利；勒诺尔·扎克 相关软件： CVT；Coq；z3… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）
FoC公司 17篇文献引用(2000–2018) 软件作者： 亚尔（Yael）阿巴巴内尔（Abarbanel）；啤酒，伊兰；Gluhovsky，Leonid；雪伦·凯达尔；Wolfsthal，纱线 相关软件： LTL2BA；HOL；旋转… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；系统论；控制（93-XX）…
Alt-Ergo（备用发动机） 在15份文件中引用(2008–2022) 软件作者： Sylvain Conchon、Evelyne Contejean 相关软件： Why3；z3；Coq… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
无级变速器 18篇文献引用（1998年至2021年） 软件作者： 普努利，A。；Shtrickman，O。；西格尔，M。 相关软件： TVOC；CVC；系统C… 主要字段： 数学逻辑与基础（03-XX）；场论与多项式（12-XX）；计算机科学（68-XX）…
FunArray（趣味阵列） 18篇文献引用(2011–2021) 软件作者： 帕特里克·库索特（Patrick Cousot）；拉迪亚·库索特；弗朗西斯科·洛戈佐 相关软件： ASTREE；z3；助推器… 主要字段： 阶、格、有序代数结构（06-XX）；计算机科学（68-XX）
裴楚丘 引用于16份文件(2008–2022) 软件作者： 蒂姆·斯特拉兹尼；罗兰·迈耶；斯文·林克尔 相关软件： MWB；SLMC；ByMC… 主要字段： 数学逻辑与基础（03-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
推断 在15份文件中引用(2015–2023) 软件作者： Calcagno，C.，Distefano，D。 相关软件： 幻灯片；小脚；HIP… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
科根（Cogent） 11份文件引用(2005–2018) 软件作者： 库克，拜伦；Daniel Kroening；娜塔莎·莎莉吉娜 相关软件： 卫星抗体；简化；旋转… 主要字段： 数学逻辑与基础（03-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
西格玛* 14篇文献引用(2013–2022) 软件作者： 马特科·博廷坎（Matko Botinčan）、多马戈伊·巴比奇（Domagoj Babić） 相关软件： 拉利布；libalf；z3… 主要字段： 计算机科学（68-XX）
顶部旋转 11份文件引用(2007–2022) 软件作者： 阿拉斯泰尔·唐纳森；爱丽丝·米勒 相关软件： 自旋蛋白；SymmSpin；间隙… 主要字段： 数学逻辑与基础（03-XX）；群论和概括（20-XX）；计算机科学（68-XX）
fc2工具 12份文件引用(1999–2022) 软件作者： Bouali，A.、Ressouche，A.、Roy，V.、de Simone，R。 相关软件： CADP；到期未结；CAESAR_SOLVE… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）
圣杯 10篇文献引用(2012–2022) 软件作者： K.鲁斯坦·M·莱诺；彼得·米勒；简·斯曼斯 相关软件： VeriFast；布吉；毒蛇… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
CoVaC公司 10篇文献引用(2009–2023) 软件作者： Zaks，A.，Pnueli，A。 相关软件： z3；SeaHorn；布吉… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
VeriCool公司 10篇文献引用(2009–2022) 软件作者： Smans，J.、Jacobs，B.、Piessens，F。 相关软件： 布吉；VeriFast；VCC… 主要字段： 计算机科学（68-XX）
Speedith公司 9份文件引用(2012–2019) 软件作者： Urbas，M.、Jamnik，M.，Stapleton，G.、Flower，J。 相关软件： 超防；伊莎贝尔；迪亚贝利… 主要字段： 数学逻辑与基础（03-XX）；几何（51-XX）；凸和离散几何（52-XX）…
爱马仕 8份文件引用(2005–2009) 软件作者： Bozga，L.、Lakhnech，Y.、Perin，M。 相关软件： AVISPA；卡斯珀；Timbuk… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
终极Automizer 8份文件引用(2015–2022) 软件作者： 马提亚斯·海兹曼；耶尔根基督；丹尼尔·迪奇；埃夫伦·埃尔米斯（Evren Ermis）；Jochen Hoenicke；马库斯·林登曼；亚历山大·纳茨（Alexander Nutz）；席林（Christian Schilling）；安德烈亚斯·波德尔斯基 相关软件： SMT互联网；CBMC；z3… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
AEtnaNova公司 8份文件引用(2011–2018) 软件作者： Eugenio G.Omodeo、Domenico Cantone、Alberto Policriti、Jacob T.Schwartz 相关软件： 裁判；SETL；Mizar… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；复变量函数（30-XX）…
自动校对 7份文件引用(2015–2023) 软件作者： Tschannen，J。；加利福尼亚州福利亚；诺迪奥，M。；北卡罗来纳州波里卡波娃。 相关软件： 达夫尼；VCC；VeriFast… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
EVC公司 8份文件引用(2001–2012) 软件作者： 米罗斯拉夫·韦列夫（Miroslav N.Velev）。；Randal E.布莱恩特。 相关软件： Velev SAT基准；糠；伯克敏… 主要字段： 数学逻辑与基础（03-XX）；场论与多项式（12-XX）；计算机科学（68-XX）…
电动汽车 6篇文献引用(2001–2021) 软件作者： 拉尔斯-奥克·弗雷德隆德；迪利安·古罗夫；托马斯·诺尔；Mads大坝；托马斯艺术；根纳迪·楚格诺夫 相关软件： 埃尔朗；伊莎贝尔；Coq… 主要字段： 计算机科学（68-XX）
FORTRAN-XSC公司 8份文件引用(1993–2000) 软件作者： 沃尔特，W.V。 相关软件： PASCAL-XSC；C-XSC；ACRITH-XSC… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
HMC公司 7份文件引用(2014–2021) 软件作者： Jhala，R.、Majumdar，R.和Rybalchenko，A。 相关软件： z3；垫片；SeaHorn… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
厚板 6篇文献引用(2012–2018) 软件作者： Dräger，K.，Kupriyanov，A.，Finkbeiner，B.，Wehrheim，H。 相关软件： 金刚狼；SLAM；卫星… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
CVPP公司 7份文件引用(2004–2015) 软件作者： 赫斯曼（Marieke Huisman）；古罗夫，帝力 相关软件： MAVEN公司；班德拉；Uppaal… 主要字段： 数论（11-XX）；统计学（62-XX）；计算机科学（68-XX）…
蛋白石 6篇文献引用（2012年至2021年） 软件作者： Dalsgaard，A.E.、Hansen，R.R.、Jörgensen，K.Y.、Larsen，K.G.、Olesen，M.C.、Olsen，P.、Srba，J。 相关软件： Uppaal；算法97；GitHub… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
PREVAIL公司 5份文件引用(1992–2014) 软件作者： 多米尼克·博里奥内；劳伦斯·皮埃尔；阿什拉夫·塞勒姆 相关软件： Nuprl；CoqMTU；Coquet… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
猛禽 7份文件引用(2005–2020) 软件作者： Jeannet B、dArgenio P、Larsen K 相关软件： 棱镜；参数；PROPhESY… 主要字段： 一般性和全局性主题；藏品（00-XX）；数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）…
裁判 7份文件引用(2013–2018) 软件作者： Eugenio G.Omodeo；多梅尼科·坎通纳；阿尔贝托·波利克里蒂；雅各布·T·施瓦茨 相关软件： AEtnaNova；SETL；Mizar… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）
龙卷风 7份文件引用(2020–2022) 软件作者： 索尼娅·贝拉伊德；皮埃尔·埃瓦里斯特·达冈；大流士·麦卡迪尔；马蒂厄·里万；拉斐尔·温特斯多夫 相关软件： maskVerif；github；凯克… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
沙帕尔 6篇文献引用(2016–2023) 软件作者： 莱萨尼、莫森；克里斯蒂安·贝尔（Christian J.Bell）。；亚当·奇利帕拉 相关软件： 铁人舰队；威尔第；z3… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
Verics公司 6篇文献引用(2003–2018) 软件作者： 彼得亚·德米因斯基；阿加塔·雅诺夫斯卡；Pawe Janowskił；沃伊切赫·彭泽克（Wojciech Penczek）；Półrola，阿加塔；马西耶·斯兹特尔（Maciej Szreter）；沃兹纳，博泽纳；安德烈·兹布雷泽兹尼 相关软件： MCMAS；MCK；NuSMV… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融学和其他社会和行为科学（91-XX）
Crowfoot公司 5份文件引用(2011–2015) 软件作者： 纳撒尼尔·查尔顿；本·霍斯福尔（Ben Horsfall）；罗伊斯，伯恩哈德 相关软件： 小脚；VeriFast；jStar… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
伊曼德拉 5份文件引用(2020–2022) 软件作者： 格兰特·奥尼·帕斯莫尔（Grant Olney Passmore）、西蒙·克鲁恩斯（Simon Cruanes）、丹尼斯·伊格纳托维奇（Denis Ignatovich）、戴夫·艾特肯（Dave Aitken）、马特·布雷（Matt Bray 相关软件： VAMPIRE公司；SMT-LIB；芝诺… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
意大利烟草协会 5份文件引用(2011–2015) 软件作者： Cámara，J。；马汀，J.A。；Salaün，G。；库博，J。；Ouederni，M。；运河，C。；皮门特尔，E。 相关软件： 莫德；LTSA-WS；WSAT… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
ProGen公司 5份文件引用(2008–2009) 软件作者： 张晓；王珊；莉安（Lian，Na） 相关软件： PSPLIB；禁忌搜索 主要字段： 积分方程（45-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Stabhyli公司 5份文件引用(2013–2020) 软件作者： 莫尔曼，艾克；奥利弗·泰尔 相关软件： 平均值；SpaceEx；PPL… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
AGVI公司 引用于3份文件(2001–2018) 软件作者： 宋，黎明；阿德里安·佩里格（Adrian Perrig）；多安塔姆·潘 相关软件： JavaSPI；MJ；Spi2Java… 主要字段： 计算机科学（68-XX）
卡米 4份文件引用(2018–2021) 软件作者： Choi，J.、Vijayaraghavan，M.、Sherman，B.、Chlipala，A.、Arvind 相关软件： Coq；github；Coquet… 主要字段： 计算机科学（68-XX）
备忘录 引用于3份文件(2014–2020) 软件作者： 阿卜杜拉，帕罗什·阿齐兹；穆罕默德·法乌齐（Mohamed Faouzi Atig）；陈玉芳；Carl Leonardsson；艾哈迈德·雷津 相关软件： 小卧室；Mcmt；检查围栏… 主要字段： 计算机科学（68-XX）
ProMoVer公司 4份文件引用(2011–2016) 软件作者： Siavash Soleimanifard；古罗夫，帝力；玛丽克·赫斯曼 相关软件： MAVEN公司；DeltaCCS；MSTA… 主要字段： 一般性和全局性主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
SAFE代码 4份文件引用(2008–2013) 软件作者： Dhurjati，D.，Kowshik，S.，Adve，V。 相关软件： CCured公司；Coq；有限责任公司 主要字段： 一般性和全局性主题；藏品（00-XX）；计算机科学（68-XX）
Sawja公司 4份文件引用(2011–2022) 软件作者： 劳伦特·休伯特（Laurent Hubert）；巴尔，尼古拉斯；贝松，Fr‘ed’eric；Demange，Delphine；托马斯·延森（Thomas Jensen）；文森特·蒙福特；大卫·皮哈迪（David Pichardie）；蒂芬·特平 相关软件： WALA；PAGAI；深悟空… 主要字段： 计算机科学（68-XX）
UML秒 2份文件引用(2014–2018) 软件作者： Jürjens J、Shabalin P、Alter E、Gilg A、Höhn S、Kopjev D、Lehrhuber M、Schwarzmüller S、Shen S 相关软件： 跳跃；TGV；LUSTRE… 主要字段： 计算机科学（68-XX）
资本支出 引用于3份文件(2017–2021) 软件作者： 托马斯·丁斯代尔·扬（Thomas Dinsdale-Young）；佩德罗·达罗查·平托；安徒生，克里斯托弗公正；拉尔斯·比克达尔 相关软件： 蝰蛇；VeriFast；草蜢… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
ERA-PAT公司 2份文件引用(2014–2021) 软件作者： 林尚伟；刘，杨；孙军；董金松；埃蒂安·安德烈 相关软件： 拍打；ProB；PDDL… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）
LDYIS公司 引用于3份文件（2008年至2011年） 软件作者： 阿莱西奥·洛穆西奥；沃伊切赫·彭泽克 相关软件： MCMAS-X；MCMAS；Casper… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
PolyPaver公司 引用于3份文件(2014–2018) 软件作者： 米查尔·科内奇、扬·杜拉茨 相关软件： CkAnalytic；泰勒；大写… 主要字段： 动力系统与遍历理论（37-XX）；数值分析（65-XX）；计算机科学（68-XX）
简单APL 引用于3份文件(2006–2016) 软件作者： Alechina，N。；Dastani，M。；Khan，F。；洛根，B。；梅耶，J.-J.Ch。 相关软件： 2APL；AgentSpeak；杰森… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
验证器 引用于3份文件(2016–2019) 软件作者： 高弘久保田；Kakutani、Yoshihiko；加藤，加油；川野康仁；樱田秀树 相关软件： QPL；质量管理体系；QPMC… 主要字段： 计算机科学（68-XX）；量子理论（81-XX）
架构（ArchC） 2份文件引用(2005–2010) 软件作者： 阿泽夫多、鲁道夫；Sandro Rigo；马库斯·巴塞洛梅乌；阿劳霍，圭多；克里斯蒂亚诺·阿劳霍；埃德娜·巴罗斯 相关软件： aiT；MiBench公司；MediaBench… 主要字段： 计算机科学（68-XX）
坎比 2份文件引用(2017–2019) 软件作者： Akhilesh Srikanth；Burak Sahin；威廉·R·哈里斯。 相关软件： 石笼SCC；CAVA LTL模型检查器；Coq… 主要字段： 计算机科学（68-XX）
DynaMate公司 1份文件引用(2015) 软件作者： Galeotti，J.P.、Furia，C.A.、May，E.、Fraser，G.、Zeller，A 相关软件： 灵华；VAMPIRE公司；KeY… 主要字段： 计算机科学（68-XX）
向ATINF致敬 2份文件引用(2001–2012) 软件作者： 卡费拉、里卡多；尼古拉斯·佩尔蒂埃（Nicolas Peltier）；弗朗索瓦·普伊特 相关软件： GEX；日本国债交易所；发现者… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
链接 2份文件引用(2002–2017) 软件作者： 哈伯特，L。；诺丁，J.-M。；加尔米奇博士。 相关软件： JGraph；工作流FM；HOL灯… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
新加坡金融管理局 2份文件引用(2014–2015) 软件作者： 马来亚，N.，Estacio-Hiroms，K.C.，Stogner，R.H.，Schulz，K.W.，Bauman，P.T.，Carey，G.F。 相关软件： Spalart Allmaras公司；libMesh；PETSc… 主要字段： 可变形固体力学（74-XX）；流体力学（76-XX）
辅助验证程序 2份文件引用(2015–2018) 软件作者： 李永坚；Pang，Jun；吕毅；范东瑞；曹、申；段凯强 相关软件： 小卧室；Isabelle/HOL；伊莎贝尔 主要字段： 计算机科学（68-XX）
SeVe公司 2份文件引用(2012–2015) 软件作者： Luu，Anh Tuan；孙军；刘，杨；董金松 相关软件： 棱镜；拍打；Casper… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
乳酪 1份文件引用(2020) 软件作者： Nakano，M.、Ogata，K.、Nakamura，M.和Futatsugi，K。 相关软件： OBJ咖啡馆；SPASS；CiMPG… 主要字段： 计算机科学（68-XX）
EthVer公司 1份文件引用(2021) 软件作者： 尤卡斯·马祖雷克 相关软件： 地幔；甲氰菊酯；Why3… 主要字段： 博弈论、经济学、金融和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）
HALO3D系统 在0个文档中引用 软件作者： 文森特·卡索；张文波；马利卡琼（Mallikarjun）、什鲁塔基尔蒂（Shrutakeerti）；哈巴什（Wagdi G.Habashi）。；高，宋；阿伯法兹·卡沙尼 相关软件： – 主要字段： 流体力学（76-XX）
ST-Lib型 1份文件引用(2019) 软件作者： J.Kapinski、X.Jin、J.Deshmukh、A.Donzé、T.Yamaguchi、H.Ito、T.Kaga、S.Kobuna、S.A.Seshia 相关软件： S-TaLiRo公司 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）