爆炸 111篇文献引用（2003年至2022年） 软件作者： 托马斯·亨辛格（Thomas A.Henzinger）。；Jhala，Ranjit；Rupak Majumdar；格雷戈伊尔·萨特雷 相关软件： SLAM；CPA检查员；CBMC… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
西洋陆军棋 77份文件引用(2001–2022) 软件作者： 伊尔科Visser 相关软件： 莫德；汤姆；ELAN… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
CiaoPP公司 51篇文献引用（1999年至2022年） 软件作者： Hermenegildo M.V.、Bueno F.、Puebla G.、Lopez P。 相关软件： Ciao；SICStus公司；汞… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
新加坡 38篇文献引用(2001–2022) 软件作者： M.J.霍尔斯特。 相关软件： APBS；FreeFem++；CHARMM… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
克莱尔 32篇文献引用(1998–2019) 软件作者： 伊夫·卡索；弗朗索瓦·沙维尔（François-Xavier），约塞特（Josset）；弗朗索瓦·拉伯特 相关软件： 奥兹；乔科；SALSA… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
jStar公司 32篇文献引用(2008–2022) 软件作者： DiStefano，D.，Parkinson，M。 相关软件： 小脚；VeriFast；Coq… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
测试时代 16篇文献引用(2002–2020) 软件作者： 马里诺夫，D；库尔希德，南 相关软件： 科拉特；Symstra公司；TACO… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
铭文 23篇文献引用(2005–2023) 软件作者： 康纳·麦克布赖德 相关软件： Coq；阿格达；哈斯克尔… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；代数拓扑（55-XX）…
绿洲 21篇文献引用(1990–2009) 软件作者： 阿列克谢·库丘莫夫；谢尔盖·赖宾（Sergey Rybin）；阿尔弗雷德·斯特罗梅尔 相关软件： ADML；C4.5；Oracle… 主要字段： 数论（11-XX）；数值分析（65-XX）；计算机科学（68-XX）…
FunArray（趣味阵列） 18篇文献引用(2011–2021) 软件作者： 帕特里克·库索特（Patrick Cousot）；拉迪亚·库索特；弗朗西斯科·洛戈佐 相关软件： ASTREE公司；z3；助推器… 主要字段： 阶、格、有序代数结构（06-XX）；计算机科学（68-XX）
雅加达 17篇文献引用(2001–2014) 软件作者： 丹妮拉·朱尼奥·德安德拉德（Daniela Junho de Andrade）、圣母玛利亚·德索萨（Simáo Melo de Sousa） 相关软件： Coq；OCaml；LETOS… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；地球物理学（86-XX）…
驯鹿 14篇文献引用(2004–2012) 软件作者： O.Fissoor、I.Gneedig、H.Kirchner 相关软件： 莫德；AProVE；ELAN… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
西格玛* 14篇文献引用(2013–2022) 软件作者： 马特科·博廷坎（Matko Botinčan）、多马戈伊·巴比奇（Domagoj Babić） 相关软件： 拉利布；libalf；z3… 主要字段： 计算机科学（68-XX）
悉尼商学院 13份文件引用(2014–2021) 软件作者： 李毅；Albarghouthi，Aws；扎卡里·金凯；阿里·古芬克尔（Arie Gurfinkel）；玛莎·契契克 相关软件： z3；vZ；OptiMathSAT… 主要字段： 数学逻辑与基础（03-XX）；常微分方程（34-XX）；计算机科学（68-XX）…
克拉托斯 在10份文件中引用(2011–2022) 软件作者： A.Cimatti、A.Griggio、A.Micheli、I.Narasamdya、M.Roveri 相关软件： 爆炸；系统C；NuSMV… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
VeriCool公司 在10份文件中引用(2009–2022) 软件作者： Smans，J.、Jacobs，B.、Piessens，F。 相关软件： 布吉；VeriFast；VCC… 主要字段： 计算机科学（68-XX）
萨帕托 11份文件引用(2004–2018) 软件作者： Ball，T.、Cook，B.、Lahiri，S.K.、Zhang，L。 相关软件： CVC-Lite；糠；E定理证明器… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
公共回路 9份文件引用(1986–2021) 软件作者： Bobrow，D。；Kahn，K。；Kiczales，G。；Masinter，L。；斯特菲克，M。；Zdybel，F。 相关软件： 埃菲尔；Smalltalk；LISP… 主要字段： 组合数学（05-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
拉赫夫特 9份文件引用（2018年-2023年） 软件作者： Kafle，B.，Gallagher，J.P.，Morales，J.F。 相关软件： z3；SeaHorn；垫片… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
终极Automizer 8份文件引用(2015–2022) 软件作者： 马提亚斯·海兹曼；耶尔根基督；丹尼尔·迪特施（Daniel Dietsch）；埃夫伦·埃尔米斯（Evren Ermis）；Jochen Hoenicke；马库斯·林登曼；亚历山大·纳茨（Alexander Nutz）；席林（Christian Schilling）；安德烈亚斯·波德尔斯基 相关软件： SMT互联网；CBMC；z3… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
特克莱姆 6篇文献引用(2005–2008) 软件作者： 德尼古拉（De Nicola）、罗科（Rocco）；丹妮尔·戈拉；罗萨里奥·普格利泽 相关软件： 科莱姆；琳达；克拉瓦… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
狂热的 7份文件引用(2011–2021) 软件作者： Foster，N.、Harrison，R.、Freedman，M.J.、Monsanto，C.、Rexford，J.、Story，A.、Walker，D。 相关软件： NetKAT；荨麻；VeriCon… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
艾朱利安 5份文件引用(2014–2020) 软件作者： 阿尔普恩特，玛丽亚；巴利斯、德米斯；弗朗西斯科·弗雷奇纳；朱莉娅·萨皮娜 相关软件： 莫德；Web-TLR；动画… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
LMS公司 5份文件引用(2010–2022) 软件作者： 蒂亚克·隆普夫（Tiark Rompf），马丁·奥德斯基（Martin Odersky） 相关软件： 科卡；博客；TMB… 主要字段： 计算机科学（68-XX）
PRECiSA公司 6篇文献引用(2018–2022) 软件作者： 劳拉·蒂托洛；马可·A·费利乌。；玛丽亚诺·莫斯卡托；塞萨尔·穆尼奥斯。 相关软件： RangeLab；z3；ASTREE… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
PyQUBO公司 4份文件引用(2021–2022) 软件作者： Mashiyat Zaman、Kotaro Tanahashi、Shu Tanaka 相关软件： ToQ.jl；古罗比；SymPy… 主要字段： 计算机科学（68-XX）；量子理论（81-XX）；运筹学，数学编程（90-XX）
辛巴 4份文件引用(2001–2010) 软件作者： Systä，Tarja；Koskimies，Kai；穆勒，豪西 相关软件： 里吉；代码爬虫；SkuAVisit… 主要字段： 计算机科学（68-XX）
细胞-模拟 4份文件引用(2008–2014) 软件作者： 肖恩·塞德瓦兹（Sean Sedwards）、托马索·马扎（Tommaso Mazza） 相关软件： BlenX；COPASI；生物-PEPA 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
瓶 3份文件引用(2010–2011) 软件作者： 大陆，G.、莫里塞特，G.，威尔士，M。 相关软件： MiniML；标签；Ynot… 主要字段： 计算机科学（68-XX）；系统论；对照组（93-XX）；信息与通信理论，电路（94-XX）
梅林 5份文件引用(2013–2017) 软件作者： Livshits VB、Nori AV、Rajamani SK、Banerjee A 相关软件： JavaScript；萨纳尔；TAJ… 主要字段： 计算机科学（68-XX）
DiSL公司 2份文件引用(2016–2022) 软件作者： 卢卡什·马雷克（LukášMarek）、郑宇迪（Yudi Zheng 相关软件： 阿克卡普洛夫；JMeter；Kieker… 主要字段： 计算机科学（68-XX）
拉克维特 4份文件引用(2000–2012) 软件作者： 奥卡拉汉，R.W。；D.杰克逊。 相关软件： 解释；STP；ASTREE… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）
ProMoVer公司 4份文件引用(2011–2016) 软件作者： Siavash Soleimanifard；古罗夫，帝力；玛丽克·赫斯曼 相关软件： MAVEN公司；DeltaCCS；MSTA… 主要字段： 一般性和全局性主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
威斯特利亚 4份文件引用(2016–2023) 软件作者： 拉斯托吉，A.，哈默，M.A.，希克斯，M。 相关软件： JustGarble；HyCC；分享者… 主要字段： 计算机科学（68-XX）；粒子和系统力学（70-XX）；信息与通信理论，电路（94-XX）
CAPLib公司 3份文件引用(2000–2006) 软件作者： Leggett，P.F。；约翰逊，S.P。；克罗斯，M。 相关软件： CAPTools；MatWeb；SHMEM… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；流体力学（76-XX）
焦点检查 2份文件引用(2005–2006) 软件作者： 柯蒂斯·W·凯勒。；Diptikalyan Saha；萨米克·巴苏；斯科特·斯莫尔卡。 相关软件： 卫星抗体；奥兹；DiVer… 主要字段： 计算机科学（68-XX）
符号Pa 3份文件引用(2012–2017) 软件作者： 阿拉斯泰尔·唐纳森。；亚历山大·凯撒；Daniel Kroening；Michael Tautschnig；托马斯·瓦尔 相关软件： 螺纹工；魔法；ASTREE… 主要字段： 计算机科学（68-XX）
繁荣 在0个文档中引用 软件作者： Gerard Basler；马修·黑格；Daniel Kroening；Ong，C.H.卢克；托马斯·沃尔（Thomas Wahl）；赵浩贤 相关软件： SatAbs公司 主要字段： –
编辑器箭头 1份文件引用（2013年） 软件作者： 彼得·阿希顿；马克·范·埃克伦；马尔滕·德莫尔；Plasmeijer，里努斯 相关软件： 火花；快速分拣；PVS… 主要字段： 计算机科学（68-XX）
曝光器 2份文件引用(2021) 软件作者： Khoo，Y.P.，Foster，J.S.，Hicks，M 相关软件： 校对工具；哈斯克尔；半环 主要字段： 计算机科学（68-XX）；运筹学，数学编程（90-XX）
MinC公司 2份文件引用(2016) 软件作者： Ed Robbins；安迪·金；汤姆·施里杰弗斯 相关软件： MinX公司 主要字段： 一般性和全局性主题；藏品（00-XX）；计算机科学（68-XX）
OMUSE公司 2份文件引用(2017–2020) 软件作者： Inti Pelupessy；本·范·维尔霍文（Ben van Werkhoven）；阿尔延·范·埃尔特伦（Arjen van Elteren）；扬·维巴恩（Jan Viebahn）；亚当·坎迪；西蒙·波特基斯·兹瓦特；亨克·迪克斯特拉 相关软件： CRCP；数字Py；Python… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
TravMC公司 2份文件引用(2012–2017) 软件作者： 罗宾·P·尼瑟韦。；史蒂文·拉姆齐（Steven J.Ramsay）。；王志浩（音） 相关软件： TravMC2；github；MoCHi… 主要字段： 计算机科学（68-XX）
VIFID/TRIFID公司 2份文件引用(2009–2016) 软件作者： 曼纽尔·卡罗；曼努埃尔·赫梅内吉尔多 相关软件： DiSCiPl；Oz Explorer；COMET… 主要字段： 计算机科学（68-XX）；运筹学，数学编程（90-XX）
防抱死制动系统 1份文件引用(2022) 软件作者： 亚历山大·韦伯（Alexander Weber）；马科维奇克（Macoveiciuc）、伊利赛（Elisei）；冈瑟·雷西格 相关软件： AROC；GRKLib；p面… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
深海 1份文件引用(2021) 软件作者： Sjöberg，V.、Sang，Y.、Weng，S.c.、Shao，Z。 相关软件： solc-verify；版本X 主要字段： 博弈论、经济学、金融和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）
熟食店 1份文件引用(2002) 软件作者： 朱塞佩·德索利；尼古拉·马泰耶夫；伊芙琳·杜斯特瓦尔德；保罗·法拉博斯基（Paolo Faraboschi）；乔什·费舍尔 相关软件： MiBench公司 主要字段： 计算机科学（68-XX）
Silq公司 1份文件引用(2023) 软件作者： 本杰明·比谢尔（Benjamin Bichsel）；Timon Gehr；马克西米利安·巴德；马丁·维切夫 相关软件： QISKit公司 主要字段： 计算机科学（68-XX）；量子理论（81-XX）
稳定TBN 1份文件引用(2021) 软件作者： 戴维·哈雷（David Haley）；大卫·多蒂 相关软件： 4ti2；OR-tools；z3… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
终极大班 1份文件引用(2018) 软件作者： Greitschus，M.、Dietsch，D.、Heizmann，M.，Nutz，A.、Schätzle，C.、Schilling，C.、Shüssele，F.、Podelski，A。 相关软件： 终极Kojak；皮肤；CPA检查器… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
可变气门正时（VVT） 1份文件引用(2017) 软件作者： 亨宁·贡瑟；阿尔芬斯·拉阿尔曼（Alfons Laarman）；西蒙·扬奇 相关软件： CTIGAR公司 主要字段： 计算机科学（68-XX）