坚果 196篇文献中引用(2013–2024) 软件作者： 马修·霍夫曼（Matthew D.Hoffman）、安德鲁·盖尔曼（Andrew Gelman） 相关软件： 斯坦；贝叶斯DA；R、 … 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
PHAVer公司 119篇文献引用(2005–2024) 软件作者： 戈兰·弗雷斯 相关软件： 高科技；SpaceEx；RSOLVER… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
LTL2BA公司 99篇文献引用(2001–2023) 软件作者： 保罗·加斯丁（Paul Gastin）；丹尼斯·奥杜克斯 相关软件： 自旋蛋白；SPOT；NuSMV… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
JaxoDraw公司 103篇文献引用(2005–2023) 软件作者： D.Binosi、J.Collins、C.Kaufhold、L.Theussl 相关软件： 阿克索德劳；表格；LiteRed… 主要字段： 特殊功能（33-XX）；流形和细胞复合体（57-XX）；粒子力学与系统（70-XX）…
MRMC公司 71篇文献引用(2006–2023) 软件作者： Joost-Pieter Katoen；亚琛工业大学 相关软件： 棱镜；Uppaal；CADP… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
现场 61篇文献引用(2005–2023) 软件作者： Duret-Lutz，A。；Poitrenaud博士。 相关软件： 自旋蛋白；LTL2BA；NuSMV… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
UPPAAL TIGA公司 47篇文献引用(2007–2023) 软件作者： Behrmann，G.、Cougnard，A.、David，A.、Fleury，E.、Larsen，K.G.、Lime，D。 相关软件： Uppaal；棱镜；Synthia… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；变分法与最优控制；优化（49-XX）；计算机科学（68-XX）…
Sweave公司 31份文件引用（2002年至2022年） 软件作者： 弗里德里希·利什 相关软件： R；knitr；生物导体… 主要字段： 总体主题；藏品（00-XX）；统计学（62-XX）；数值分析（65-XX）…
MXNet公司 17篇文献引用(2018–2024) 软件作者： T·陈、M·李、Y·李、M·林、N·王、M·王、T·肖、B·徐、C·张、Z·张 相关软件： TensorFlow；PyTorch；咖啡… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；统计学（62-XX）；数值分析（65-XX）…
VerICS版本 34份文件引用(2005–2023) 软件作者： 兹布热兹尼（Zbrzezny，Andrzej）；沃兹纳，博泽纳 相关软件： MCMAS；MCK；MOCHA… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
KnotPlot打结器 35篇文献引用(1999–2023) 软件作者： 罗伯特·沙雷恩 相关软件： 节点信息；stick-knot-gen；数学… 主要字段： 变分法与最优控制；优化（49-XX）；微分几何（53-XX）；流形和细胞复合体（57-XX）…
OFMC公司 25篇文献引用(2005–2022) 软件作者： 塞巴斯蒂安·莫德谢姆，卢卡·维甘诺 相关软件： AVISPA；NRL；Casper… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
罗密欧 引用于27份文件(2005–2020) 软件作者： 纪尧姆·加迪；莱姆，迪迪埃；摩根·马根（Morgan Magnin）；Olivier Roux（H.） 相关软件： TINA；Uppaal；Kronos… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
ICEBERG公司 23篇文献引用(2004–2023) 软件作者： Francois-Xavier Standaert；皮雷，吉尔；盖尔·卢夫罗伊；Jean-Jacques，Quishuter；Jean-Didier Legat先生 相关软件： 王子；出席；蛇… 主要字段： 总体主题；藏品（00-XX）；组合数学（05-XX）；有序，格，有序代数结构（06-XX）…
TorX公司 16篇文献引用（2005年至2021年） 软件作者： 亨利克·博恩坎普（Henrik Bohnenkamp）；埃克塞尔·贝林芬特 相关软件： JTorX；SpecExplorer；STG… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
玛丽亚 19份文件引用(2000–2021) 软件作者： M“akel”a，马可 相关软件： LoLA；Uppaal；M网络… 主要字段： 计算机科学（68-XX）；量子理论（81-XX）；生物学和其他自然科学（92-XX）…
CAESAR_解决 在11份文件中引用(2006–2022) 软件作者： Radu Mateescu公司 相关软件： CADP；到期未结；旋转… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
索利娅 14篇文献引用(2010–2023) 软件作者： 西尔万·切维拉德；米奥拉乔尔德什；克里斯托夫·劳特 相关软件： 加帕；MPFR；Coq… 主要字段： 实函数（26-XX）；近似和展开（41-XX）；数值分析（65-XX）…
Exp.未结 12份文件引用(2006–2023) 软件作者： 弗雷德里克·朗 相关软件： CADP；CAESAR_SOLVE公司；M-TREE… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
凯撒 在11份文件中引用(2004–2021) 软件作者： 休伯特·加拉维尔；Wendelin Serwe；INRIA罗纳阿尔卑斯山 相关软件： CADP；NUPN_INFO；caesar.bdd… 主要字段： 计算机科学（68-XX）
恐龙皮 12份文件引用(2016–2023) 软件作者： Abdelsamie，Abouelmagd；戈登·弗鲁；蒂莫·奥斯特（Timo Oster）；Felix Dietzsch；贾尼加，加博尔；多米尼克·塞韦宁 相关软件： 坎特拉；2DECOMP；GitHub… 主要字段： 数值分析（65-XX）；流体力学（76-XX）；经典热力学，传热（80-XX）
通用汽车公司 9份文件引用(2012–2021) 软件作者： Mostafavi，S.、Ray，D.、Warde-Farley，D.、Grouios，C.、Morris，Q。 相关软件： 细胞景观；字符串；生物网格… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
WavePacket（波包） 7份文件引用(2009–2024) 软件作者： Burkhard Schmidt、Ulf Lorenz、Carsten Hartmann 相关软件： QuTiP；Matlab；Q发动机… 主要字段： 动力系统与遍历理论（37-XX）；数值分析（65-XX）；量子理论（81-XX）…
OMiGA公司 9份文件引用(2015–2021) 软件作者： 明道然；托马斯·艾特；迈克尔·芬克；杰拉尔德·魏丁格；安东尼乌斯·温齐尔 相关软件： 克林戈；格林戈；GASP… 主要字段： 计算机科学（68-XX）
BISIMULATOR（双模拟） 9份文件引用(2005–2022) 软件作者： Damien Bergamini；尼古拉斯·德苏贝斯（Nicolas Descoubes）；克利斯朵夫·朱伯特；拉杜·马特埃斯库 相关软件： M-树；CADP；Exp.打开… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）
DGDFT公司 9份文件引用(2016–2022) 软件作者： 魏虎、林林、朝阳 相关软件： 一步；量子浓缩咖啡；ABINIT… 主要字段： 组合数学（05-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
雅克斯塔布 7份文件引用(2011–2023) 软件作者： Johannes Kinder，赫尔穆特·维斯 相关软件： GitHub；卫星抗体；WPDS++… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
TopOpt二维 6篇文献引用(2004–2024) 软件作者： N.Aage、M.N.Jörgensen、C.S.Andreasen、O.Sigmund 相关软件： TopOpt 3D；顶部.m；Matlab… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
ASPeRiX公司 4份文件引用(2009–2016) 软件作者： 克莱尔·莱夫维尔（Claire Lefèvre）、帕斯卡尔·尼古拉斯（Pascal Nicolas）、圣埃芬·恩戈马（Stéphane Ngoma） 相关软件： 亚萨特；格林戈；天哪… 主要字段： 计算机科学（68-XX）
CHAM（查姆） 6篇文献引用(2018–2022) 软件作者： Koo、Bonwook；卢武铉、东英；Kim，Hyenjin；容光焕（Jung，Younghoon）；Lee，Dong-Geon；Kwon、Daesung 相关软件： 西蒙；SPECK；LEA… 主要字段： 计算机科学（68-XX）；量子理论（81-XX）；信息与通信理论，电路（94-XX）
DP-GEN公司 4份文件引用(2020–2023) 软件作者： 张玉芝、王海迪、陈伟杰、曾金哲、张林峰、王翰、渭南E 相关软件： TensorFlow；亚当；高斯… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
gLaSDI公司 6篇文献引用(2022–2023) 软件作者： 何小龙；崔英秀；威廉·D·弗里斯。；乔纳森·贝洛夫（Jonathan L.Belof）。；陈久贤 相关软件： LaSDI；亚当；PyTorch… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
HASL公司 6篇文献引用（1986年至2016年） 软件作者： Ballarini，P.、Djafri，H.、Duflot，M.、Haddad，S.、Pekergin，N。 相关软件： COSMOS；Uppaal；棱镜… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
sbioPN公司 6篇文献引用(2012–2022) 软件作者： 罗伯托·贝托卢索；基梅尔 相关软件： SPPARKS公园 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；生物学和其他自然科学（92-XX）
SFCGen公司 5份文件引用(2005–2016) 软件作者： 金国华；约翰·梅勒·库梅伊 相关软件： 算法781；英特尔TBB；AMRCLAW… 主要字段： 数论（11-XX）；近似和展开（41-XX）；数值分析（65-XX）…
TopOpt 3D 5份文件引用(2004–2024) 软件作者： N.Aage、M.N.Jörgensen、C.S.Andreasen、O.Sigmund 相关软件： TopOpt 2D；顶部.m；Matlab… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
Verics公司 6篇文献引用(2003–2018) 软件作者： 彼得亚·德米因斯基；阿加塔·雅诺夫斯卡；Paweł，Janowski；沃伊切赫·彭泽克（Wojciech Penczek）；阿加塔·波罗拉；Maciej Szreter；沃兹纳，博泽纳；安杰伊·兹布热兹尼 相关软件： MCMAS；MCK；NuSMV… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
嘟嘟嘟嘟 4份文件引用(2012–2023) 软件作者： Sylvain Halle；罗杰·维尔梅尔 相关软件： LOLA；卢斯特；副驾驶… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
乌鸦脚 5份文件引用(2011–2015) 软件作者： 纳撒尼尔·查尔顿；本·霍斯福尔（Ben Horsfall）；罗伊斯，伯恩哈德 相关软件： 小脚；VeriFast；jStar… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
信息 4份文件引用(2009–2015) 软件作者： Ernst Moritz Hahn、Holger Hermanns、Björn Wachter、Lijun Zhang 相关软件： 棱镜；APMC作业；SBML测试套件… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
根 2份文件引用(2010–2021) 软件作者： I.Antcheva等人 相关软件： 根；PYTHIA8；克林… 主要字段： 数值分析（65-XX）；量子理论（81-XX）；统计力学，物质结构（82-XX）
SpGEMM公司 5份文件引用(2015–2018) 软件作者： 费利克斯·格雷姆斯；Höfter，安德烈亚斯；Lars Ole Schwen；费边·基斯林；乌韦·诺曼 相关软件： 稀疏矩阵；CUSP；CUDA… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）
Statalign公司 4份文件引用(2012–2018) 软件作者： 阿拉巴马州诺瓦克。，Miklós，I.，Lyngsoe，R.，Hein，J。 相关软件： Bali-phy；充分满足；Rec-I-DCM3… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；统计学（62-XX）…
安雅 4份文件引用(2016–2023) 软件作者： Daniel Damir，Harabor；阿尔班·格拉斯汀；丁达尔？z；乌拉尔·阿克萨卡利 相关软件： Theta公司* 主要字段： 计算机科学（68-XX）
弹塑性接触 4份文件引用(2019–2022) 软件作者： 卢卡斯·弗雷罗特；马克·博内（Marc Bonnet）；Jean-François Molinari；纪尧姆·安乔 相关软件： SPG；硝酚；安德森… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；运筹学，数学编程（90-XX）
超密封 4份文件引用(2020–2021) 软件作者： Peter Munch、Katharina Kormann、Martin Kronbichler 相关软件： 交易.ii；特里利诺斯；GitHub… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）
Jive公司 4份文件引用(2016–2023) 软件作者： Lingen EJ、Stroeven M公司 相关软件： Gmsh；亚当；F3DAM… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；生物学和其他自然科学（92-XX）
斑疹病毒2 4份文件引用(2019–2022) 软件作者： E·阿尔布拉哈姆。；科齐留斯，F。；约翰森，EB；Kremer，G。；Mauro，J。；Fränzle先生。；卡普尔，D。；詹，N。 相关软件： z3；CPLEX；Yices… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
A-救援 引用于3份文件(2017–2019) 软件作者： 乌库苏里，萨蒂什五世。；萨米乌尔·哈桑；平良；Kien Doan；詹显元；Murray Tuite，帕梅拉；尹伟浩 相关软件： 禁忌搜索；PartiSim；重新喷漆套件 主要字段： 运筹学，数学编程（90-XX）
AROC公司 引用于3份文件(2021–2023) 软件作者： Kochdumper，N。；Gruber，F。；舒尔曼，B。；加曼，V。；Klischat，M。；阿尔托夫，M。 相关软件： SCOTS；ROCS；CoSyma… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
生物提示盒 1份文件引用(2010) 软件作者： 克劳迪奥·科尔西、保罗·费拉吉纳、罗伯托·马兰贡 相关软件： 超级家族；细胞景观；clusfind… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
BundleFusion包 引用于3份文件(2019–2022) 软件作者： Angela Dai、Matthias Nießner、Michael Zollhöfer、Shahram Izadi、Christian Theobalt 相关软件： PointNet；布里斯克；效率Det… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
crYOLO公司 引用于3份文件(2020–2023) 软件作者： Wagner T等人 相关软件： DeepPicker；关系；cisTEM… 主要字段： 特殊功能（33-XX）；计算机科学（68-XX）；光学、电磁理论（78-XX）…
焦点检查 2份文件引用(2005–2006) 软件作者： 柯蒂斯·W·凯勒。；Diptikalyan Saha；萨米克·巴苏；斯科特·斯莫尔卡。 相关软件： 卫星抗体；奥兹；DiVer… 主要字段： 计算机科学（68-XX）
拉萨 2份文件引用（2003年至2004年） 软件作者： Glémet，E。；J.J.科达尼。 相关软件： 通用电气；集群C；爆炸… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
莫维奥拉 引用于3份文件(2017–2019) 软件作者： 奥昆特Sabunu；莱特，乔~ao 相关软件： 克林戈；扣带；MiniSat… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
打开循环 2份文件引用(2020–2021) 软件作者： 费德里科·布奇奥尼（Federico Buccioni）、珍妮·尼科拉斯·朗（Jean-Nicolas Lang）、乔纳斯·林德特（Jonas M.Lindert）、菲利普·迈尔霍（Philipp Maierhöfer）、斯特凡诺·波佐里尼（Stefano Pozzorini）、张汉田（Han 相关软件： FeynCalc；火灾；RECOLA… 主要字段： 量子理论（81-XX）
帕姆根 引用于3份文件(2015–2022) 软件作者： D.M.亨辛格、R.R.德雷克、J.G.福卡尔、T.A.加德纳。 相关软件： FLLOP；PermonCube；PermonFLLOP… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；运筹学，数学编程（90-XX）
标准SNP 1份文件引用(2012) 软件作者： A.Uzun、C.M.Leslin、A.Abyzov、V.Ilyin 相关软件： PharmGKB；SNP效应；药品核心PPI… 主要字段： 生物学和其他自然科学（92-XX）
TVT电视 引用于3份文件(2004–2022) 软件作者： 维塔宁，海基；亨利·汉森；安蒂·瓦尔马里；朱哈·尼米宁；蒂莫·埃尔基拉 相关软件： mCRL2；CADP；西尔万… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
比西姆区 1份文件引用(2021) 软件作者： 乔治·巴奇；乔瓦尼·巴奇；金·古德斯特兰·拉森（Kim Guldstrand Larsen）；拉杜·马尔代尔 相关软件： prob-black-reach；N模型；棱镜… 主要字段： 计算机科学（68-XX）；运筹学，数学编程（90-XX）
BYTESURGEON公司 2份文件引用(2006–2008) 软件作者： 马库斯·丹克（Marcus Denker）；Stéphane Ducasse；埃里克·坦特 相关软件： SmallJS；JavaScript；WhyLine… 主要字段： 计算机科学（68-XX）
指南针训练器 2份文件引用(2017–2019) 软件作者： 艾曼纽尔·阿米奥；Jean-Philippe Lerat；推荐，贝伦格；瓦莱里·萨博 相关软件： 疯子 主要字段： 总体主题；藏品（00-XX）；数学教育（97-XX）
D3Feat公司 2份文件引用(2022–2023) 软件作者： 白旭阳；罗子欣；周磊；傅洪波；Quan、Long；泰语、Chiew-Lan 相关软件： Open3D；PyTorch；PointNet… 主要字段： 统计学（62-XX）；数值分析（65-XX）
动力-MPI 1份文件引用(2006) 软件作者： 韦瑟利，D.布伦特；David K.Lowenthal。；马里奥·中泽一郎；富兰克林·洛文塔尔 相关软件： CHARM（魅力）++ 主要字段： 计算机科学（68-XX）
epstopdf公司 2份文件引用(2007–2022) 软件作者： 塞巴斯蒂安·拉赫茨（Sebastian Rahtz）；Gerben Wierda；Karl Berry等人。 相关软件： 双乳胶；乳胶；xcolor… 主要字段： 全局分析，流形分析（58-XX）；计算机科学（68-XX）；相对论与引力理论（83-XX）…
显式PRISMSymm 2份文件引用(2015) 软件作者： 帕特尔，里马；凯文·帕特尔（Kevin Patel）；Patel，迪伦 相关软件： 棱镜 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
GPU探索 1份文件引用(2016) 软件作者： Wijs A，Bošnački D。 相关软件： GPU棱镜；Easychair；CUDA… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
HECTOR公司 1份文件引用（2013年） 软件作者： David Hopkins，Andrzej S.Murawski，C.H.Luke Ong 相关软件： SLAM；GTRECS2；主页… 主要字段： 计算机科学（68-XX）
多种族 1份文件引用(2017) 软件作者： 埃利·波兹尼安斯基（Eli Pozniansky），阿萨夫·舒斯特（Assaf Schuster） 相关软件： 螺纹消毒剂；CDS检查器；ktsan… 主要字段： 计算机科学（68-XX）
R2HTML 1份文件引用(2008) 软件作者： 埃里克·勒库特（Eric Lecoutre）、米兰·布切特·瓦拉特（Milan Bouchet-Valat）、托马斯·弗里德里希斯密尔（Thomas Friedrichsmeier） 相关软件： odfWeave；晶格；R、 … 主要字段： 统计学（62-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
SeqExpMatch（序列ExpMatch） 2份文件引用(2023) 软件作者： 亚当·卡佩尔纳（Adam Kapelner）；阿巴·克里格 相关软件： R；贪婪实验设计；nbp匹配 主要字段： 统计学（62-XX）
SHARC公司 1份文件引用(2024) 软件作者： S.Mai、M.Richter、M.Heindl、M.F.S.J.Menger、A.Atkins、M.Ruckenbauer、F.Plasser、M.Oppel、P.Marquetand、L.González 相关软件： 高斯人；VENUS96；Unitful.jl… 主要字段： 量子理论（81-XX）；统计力学，物质结构（82-XX）
备用IR.jl 在0个文档中引用 软件作者： Markus Wallerberger、Samuel Badr、Hiroshi Shinaoka 相关软件： Nevanlinna.jl；合子；最佳… 主要字段： –
VeriFly公司 2份文件引用(2021–2022) 软件作者： Sanchez-Ordaz，Miguel A。；伊莎贝尔·加西亚·孔特雷拉斯（Isabel Garcia-Contreras）；维克托·佩雷斯（Victor Perez）；JoséF.Morales。；佩德罗·洛佩兹·加西亚；曼努埃尔五世（Manuel V.Hermenegildo）。 相关软件： 汞；CiaoPP；再见… 主要字段： 计算机科学（68-XX）
沃尔斯卡特 1份文件引用(2009) 软件作者： N.Sanna、I.Baccarelli、G.Morelli 相关软件： LAPACK；MAGMA；MPI… 主要字段： 量子理论（81-XX）；统计力学，物质结构（82-XX）
防抱死制动系统 1份文件引用(2022) 软件作者： 亚历山大·韦伯（Alexander Weber）；马科维奇克（Macoveiciuc）、伊利赛（Elisei）；冈瑟·雷西格 相关软件： AROC；GRKLib；p面… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
阿达拉克 1份文件引用(2019) 软件作者： 沈燕宁；陈天一；乔治·吉安娜基斯（Georgios B.Giannakis）。 相关软件： SimpleMKL；UCI-毫升 主要字段： 功能分析（46-XX）；计算机科学（68-XX）