伊莎贝尔/HOL 1076份文件引用(1996–2024) 软件作者： 沃尔夫冈·纳拉斯切夫斯基（Wolfgang Naraschewski）；托比亚斯·尼普科 相关软件： 伊莎贝尔；Coq；HOL… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）…
伊莎贝尔 742份文件引用(1990–2024) 软件作者： 拉里·保尔森（Larry Paulson）、托比亚斯·尼普科（Tobias Nipkow）、马卡里乌斯·温泽尔（Makarius Wenzel） 相关软件： Isabelle/HOL；HOL；Coq… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）…
TetGen公司 212篇文献引用(2006–2024) 软件作者： 汉斯 相关软件： 三角形；Gmsh；CGAL… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；可变形固体力学（74-XX）…
ASTREE公司 112份文件引用(2002–2023) 软件作者： 帕特里克·库索特（Patrick Cousot）、拉迪亚·库索特、杰罗姆·费雷特（Jeróme Feret）、劳伦特·毛博尔涅（Laurent Mauborgne）、安托万·米内（Antoine Miné）、大卫·莫尼奥（David Monniaux）、泽维尔 相关软件： 停机坪；z3；PPL… 主要字段： 数理逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；数值分析（65-XX）…
伊莎贝尔/采埃孚 70篇文献引用(1993–2023) 软件作者： 劳伦斯·保尔森 相关软件： 伊莎贝尔；Coq；Isabelle/HOL… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；代数拓扑（55-XX）…
KIV公司 51份文件中引用（1988年至2022年） 软件作者： M.Heisel、B.Langenstein、W.Reif、G.Schellhorn、K.Stenzel、W.Stephan、A.Wolpers等人。 相关软件： Z；PVS；伊莎贝尔… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
JUnit公司 16篇文献引用(2002–2022) 软件作者： Yoonsik Cheon；Gary T.Leavens。 相关软件： JML；埃菲尔；ESC/Java… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
西安 26篇文献引用（2019年至2024年） 软件作者： Hong，Hoon；阿列克谢·奥夫钦尼科夫（Alexey Ovchinnikov）；波古丁（Pogudin），格莱布（Gleb）；耶，芝士 相关软件： 雏菊；COMBOS公司；GenSSI… 主要字段： 场论与多项式（12-XX）；交换代数（13-XX）；常微分方程（34-XX）…
UCLID公司 24篇文献引用(2002–2020) 软件作者： Randal E.Bryant；Shuvendu K.Lahiri；桑吉特·塞希亚 相关软件： 糠；PVS；MiniSat… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；数论（11-XX）…
EXACUS考试 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）…
税收 15篇文献引用(2001–2017) 软件作者： 克洛斯，艾蒂安；米歇尔·波伊泽（Michel Poize）；雅克·普劳（Jacques Pulou）；约瑟夫·西法基斯（Joseph Sifakis）；帕特里克·文特 相关软件： Uppaal；克罗诺斯；艾菲尔… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）
那不勒斯 14篇文献引用（2010年至2021年） 软件作者： Cramer，M.，Koepke，P.，Schröder，B。 相关软件： 米扎尔；对于TheL；Flyspeck… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）…
沃尔夫拉姆 16篇文献引用(2010–2022) 软件作者： 安德烈·苏尔弗洛 相关软件： R；Yices；KLEE… 主要字段： 总体主题；藏品（00-XX）；动力系统与遍历理论（37-XX）；计算机科学（68-XX）…
TuLiP公司 15篇文献引用(2016–2022) 软件作者： Tichakorn Wongpiromsarn、Ufuk Topcu、Necmiye Ozay、Huan Xu、Richard M.Murray 相关软件： PESSOA；科西马；SCOTS… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
帕戈达 12份文件引用(2007–2015) 软件作者： Wirsing，Martin；Denker，砂砾；卡罗琳·塔尔科特；安迪·波乔（Andy Poggio）；Briesemeister琳达 相关软件： 莫德；科莱姆；重新设置（amp；E）… 主要字段： 历史与传记（01-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）…
DeepXlore公司 9份文件引用（2019年-2023年） 软件作者： 裴可欣、曹银芝、杨俊峰、苏曼·贾纳 相关软件： 深度愚人；ImageNet；GitHub… 主要字段： 偏微分方程（35-XX）；统计学（62-XX）；计算机科学（68-XX）…
VerCors公司 12份文件引用(2014–2023) 软件作者： 阿米吉，阿夫申；斯特凡·布洛姆；Saeed Darabi；赫斯曼（Marieke Huisman）；沃伊切赫·莫斯托夫斯基；扎哈里耶娃·斯托亚诺夫斯基，玛丽娜 相关软件： 蝰蛇；布吉；Dafny… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
ExSpect公司 8份文件引用(1992–2013) 软件作者： Wil M.P.van der Aalst。；de Crom，Poul J.N。；戈弗德，罗伊·R.H.M.J。；Kees M.van Hee。；沃特·霍夫曼（Wout J.Hofman）。；Hajo A.Reijers。；范德图恩（Robert A.van der Toorn）。 相关软件： 原型；沃夫兰；咩咩… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
更窄的 在11份文件中引用(1985–1995) 软件作者： 皮埃尔·雷蒂（Pierre Rety）；克洛德·基什内尔；赫莱内·基什内尔；皮埃尔·莱斯坎 相关软件： PARLOG；版次：；内核-叶… 主要字段： 历史与传记（01-XX）；数理逻辑与基础（03-XX）；一般代数系统（08-XX）…
波乔里 10篇文献引用(2013–2019) 软件作者： Tang，Y.、Chowdhury，R.A.、Kuszmaul，B.C.、Luk，C.K.、Leiserson，C.E。 相关软件： PATUS公司；GPU验证；Coq… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
VIPR公司 8份文件引用(2017–2023) 软件作者： Kevin K.H.Cheung、Ambros Gleixner、Daniel E.Steffy 相关软件： SCIP；MIPLIB公司；DRAT-饰件… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
VST-弗洛伊德 9份文件引用(2018–2023) 软件作者： 曹勤祥；Lennart Beringer；塞缪尔·格鲁特（Samuel Gruetter）；多兹，约西亚；安德鲁·W·阿佩尔。 相关软件： Coq；工具链；GitHub… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
电动汽车 6篇文献引用(2001–2021) 软件作者： 拉尔斯-奥克·弗雷德隆德；迪利安·古罗夫；托马斯·诺尔；Mads大坝；托马斯艺术；根纳迪·楚格诺夫 相关软件： 埃尔朗；伊莎贝尔；Coq… 主要字段： 计算机科学（68-XX）
飞行员 8份文件引用(1989–2018) 软件作者： A.V.舒托夫。 相关软件： SERBA；REPSN；正交框架… 主要字段： 总体主题；藏品（00-XX）；数值分析（65-XX）；可变形固体力学（74-XX）
真相/SLC 4份文件引用(2001–2007) 软件作者： Martin Leucker；诺尔，托马斯 相关软件： mCRL；CADP；PlayGame游戏 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
p面 7份文件引用(2019–2022) 软件作者： 哈立德，马哈茂德；马吉德·扎马尼 相关软件： SCOTS；ROCS；CoSyma… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）
皮尔斯纳 7份文件引用(2015–2021) 软件作者： 乔治·奈斯（Georg Neis）；Hur，Chung-Kil；Kaiser，Jan-Oliver；Craig McLaughlin；德里克·德雷尔（Derek Dreyer）；维克托·瓦菲亚迪斯 相关软件： Coq；CakeML；Isabelle/HOL… 主要字段： 计算机科学（68-XX）
Radyban公司 5份文件引用(2008–2019) 软件作者： S.Montani、L.Portinale、A.Bobbio、C.Codetta-Raiteri 相关软件： 模糊FTA；准备/准备；MOCUS… 主要字段： 数理逻辑与基础（03-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
eof公司 引用于3份文件(2018–2024) 软件作者： 安德鲁·道森 相关软件： 蟒蛇；Scikit；NCAR命令语言… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；流体力学（76-XX）…
先知 4份文件引用(2017–2023) 软件作者： 长，扇形；马丁·里纳德 相关软件： SemFix；安吉利克斯；缺陷4J… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）
jMocha公司 5份文件引用(2008–2023) 软件作者： 阿鲁尔（Alur，R.）。；de Alfaro，L。；格罗苏，R。；Henzinger，T。；托马斯。；Kang，M。；Kirsch，C。；马朱姆达尔，R。；芒，F。；王，B.-Y。 相关软件： 摩卡；MCMAS；MCMAS-SLK… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
柔道STM 引用于3份文件(2012–2022) 软件作者： Olszewski，M.、Cutler，J.、Steffan，J.G。 相关软件： NOrec；DiSTM；TLRW… 主要字段： 计算机科学（68-XX）
REBA公司 5份文件引用（2019年-2023年） 软件作者： 斯里达兰，莫汉；Michael Gelfond；张世奇；杰里米·怀亚特 相关软件： 人民；CCalc；AlphaZero… 主要字段： 计算机科学（68-XX）；运筹学，数学编程（90-XX）
超级巢 引用于3份文件(2016–2023) 软件作者： 约翰内斯·布奇纳 相关软件： MultiNest；痛觉；nestcheck… 主要字段： 统计学（62-XX）；数值分析（65-XX）；量子理论（81-XX）
VeriCon公司 5份文件引用(2014–2021) 软件作者： Ball，T.、Bjorner，N.、Gember，A.、Itzhaky，S.、Karbyshev，A.、Sagiv，M.、Schapira，M.和Valadarsky，A。 相关软件： NetKAT；食蚁兽；Kuai… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
AdamMC公司 4份文件引用(2019–2021) 软件作者： Bernd Finkbeiner、Manuel Gieseking、Jesko Hecking-Harbusch、Ernst-Rüdiger Olderog 相关软件： zUpdate；PTrie；NuSMV… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
有线电视盒 引用于3份文件(2002–2010) 软件作者： Hochstättler，温弗里德；亚历山大·施利普 相关软件： EVEGA公司；利奥纳多；宙斯… 主要字段： 计算机科学（68-XX）；运筹学，数学编程（90-XX）
L-格雷尔 4份文件引用(2015–2023) 软件作者： 诺埃尔·马洛德·多宁；纳塔沙·普日尔 相关软件： IsoRank；幽灵；麦格纳++… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；计算机科学（68-XX）…
ProMoVer公司 4份文件引用(2011–2016) 软件作者： 苏莱曼尼法德，锡亚瓦什；古罗夫，帝力；玛丽克·赫斯曼 相关软件： 马文；DeltaCCS；MSTA… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
阿根廷 引用于3份文件(2002–2009) 软件作者： Serge S.Tratch。；Marina S.Molchanova。；尼古拉·泽菲罗夫。 相关软件： —— 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
科根（Cogent） 引用于3份文件(2016–2022) 软件作者： 克里斯汀·里兹卡拉（Christine Rizkallah）；利姆，贾菲斯；永田县长岛；Thomas Sewell；陈子林；利亚姆·奥康纳；托比·穆雷；加布里埃尔·凯勒；格温·克莱恩 相关软件： 锈带；哈斯克尔；旋风… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
ENFORCe公司 引用于3份文件(2019–2020) 软件作者： Azab，K.、Habel，A.、Pennemann，K.H.、Zuckschwerdt，C。 相关软件： OCLinEcore；OCL2AC；AGG… 主要字段： 计算机科学（68-XX）
联邦应急管理委员会 2份文件引用(2003–2015) 软件作者： 克劳斯·霍利格（Klaus Höllig）、约格·霍纳（Jörg Hörner） 相关软件： —— 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）
围栏R13 引用于3份文件(2021–2023) 软件作者： 泰森，兰伯特；曼努埃尔·托里洪 相关软件： FEniCS；网格地图；JDQR… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）
贾格诺 引用于3份文件(2015–2018) 软件作者： 乔纳森·海宁（Jonathan Heinen）；克里斯蒂娜·詹森（Christina Jansen）；Joost-Pieter Katoen；诺尔，托马斯 相关软件： HIP；见证人；MONA… 主要字段： 计算机科学（68-XX）
NETAL公司 引用于3份文件(2014–2016) 软件作者： Neyshabur，B。；Khadem，A。；哈希米法尔，S。；阿拉伯，S.S。 相关软件： KEGG；轮毂对齐；幽灵… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
NetCore公司 2份文件引用(2013–2018) 软件作者： 克里斯托弗·孟山都；福斯特，内特；罗伯·哈里森（Rob Harrison）；大卫·沃克 相关软件： github；NetKAT；菲尔马托… 主要字段： 计算机科学（68-XX）
SBML测试套件 1份文件引用(2015) 软件作者： Sarah Keating、Michael Hucka、Lucian P.Smith、Frank T.Bergmann、Bruce Shapiro、Thomas W.Evans、Colin S.Gillespie、Darren J.Wilkinson、Brett Olivier、Andrew Finney 相关软件： SBMLSim；sbtoolbox；Sostools… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
VeriStar公司 引用于3份文件(2012–2016) 软件作者： 戈登·斯图尔特；Lennart Beringer；安德鲁·W·阿佩尔。 相关软件： Coq；jStar；小脚… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
fmp2rsm公司 1份文件引用（2018年） 软件作者： Czarnecki，K.，Antkiewicz，M.，Kim，C.H.P.，Lau，S.，Pietroszek，K。 相关软件： Clafer；工厂验收试验；MTBDD… 主要字段： 计算机科学（68-XX）
JuSFEM公司 2份文件引用(2021) 软件作者： 霍，泽南；梅刚；徐能雄 相关软件： Modelica；Plotlyjs.jl；Writevtk.jl… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）
曼蒂科尔 2份文件引用(2021) 软件作者： Mossberg，M.等人。 相关软件： 甲氰菊酯；Why3；solgraph… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）
PVM图 2份文件引用(1997–2000) 软件作者： 德拉伊特，T。；里贝罗·朱斯托，G.R。；间谍，F。；南卡罗来纳州温特。 相关软件： EDPEPPS；Chronos公司 主要字段： 计算机科学（68-XX）
RISCAL公司 2份文件引用（2018年） 软件作者： 沃尔夫冈·施莱纳 相关软件： Nitpick公司；数学聊天；CoqHammer… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
推特NaCl 2份文件引用(2015–2018) 软件作者： 丹尼尔·伯恩斯坦（Daniel J.Bernstein）。；范加斯特尔（Bernard van Gastel）；卫斯理·詹森；坦贾·兰格；施瓦布（Peter Schwabe）；斯梅特泽斯，沙克 相关软件： 基岩；VST-Floyd；冲锋… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
亚斯珀 2份文件引用(2008–2017) 软件作者： van Hee，K.、Oanea，O.、Post，R.、Somers，L.、van de Werf，J.M。 相关软件： 管道；VipTool；沃夫兰… 主要字段： 计算机科学（68-XX）
防抱死制动系统 1份文件引用(2022) 软件作者： 亚历山大·韦伯（Alexander Weber）；马科维奇克（Macoveiciuc）、伊利赛（Elisei）；冈瑟·雷西格 相关软件： AROC；GRKLib；p面… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
BanditFuzz乐队 1份文件引用(2022) 软件作者： 斯科特·J。；Sudula，T。；Rehman，H。；莫拉·F。；加内什，V。；Huisman，M。；帕斯勒诺，C。；詹，N。 相关软件： 依兰CoP；吸血鬼；阿凡达… 主要字段： 计算机科学（68-XX）
B测试框 1份文件引用(2021) 软件作者： de Azevedo Oliveira D、Medeiros V、Déharbe D、Musicante MA 相关软件： 罗丹；github；核心ASM… 主要字段： 计算机科学（68-XX）
CERT公司 1份文件引用（2018年） 软件作者： Littlewort G、Whitehill J、Wu T、Fasel I、Frank M、Movellan J、Bartlett M。 相关软件： —— 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）
克雷尔夫姆 1份文件引用(2021) 软件作者： Kang，J.、Kim，Y.、Song，Y.，Lee，J.，Park，S.、Shin，M.D.、Kim。 相关软件： WebAssembly；CVT；松散… 主要字段： 计算机科学（68-XX）
船员 1份文件引用(2019) 软件作者： Gary F.Margrave。；Michael P.拉穆勒克斯。 相关软件： Matlab公司 主要字段： 总体主题；藏品（00-XX）；数值分析（65-XX）；地球物理学（86-XX）
EDSL公司 1份文件引用(2011) 软件作者： Alex Bain；约翰·米切尔（John Mitchell）；拉胡尔·夏尔马（Rahul Sharma）；德伊安·斯特凡（Deian Stefan）；乔·齐默尔曼 相关软件： 分享者；哈斯克尔 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
闪存 1份文件引用(2017) 软件作者： Tanja Magoć，Steven L.Salzberg 相关软件： 梨；虚拟搜索；PANDAseq… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
局部厚度图 在0个文档中引用 软件作者： Nguyen，T.-N.-T.，Höfter，A.，Leonardic，K.，Rosenhain，S.，Kiessling，F.，Sae-Tang，W.，Naumann，U.，Gremse，F。 相关软件： Imalytics临床前；BoneJ；代码海洋 主要字段： ——
ProteoAnnotator（蛋白质注释器） 在0个文档中引用 软件作者： 加利，F。；Krishna，R。；Perkins，S。；柯林斯。；夏，D。；瓦斯特林，J。；A.R.琼斯。 相关软件： GeneScout；iPiG；KNIME… 主要字段： ——
QuIt公司 1份文件引用（2018年） 软件作者： 格雷斯，伯恩哈德；劳拉·科瓦奇（Laura Kovács）；西蒙·罗比拉德 相关软件： 吸血鬼；InvGen；CVC4… 主要字段： 计算机科学（68-XX）
微笑者 在0个文档中引用 软件作者： 卡尔登·沃卡（Calden Wloka）；托尼·库尼奇；Iulia Kotseruba；拉明·法希米；尼古拉斯·弗罗斯特 相关软件： TensorFlow；Matlab；Docker… 主要字段： ——
稳定TBN 1份文件引用(2021) 软件作者： 戴维·哈雷（David Haley）；大卫·多蒂 相关软件： 4ti2；OR-tools；z3… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
TSTL公司 在0个文档中引用 软件作者： Josie Holmes、Alex Groce、Jervis Pinto、Pranjal Mittal、Pooria Azimi、Kevin Kellar、James O'Brien 相关软件： 假设；MutPy；DLint… 主要字段： ——