UTV公司 295篇文献引用(1997–2024) 软件作者： 里卡多·D·费罗。；汉森，Per Christian 相关软件： 正规化工具；LSQR；Matlab… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
联合 183份文件引用(1988–2021) 软件作者： K.Mani Chandy；贾亚德夫·米斯拉 相关软件： NQTHM；PVS；HOL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
CALMA公司 109篇文献引用(1999–2024) 软件作者： 卡伦·阿达尔；科尔·赫肯斯；Lenstra，Jan Karel；谢尔盖·蒂乌林 相关软件： CPLEX；禁忌搜索；DIMACS… 主要字段： 组合数学（05-XX）；常微分方程（34-XX）；计算机科学（68-XX）…
SLMC公司 75篇文献引用(2003–2023) 软件作者： 雨果·维埃拉；路易斯·凯雷斯 相关软件： 棱镜；管道；莫德… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
亚当斯 52篇文献引用(2005–2022) 软件作者： 美商麦格尼轩 相关软件： Matlab；ANSYS；纳斯特朗… 主要字段： 计算机科学（68-XX）；粒子和系统力学（70-XX）；变形固体力学（74-XX）…
OBB树 24篇文献引用(2001–2024) 软件作者： Gottschalk，S.，Lin，M.C.，Manocha，D。 相关软件： 球体；Qsplat；GitHub… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；粒子力学与系统（70-XX）…
底座/弹簧 19份文件引用(1995–2015) 软件作者： 川端康成 相关软件： Mathematica；第12节；窗体计算… 主要字段： 数值分析（65-XX）；量子理论（81-XX）；统计力学，物质结构（82-XX）
细胞档案器 6篇文献引用(2018–2022) 软件作者： Anne E Carpenter、Thouis R Jones、Michael R Lamprecht、Colin Clarke、In Han Kang、Ola Friman、David A Guertin、Joo Han Chang、Robert A Lindquist、Jason Moffat、Polina Golland、David M Sabatini 相关软件： 图像J；图像J2；斐济… 主要字段： 代数拓扑（55-XX）；统计学（62-XX）；计算机科学（68-XX）…
8月 12份文件引用(2016–2022) 软件作者： Q.Wang，X.Zhang，Y.Zhangs，Q.Yi 相关软件： LAPACK；R；MKL… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；统计学（62-XX）；数值分析（65-XX）…
ANCFIS公司 14篇文献引用(2012–2023) 软件作者： 陈志飞；萨拉·阿格哈尼；詹姆斯·曼；斯科特·迪克 相关软件： ANFIS；TISEAN公司；FLANN… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；运筹学，数学规划（90-XX）…
采埃特 13份文件引用(2001–2021) 软件作者： D.Bardin、M.Bilenky、P.Christova、M.Jack、L.Kalinovskaya、A.Olchevski、S.Riemann、T.Riemannen 相关软件： TOPAZ0；抱怨；NAG… 主要字段： 近似和展开（41-XX）；数值分析（65-XX）；粒子力学与系统（70-XX）…
EUROVAL公司 在11份文件中引用(1993–2019) 软件作者： 哈斯，沃纳；布兰德斯马，弗兰斯；埃伯哈特·埃尔索尔茨；Michael Leschziner；迪特尔·施瓦姆博恩 相关软件： CFL3D；Spalart-Allmaras；NSMB… 主要字段： 总体主题；藏品（00-XX）；数值分析（65-XX）；流体力学（76-XX）…
VeriCool公司 10篇文献引用(2009–2022) 软件作者： Smans，J.、Jacobs，B.、Piessens，F。 相关软件： 布吉；VeriFast；VCC… 主要字段： 计算机科学（68-XX）
MAVEN公司 9份文件引用(2007–2013) 软件作者： Max Goldman；埃米利亚·卡茨（Emilia Katz）；Shmuel Katz 相关软件： ProMoVer；CVPP；Aspectual Caml… 主要字段： 计算机科学（68-XX）
BSS评估 9份文件引用(2006–2016) 软件作者： C.Févotte、R.Gribonval、E.Vincent 相关软件： Soft-LOST；PDCO；DARPA时间… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
预言4f 9份文件引用(2012–2023) 软件作者： 安斯加·丹尼、斯蒂芬·迪特迈尔、亚历山大·穆克 相关软件： RACOONWW公司；2衰减；H型联轴器… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
KK公司 8份文件引用(2000–2010) 软件作者： 贾达奇，S。；沃德，B.F.L。；Wa̧s，Z。 相关软件： YFSWW3；KoralW；道拉… 主要字段： 动力系统与遍历理论（37-XX）；近似和展开（41-XX）；数值分析（65-XX）…
单轨 6篇文献引用(2009–2017) 软件作者： 凯特林·萨多夫斯基；斯蒂芬·弗伦德（Stephen N.Freund）；科马克·弗拉纳根 相关软件： 雾化器；速度记录；烟尘… 主要字段： 计算机科学（68-XX）
MIMO-OFDM技术 引用于3份文件(2008–2016) 软件作者： 杨倩；陶然；王悦；陈恩清 相关软件： – 主要字段： 实函数（26-XX）；数值分析（65-XX）；运筹学，数学规划（90-XX）…
ACOMCD公司 2份文件引用(2021) 软件作者： Wan，Y.、Pei，T.、Zhou，C.、Jiang，Y.，Qu，C.、Qiao，Y 相关软件： rflexscan；MAD-STEC；图形扫描… 主要字段： 统计学（62-XX）；运筹学，数学编程（90-XX）
跳跃 引用于3份文件(2017–2021) 软件作者： 丁斯代尔·杨，托马斯；佩德罗·达罗查·平托；安徒生，克里斯托弗公正；拉尔斯·比克达尔 相关软件： 蝰蛇；VeriFast；草蜢… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
HLIO公司 引用于3份文件(2015–2019) 软件作者： 巴勃罗，布瑞斯；Vytiniotis，Dimitrios；亚历杭德罗·拉索 相关软件： 哈斯克尔；流量凸轮；哈哈… 主要字段： 计算机科学（68-XX）
布里斯克 2份文件引用(2000–2005) 软件作者： Aleksandar Bakić；马特·穆特卡（Matt W.Mutka）。；黛安·罗弗。 相关软件： CLOS；MICO公司 主要字段： 计算机科学（68-XX）
Con2colic公司 2份文件引用(2018–2021) 软件作者： Farzan A、Holzer A、Razavi N、Veith H 相关软件： veriSoft；blktrace；马夫特… 主要字段： 计算机科学（68-XX）
CSimpl公司 2份文件引用(2017) 软件作者： Sanán，D.，Zhao，Y.，Hou，Z.，Zhang，F.，Tiu，A.，Liu，Y。 相关软件： seL4；Isabelle/HOL；区域设置… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
NETMON公司 2份文件引用(1991–1994) 软件作者： 奥利弗·恩德里斯；迈克尔·斯坦布伦（Michael Steinbrunn）；玛蒂娜·齐特巴特 相关软件： – 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
最优RNAi 1份文件引用(2015) 软件作者： Cui W、Ning J、Naik UP、Duncan MK 相关软件： ARB；EMBOSS；最小值… 主要字段： 总体主题；藏品（00-XX）；生物学和其他自然科学（92-XX）
ddepn公司 1份文件引用(2015) 软件作者： Bender，C.、Heyde，S.、Henjes，F.、Wiemann，S.和Korf，U.、Beissbarth，T。 相关软件： 单一；学习；BoolNet… 主要字段： 交换代数（13-XX）；统计学（62-XX）；生物学和其他自然科学（92-XX）
石膏 1份文件引用(2019) 软件作者： 施密奇、F.、E.Szczurek、S.Kreibich、S.Dilling、D.Andritschke、A.Casanova、S.H.Low、S.Eicher、S.Muntwiler、M.Emmenlauer、P.RäMö、R.Conde-Alvarez、C.von Mering、W.-D.Hardt、C.Dehio、N.Beerenwinkel 相关软件： PRMLT；ToppGene套件；netprioR… 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）
信息通信技术 1份文件引用(2020) 软件作者： Christian Jungreuthmayer、Stefan Neubauer、Teresa Mairinger、Jürgen Zanghelini、Stephan Hann 相关软件： IsoCor公司 主要字段： 生物学和其他自然科学（92-XX）
干扰建模和缓解工具箱 1份文件引用(2018) 软件作者： 卡皮尔·古拉蒂（Kapil Gulati）、马塞尔·纳赛尔（Marcel Nassar）、阿迪蒂亚·乔普拉（Aditya Chopra）、恩奈梅卡·本·奥卡福（Nnaemeka Ben Okafor）、马库斯·德扬（Marcus DeYoung）、纳维德·阿加萨德吉（Navid Aghasade 相关软件： Matlab；合成实验室 主要字段： 欧氏空间（42-XX）的调和分析；统计学（62-XX）；数值分析（65-XX）…
净优先权 1份文件引用(2019) 软件作者： 费比安·施密奇；杰克·柯伊伯；冈特·默德斯（Gunter Merdes）；尼科·比伦文克尔 相关软件： PRMLT；gespeR；ToppGene套件… 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）
PSRCHIVE公司 在0个文档中引用 软件作者： Willem van Straten、Paul Demorest、Stefan Osłowski 相关软件： 天文术；Numba；熊猫… 主要字段： –
皮西姆5G 在0个文档中引用 软件作者： E.J.Oughton、K.Katsaros、F.Entezami、D.Kaleshi、J.Crowcroft 相关软件： 蟒蛇；itmlogic公司 主要字段： –
转子 1份文件引用(2016) 软件作者： 卡迈克尔·R 相关软件： GitHub；FOILGEN公司；JBLADE… 主要字段： 可变形固体力学（74-XX）；流体力学（76-XX）；系统论；控制（93-XX）
TERESA公司 1份文件引用（2013年） 软件作者： 托马斯·卡蒂尔·米查德（Thomas Cartier-Michaud）；菲利普·根德里（Philippe Ghendrih）；弗吉尼亚州格兰吉拉德；纪尧姆·拉图 相关软件： GYSELA公司；磁粉探伤 主要字段： 数值分析（65-XX）；流体力学（76-XX）
超立体声 1份文件引用(2022) 软件作者： S.Fanello、Julien P.C.Valentin、Christoph Rhemann、Adarsh Kowdle、V.Tankovich、Philip L.Davidson、S.Izadi 相关软件： 布里斯克；效率Det；面2面… 主要字段： 计算机科学（68-XX）
W12SC3型 1份文件引用(2016) 软件作者： 卡迈克尔·R 相关软件： GitHub；FOILGEN公司；JBLADE… 主要字段： 可变形固体力学（74-XX）；流体力学（76-XX）；系统论；控制（93-XX）
CloudScope（云范围） 在0个文档中引用 软件作者： Chen X、Rupprecht L、Osman R、Pietzuch P、Franciosi F、Knottenbelt W 相关软件： – 主要字段： –
ND序列 在0个文档中引用 软件作者： 雅各布·伯尼姆（Jacob Burnim）、泰富·埃尔马斯（Tayfun Elmas）、乔治·内库拉（George Necula）、库什克·森（Koushik Sen） 相关软件： – 主要字段： –