莫塞克 634份文件引用(1999–2024) 软件作者： 莫斯科ApS 相关软件： YALMIP；SeDuMi公司；SDPT3… 主要字段： 统计学（62-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
GMRFLib公司 408篇文献引用(1991–2024) 软件作者： 哈瓦德街；莱昂哈德·赫尔德 相关软件： R；spBayes；贝叶斯DA… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
CP网络 134篇文献引用(2004–2023) 软件作者： Craig Boutiler、Ronen I.Brafman、Carmel Domshlak、Holger H.Hoos、David Poole 相关软件： 随身听；M-MACBETH；MiniSat… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
利比奥普 68篇文献引用(2019–2023) 软件作者： Nicholas P.沃德。 相关软件： 利格罗；斯巴达人；马林… 主要字段： 数论（11-XX）；代数几何（14-XX）；计算机科学（68-XX）…
多重嵌套 53篇文献引用(2006–2023) 软件作者： Feroz，F.，Hobson，M.P.，Bridges，M 相关软件： 多毛类；巨蟒山；痛苦… 主要字段： 统计学（62-XX）；数值分析（65-XX）；量子理论（81-XX）…
Memtype-2L型 39篇文献引用(2008–2019) 软件作者： Chou，K.C。；沈海波（Shen，H.B.）。 相关软件： 细胞定位；ProtIdent；信号-CF… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
智能_ 23篇文献引用(2000–2018) 软件作者： Ciardo，G。；Jones，R.L。；Miner，A.S.公司。；R·西米尼亚努。 相关软件： 自旋蛋白；棱镜；NuSMV… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
FLEXI公司 31份文件引用(2020–2024) 软件作者： 尼科·克莱斯（Nico Krais）；安德烈亚·贝克（Andrea Beck）；托马斯·博莱曼；汉内斯·弗兰克；大卫·弗拉德（David Flad）；格雷戈·加斯纳（Gregor Gassner）；弗洛里安·辛登朗；霍夫曼，马尔特；托马斯·库恩（Thomas Kuhn）；马蒂亚斯十四行诗；克劳斯·迪特·蒙兹 相关软件： Nektar++；耐克5000；HOPR… 主要字段： 偏微分方程（35-XX）；近似和展开（41-XX）；数值分析（65-XX）…
FAUST2型 19份文件引用(2017–2023) 软件作者： S.Esmaeil Zadeh Soudjani、C.Gevaerts、A.Abate 相关软件： 棱镜；SReachTools；静止… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
长链氯化聚乙烯 9份文件引用(2013–2023) 软件作者： 本杰明·泰勒（Benjamin M.Taylor）、蒂尔曼·戴维斯（Tilman M.Davies）、巴里·罗林森（Barry S.Rowlingson）、彼得·迪格尔（Peter J.Diggle） 相关软件： R；施帕斯塔特；INLA… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
索利娅 14篇文献引用(2010–2023) 软件作者： 西尔万·切维拉德；米奥拉乔尔德什；克里斯托夫·劳特 相关软件： 加帕；MPFR；Coq… 主要字段： 实函数（26-XX）；近似和展开（41-XX）；数值分析（65-XX）…
APNN工具箱 12份文件引用(1999–2022) 软件作者： 彼得·巴赫霍尔茨（Peter Buchholz）；马库斯·费舍尔；彼得·坎佩尔；卡斯滕·泰珀 相关软件： 棱镜；政治公众人物协议；LDQBD… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；概率论与随机过程（60-XX）；数值分析（65-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）…
格栅 6篇文献引用(2018–2022) 软件作者： 彼得·兰米奇 相关软件： Isabelle/HOL；DRAT-饰件；GitHub… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；计算机科学（68-XX）…
提升式配置 7份文件引用(2017–2024) 软件作者： Rien Quirynen；塞巴斯蒂安·格罗斯；Boris Houska；莫里茨·迪尔 相关软件： ACADO；Ipopt；NewtonLib… 主要字段： 动力系统与遍历理论（37-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
SABRE公司 5份文件引用(2011–2016) 软件作者： Didier，F.，Henzinger，T.A.，Mateescu，M.，Wolf，V 相关软件： 棱镜；玛丽；生物PEPA… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
SUSY现象学工具箱 7份文件引用(2012–2015) 软件作者： F.Staub、T.Ohl、W.Porod、C.Speckner 相关软件： 莎拉；斯费诺；HiggsBounds… 主要字段： 量子理论（81-XX）；相对论和引力理论（83-XX）
ADF95型 5份文件引用(2005–2016) 软件作者： 克里斯蒂安·斯特拉卡 相关软件： ADIFR；ADOL-C；舒适… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
卡萨尔 5份文件引用(2012–2022) 软件作者： 彼得·布利切夫（Peter Bulychev）；亚历山大·戴维；古德斯特兰·拉森（Kim Guldstrand Larsen）；Legay，Axel；李广元；丹尼·鲍尔森（Danny Bougsted Poulsen）；阿梅莉·施泰纳 相关软件： Uppaal；UPPAAL TIGA；APMC… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
GAPPCO公司 5份文件引用(2017–2022) 软件作者： 迪特马尔·希尔登布兰德；西尔维娅·弗朗西尼；詹蒂莱，安东尼奥；乔治·瓦萨洛；维塔比尔，萨尔瓦多 相关软件： 加吉特；Numba；GAALOPWeb… 主要字段： 数论（11-XX）；线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）…
HyCC公司 4份文件引用(2020–2023) 软件作者： Büscher，N.、Demmler，D.、Katzenbeisser，S.、Kretzmer，D.、Schneider，T。 相关软件： ABY；怀孢子虫；美味… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
MF类 4份文件引用(2019–2023) 软件作者： 萨赫利·科斯塔巴尔，弗朗西斯科；巴黎佩迪卡里斯；Ellen Kuhl；Daniel E.Hurtado。 相关软件： GitHub；Matplotlib；BoTorch… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
PyTOPS公司 在0个文档中引用 软件作者： Vinay Yadav、Subhankar Karmakar、Pradip P.Kalbar、A.K.Dikshit 相关软件： 蟒蛇；超级决策；视觉承诺… 主要字段： –
QUAIL公司 引用于3份文件(2016–2019) 软件作者： 法布里奇奥·比昂迪（Fabrizio Biondi）、阿克塞尔·莱吉（Axel Legay）、路易斯·马里·特劳诺兹（Louis-marie Traonouez） 相关软件： ANTLR；DTA++；泄漏监视 主要字段： 统计学（62-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
玫瑰色 4份文件引用(2003–2010) 软件作者： 丹·昆兰 相关软件： SUIF；GAMS；AMPL… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）
STEX公司+ 引用于3份文件(2010–2011) 软件作者： 安德烈亚·科尔哈斯（Andrea Kohlhase）；迈克尔·科尔哈斯（Michael Kohlhase）；克里斯托夫·兰格 相关软件： SPARQL；氧化物；数学Dox… 主要字段： 计算机科学（68-XX）
ASAView公司 2份文件引用(2007–2012) 软件作者： Shandar Ahmad、Michael Gromiha、Hamed Fawareh、Akinori Sarai 相关软件： SPSS软件；iLoc-Plant；iLoc-Euk… 主要字段： 生物学和其他自然科学（92-XX）
贝叶斯PostEst 在0个文档中引用 软件作者： 约翰内斯·卡雷思（Johannes Karreth）、莎娜·斯科金（Shana Scogin）、罗伯·威廉姆斯（Rob Williams）、安德烈亚斯·贝格（Andreas Beger）、李明熙（Myunghee Lee）、尼尔·威廉姆斯（Neil Williams 相关软件： RStan；JAGS；Mcmcpack… 主要字段： –
丹麦能源公司 引用于3份文件(2017–2022) 软件作者： Decker，J。；Y·佩森。 相关软件： 挪威；CQL3D；GSL… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
FreeSASA公司 2份文件引用(2017–2018) 软件作者： 西蒙·米特纳希特 相关软件： 双鱼；非甾体抗炎药；无法访问… 主要字段： 数值分析（65-XX）；生物学和其他自然科学（92-XX）
OR-Gym公司 1份文件引用(2022) 软件作者： Christian D.Hubbs、Hector D.Perez、Owais Sarwar、Nikolaos V.Sahinidis、Ignacio E.Grossmann、John M.Wassick 相关软件： OpenAI健身房；古罗比；MIP学习… 主要字段： 变分法与最优控制；优化（49-XX）；系统论；控制（93-XX）
贝司手 2份文件引用(1999–2003) 软件作者： Toivonen，Hannu T.T。；曼尼拉，海基；马尔科·萨勒曼基维；卡里·佩卡·拉克索 相关软件： 漏洞；比特币；贝叶斯DA 主要字段： 统计学（62-XX）；数值分析（65-XX）；系统论；控制（93-XX）
DP2PN2求解器 2份文件引用(2006–2007) 软件作者： 霍尔格·莫赫 相关软件： PNML公司 主要字段： 变分法与最优控制；优化（49-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）
EpiFire公司 2份文件引用(2020–2022) 软件作者： Hladish，T。；Melamud，E。；巴雷拉，洛杉矶。；加利瓦尼，A。；洛杉矶迈耶斯。 相关软件： 科瓦辛；EpiModel；FluTE… 主要字段： 运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
jMarkov公司 1份文件引用(2017) 软件作者： 胡安·佩雷斯（Juan F.Pérez）；丹尼尔·席尔瓦（Daniel F.Silva）；朱利奥·哥伊斯（Julio C.Góez）；安德烈斯·萨米恩托；安德烈斯·萨米恩托·罗梅罗；Raha Akhavan-Tabatabaei；热尔曼·里阿尼奥 相关软件： MARCA；HyperStar；J阶段… 主要字段： 概率论与随机过程（60-XX）；运筹学，数学编程（90-XX）
麦道 1份文件引用（2013年） 软件作者： 乔纳森·博格多尔、亚历山大·戴维、阿恩德·哈特曼斯、霍尔格·赫尔曼斯 相关软件： Uppaal；PHAVer；SpaceEx… 主要字段： 计算机科学（68-XX）
QuteRTL公司 1份文件引用(2012) 软件作者： Yeh，Hu-Hsi；吴成寅；黄忠阳（Ric） 相关软件： 金刚狼；FShell；HSF… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
托瓦兹 2份文件引用(2023) 软件作者： Hyukpyo Hong；埃尔南德斯（Bryan S.Hernandez）。；金素（Kim，Jinsu）；金在京 相关软件： github 主要字段： 常微分方程（34-XX）；概率论与随机过程（60-XX）；生物学和其他自然科学（92-XX）
xREI公司 1份文件引用(2020) 软件作者： 伊恩·霍姆斯（Ian Holmes），拉尔斯·巴奎斯特（Lars Barquist） 相关软件： 外部斜坡；TTA Lynx；大坝7… 主要字段： 生物学和其他自然科学（92-XX）
贝叶斯拟合 在0个文档中引用 软件作者： Michael Slugocki、Allison B.Sekuler、Patrick Bennett 相关软件： Psignifit；Matplotlib；科学… 主要字段： –
贝叶斯多模式 1份文件引用(2024) 软件作者： 巴什蒂尔克，纳兰；克罗斯，杰米；彼得·德克尼夫（Peter de Knijff）；Lennart Hoogerheide；保罗·拉邦；赫尔曼·范·迪克 相关软件： – 主要字段： 统计学（62-XX）
BaySICS公司 在0个文档中引用 软件作者： Edson Sandoval-Castellanos、Eleftheria Palkopoulou、Love Dalén 相关软件： ABrox；abctools；ABC工具箱… 主要字段： –
包壳，包壳 1份文件引用(2018) 软件作者： V.Vassilev、V.Ilieva、L.Moneta、A.Penev、M.Vassiliev 相关软件： MuPAD；Matlab；特征… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
二氧化碳泡沫 1份文件引用(2018) 软件作者： M.J.Schelhaas、P.W.van Esch、T.A.Groen、B.H.J.de Jong、M.Kanninen、J.Liski、O.Masera、G.M.J.Mohren、G.J.Nabuurs、T.Palosuo、L.Pedroni、A.Vallejo、T.Vilén 相关软件： – 主要字段： 地球物理学（86-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；生物学和其他自然科学（92-XX）…
精确ODE约简.jl 1份文件引用(2024) 软件作者： 亚历山大·戴明（Alexander Demin）；Elizaveta Demitraki；格勒布·波古丁 相关软件： KaDE；侵蚀；尼莫… 主要字段： 结合环与代数（16-XX）；常微分方程（34-XX）；生物学和其他自然科学（92-XX）
OpenMETA公司 在0个文档中引用 软件作者： 贾诺斯·什蒂帕诺维茨（Janos Sztipanovits）；泰德·巴普蒂；尼玛、桑迪普；拉里·霍华德；伊桑·杰克逊 相关软件： OpenModelica；z3（零3） 主要字段： 计算机科学（68-XX）
PeneloPET聚酯 1份文件引用(2011) 软件作者： 西班牙，S.，Herraiz，J.L.，Vicente，E.，Vaquero，J.J.，Desco，M.，Udias，J.M。 相关软件： PENELOPE公司；GEANT4系列 主要字段： 数值分析（65-XX）；光学、电磁理论（78-XX）
SFCHECK（SF检查） 1份文件引用(2016) 软件作者： A.A.Vaguine、J.Richelle、S.J.Wodak 相关软件： 剂量；阿波罗；DBAli工具… 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）
兄弟竞争 1份文件引用(2019) 软件作者： J.Ansel、M.Pacula、Y.L.Wong、C.Chan、M.Olszewski、U.-M.O'Reilly、S.Amarasinghe 相关软件： 精密路径指示器；多维数据集浏览器；绿色… 主要字段： 计算机科学（68-XX）
SPN2MGM公司 1份文件引用(2006) 软件作者： B.R.哈维尔科特 相关软件： SPNP；MGM工具；MOSEL… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）
T-BAPS（T-BAPS） 1份文件引用(2007) 软件作者： 唐晶；陶景伦；Urakawa，Hidetoshi；朱卡·科兰德 相关软件： – 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）
SmartAnvil（智能铁砧） 在0个文档中引用 软件作者： Ducasse，S.、Rocha，H.、Bragagnolo，S.，Denker，M.、Francomme，C。 相关软件： – 主要字段： –