VAMPIRE公司 308份文件引用（1985年-2023年） 软件作者： 亚历山大·里亚扎诺夫；安德烈·沃伦科夫 相关软件： TPTP；E定理证明器；SPASS… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；几何（51-XX）…
查姆 105篇文献引用(1992–2023) 软件作者： B.R.Brooks、R.E.Bruccoleri、B.D.Olafson、D.J.States、S.Swaminathan、M.Karplus 相关软件： 格罗姆克斯；NAMD；APBS… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；光学、电磁理论（78-XX）…
VeriFast公司 75篇文献引用(2009–2023) 软件作者： 巴特·雅各布斯；Jan Smans；弗兰克·皮森斯 相关软件： 达菲；布吉；z3… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
百万倍 40篇文献引用（2005年-2023年） 软件作者： M.祖克。 相关软件： Sfold；KineFold；RNA形状… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
维也纳RNA 26篇文献引用(2002–2022) 软件作者： Lorenz、Ronny和Bernhart、Stephan H.和Höner zu Siederdessen、Christian和Tafer、Hakim和Flamm、Christoph和Stadler、Peter F.和Hofacker、Ivo L。 相关软件： Rfam；NNDB；RNA结构… 主要字段： 总体主题；藏品（00-XX）；统计学（62-XX）；计算机科学（68-XX）…
iMethyl-PseAAC（异甲基苯丙酮） 21篇文献引用（2014年至2019年） 软件作者： 邱，W.R。；Xiao，X。；林伟珍（Lin，W.Z.）。 相关软件： iRSpot-PseDNC；Pse-in-One；iPTM-mLys… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
iHSP-PseRAAAC系统 16篇文献引用（2014年至2019年） 软件作者： 冯总理、陈伟、林浩、周朝伟 相关软件： iRSpot-PseDNC；pLoc-m动物；iSNO-PseAAC… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
折叠速率 15篇文献引用(2009–2020) 软件作者： 郭振秋；沈洪斌 相关软件： GPCR-CA；2D-MH；单元格位置… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
Sfold公司 12份文件引用(2006–2014) 软件作者： 丁毅、陈振英、劳伦斯CE 相关软件： 多重折叠；DINAMelt；Rfam… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；统计力学，物质结构（82-XX）…
DINAMelt公司 7份文件引用(2007–2011) 软件作者： 尼古拉斯·R·马卡姆（Nicholas R.Markham）；迈克尔·祖克 相关软件： 寡核苷酸阵列；Sfold；多重… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；统计力学，物质结构（82-XX）…
MCAMC公司 12份文件引用(1998–2022) 软件作者： Novotny，文学硕士。；S.M.惠勒。 相关软件： 明尼苏达州QLP；最小值；MUMPS… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；光学、电磁理论（78-XX）…
NNDB公司 在11份文件中引用(2014–2021) 软件作者： 特纳，DH；DH马修斯 相关软件： 维也纳RNA；github；TP结构… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；经典热力学，传热（80-XX）…
SMMP公司 12份文件引用(1995–2010) 软件作者： Jan H.Meinke、Sandipan Mohanty、Frank Eisenmenger、Ulrich H.E.Hansmann 相关软件： ARVO；洞穴；SURFNET… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
山猫 10篇文献引用(2013–2021) 软件作者： Ganesh，V.、O'Donnell，C.W.、Soos，M.、Devadas，S.、Rinard，M.C.、Solar-Lezama，A。 相关软件： 数学检查；枫树；FFTW… 主要字段： 组合数学（05-XX）；数论（11-XX）；几何（51-XX）…
CoVaC公司 9份文件引用(2009–2022) 软件作者： Zaks，A.，Pnueli，A。 相关软件： z3；SeaHorn；布吉… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
折叠X 7份文件引用(2007–2016) 软件作者： Schymkowitz J.、Borg J.、Stricher F.、Nys R.、Rousseau F.、Serrano L。 相关软件： PoPMuSiC；查姆；ProTherm… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
KineFold公司 8份文件引用(2011–2019) 软件作者： A.Xayaphoumine、T.Bucher、H.Isambert 相关软件： 多重折叠；RNAsubopt；维也纳RNA… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
UNA折叠 6篇文献引用(2012–2020) 软件作者： 马卡姆，N.R.，祖克，M。 相关软件： 多重折叠；Pfold；维也纳RNA… 主要字段： 总体主题；藏品（00-XX）；组合数学（05-XX）；计算机科学（68-XX）…
RNA对齐 6篇文献引用(2000–2010) 软件作者： F胸脯，B米肖 相关软件： GPCR-CA；GPCR-GIA；EzyPred… 主要字段： 组合数学（05-XX）；统计学（62-XX）；数值分析（65-XX）…
RNA形状 6篇文献引用(2008–2015) 软件作者： Steffen P.、VoßB.、Rehmsmeier M.、Reeder J.、Giegerich R 相关软件： 多重折叠；Rfam；折叠… 主要字段： 总体主题；藏品（00-XX）；组合数学（05-XX）；统计力学，物质结构（82-XX）…
C查找器 4份文件引用(2008–2018) 软件作者： Z.Yao、Z.Weinberg、W.L.Ruzzo 相关软件： 无间道；Rfam；pLoc-mHum… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
折叠网 5份文件引用(2019–2023) 软件作者： 杨耀清、陈峰、沈一如、董田 相关软件： PointNet；VoxelNet；PointCNN… 主要字段： 近似和展开（41-XX）；欧氏空间（42-XX）的调和分析；数值分析（65-XX）…
NNcon公司 3份文件引用(2011–2016) 软件作者： Allison N.Tegge、Zheng Wang、Jesse Eickholt、Cheng Jianlin 相关软件： PSICOV；剂量；阿波罗… 主要字段： 一般拓扑（54-XX）；统计学（62-XX）；运筹学，数学规划（90-XX）…
PFRES公司 5份文件引用(2009–2019) 软件作者： Chen K，Kurgan L。 相关软件： LIBSVM；细胞定位；iDHS-EL… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
SCPRED公司 4份文件引用(2009–2014) 软件作者： 卢卡斯·库根；克日什托夫·西奥斯；柯晨 相关软件： LogitBoost；PSI-爆炸；爆炸… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
水果测量仪 5份文件引用(2012–2023) 软件作者： Diego U.Ferreiro、Elizabeth A.Komives、Peter G.Wolynes 相关软件： PSIPRED；建模师；SOLpro… 主要字段： 统计力学，物质结构（82-XX）；生物学和其他自然科学（92-XX）
MODENA（莫德纳） 5份文件引用(2016–2020) 软件作者： 塔内达，A 相关软件： Rfam；NNDB；快速排序… 主要字段： 变异微积分和最优控制；优化（49-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
n图-HE 4份文件引用(2021–2024) 软件作者： 费比安·博埃默（Fabian Boemer）、老挝宜兴（Yixing Lao）、罗萨里奥·卡马罗塔（Rosario Cammarota）、卡西米尔·维尔津斯基（Casimir Wierzynski） 相关软件： 瞪羚；TFHE；MP2ML… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
俄罗斯皇家空军 5份文件引用(2012–2019) 软件作者： Pugalenthi，G。；Kandaswamy，K.K。；P.科拉特卡尔。 相关软件： AFP-Pred；iDNA-Prot；iLoc-Virus… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
阿普斯梅姆 4份文件引用（2013年至2018年） 软件作者： 卡伦伯格，K.M。；乔达里，O.P。；de Forest，G.L。；戈哈拉，D.W。；贝克，N.A。；M.格雷布。 相关软件： MIBPB；APBS；tabipb… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；光学、电磁理论（78-XX）…
3DNA公司 2份文件引用(2004–2006) 软件作者： 卢，X.-J。；Olson，W.K.（英国）。 相关软件： DGL；FR3D；PyTorch… 主要字段： 差分方程和函数方程（39-XX）；统计学（62-XX）；数值分析（65-XX）…
折叠索引 3份文件引用(2008–2018) 软件作者： Prilusky，J。；费尔德，C.E。；Zeev-Ben-Mordehai，T。；里德伯格，E.H。；曼，O。；贝克曼，J.S。；西尔曼，I。；苏斯曼，J.L。 相关软件： IUPred；全局图；ROCR… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
闪烁 4份文件引用(2019–2023) 软件作者： 玛丽亚·阿尔普特（María Alpunte）、安吉尔·昆卡-奥尔加（Angel Cuenca-Ortega）、圣地亚哥·埃斯科瓦尔（Santiago Escobar）、朱莉娅·萨皮尼亚（Julia Sapiña） 相关软件： 莫德；ABETS；MTT… 主要字段： 一般代数系统（08-XX）；计算机科学（68-XX）
ORI-REVO公司 4份文件引用(2012–2021) 软件作者： Jun Mitani先生 相关软件： 苔丝；生命精灵 主要字段： 几何（51-XX）；凸和离散几何（52-XX）；数值分析（65-XX）…
RNA动力学 2份文件引用(2008–2013) 软件作者： Danilova，L.V.，Pervouchine，D.D.，Favorov，A.V.，Mironov，A.A。 相关软件： Pfold；多重折叠；tRNAscan-SE… 主要字段： 生物学和其他自然科学（92-XX）
玫瑰色 4份文件引用(2003–2010) 软件作者： 丹·昆兰 相关软件： SUIF；GAMS；AMPL… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
FFTbor公司 2份文件引用（2016年至2018年） 软件作者： Senter，E；谢赫，S；多图，我；庞蒂，Y；克洛特，P 相关软件： 维也纳RNA；NNDB；MODENA… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
动力学数据库 2份文件引用(2013–2015) 软件作者： 新南威尔士州博加泰雷瓦。；Osypov，A.A。；D.N.伊万科夫。 相关软件： iEzy药物；iMethyl-PseAAC；iCTX-Type… 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）
拉斯特朗 3份文件引用(1986–2000) 软件作者： Argyris，J。；Balmer，H.A。；Doltsinis，J.St。；A.库尔兹。 相关软件： – 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）
PPF-折叠网 3份文件引用(2019–2023) 软件作者： Haowen Deng、Tolga Birdal、Slobodan Ilic 相关软件： PointNet；三维匹配；PPF网… 主要字段： 近似和展开（41-XX）；欧氏空间（42-XX）的调和分析；数值分析（65-XX）…
QUB公司 3份文件引用（2016年至2018年） 软件作者： C·尼古拉。 相关软件： 龙；宾夕法尼亚树银行；蒂布隆… 主要字段： 偏微分方程（35-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
TurboFold公司 2份文件引用(2014–2015) 软件作者： A.O.Harmanci、G.Sharma、D.H.Mathews 相关软件： iLoc-Euk；CentroidAlifold；MARNA… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
微软建筑商 1份文件引用(2018) 软件作者： 议员哈里根；苏丹，MM；赫尔南德斯，CX；比利时Husic；伊士曼，P；施万特斯，CR；堪萨斯州波尚；麦吉本，RT；潘德，VS 相关软件： GPy；蟒蛇；Scikit… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
皮罗塞塔 1份文件引用(2018) 软件作者： 乔杜里，S。；Lyskov，S。；J·格雷。 相关软件： STRIDE（步态） 主要字段： 运筹学，数学编程（90-XX）；生物学和其他自然科学（92-XX）
RNExinv公司 2份文件引用(2015–2017) 软件作者： Avihoo A、Churkin A、Barash D 相关软件： NNDB；摩德纳；ARB… 主要字段： 总体主题；藏品（00-XX）；运筹学，数学编程（90-XX）；生物学和其他自然科学（92-XX）
ACORD公司 1份文件引用(2018) 软件作者： de Mingo López，路易斯·费尔南多；布拉斯（Nuria Gómez Blas）；佩尼拉，胡安·卡斯特拉诺斯；阿尔贝托·阿尔特塔·阿尔伯特 相关软件： github；R（右） 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
COFOLD公司 1份文件引用(2015) 软件作者： Proctor JR，Meyer IM公司 相关软件： ARB；EMBOSS；最小值… 主要字段： 总体主题；藏品（00-XX）；生物学和其他自然科学（92-XX）
CONFOLD公司 1份文件引用(2016) 软件作者： B Adhikari、D Bhattacharya等人。 相关软件： 剂量；阿波罗；DBAli工具… 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）
连续油管 1份文件引用(2014) 软件作者： 恩圭乌·胡塞（Nguewou-Hyousse），海伦娜（Helene）；阿萨莫阿Nkwanta 相关软件： Matlab；佩尔 主要字段： 生物学和其他自然科学（92-XX）
DAFS公司 1份文件引用(2015) 软件作者： 佐藤K、加藤Y、阿克苏T、浅井K、坂原一郎Y 相关软件： ARB；EMBOSS；最小值… 主要字段： 总体主题；藏品（00-XX）；生物学和其他自然科学（92-XX）
密度倍 1份文件引用(2006) 软件作者： Alkan，罐装；埃姆雷卡拉科克；Sahinalp，S.Cenk；Peter Unrau；埃布哈特，H.亚历山大；张开忠；杰里米·布勒 相关软件： – 主要字段： 生物学和其他自然科学（92-XX）
HIT公司 1份文件引用(2008) 软件作者： Anne E.Counterman Burba、Ursula Lehnert、Eric Z.Yu、Mark Gerstein 相关软件： 插座 主要字段： 生物学和其他自然科学（92-XX）
KFOLD公司 1份文件引用(2018) 软件作者： 欧共体戴克曼 相关软件： NNDB；维也纳RNA；MODENA… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
MAGRE公司 1份文件引用(2019) 软件作者： 阿尔夫·莫雷拉（Alves Moreira），卡洛斯（Carlos）；埃里克·艾利森（Eric Allison Philot）；利马，Angélica Nakagawa；安娜·利吉亚·斯科特 相关软件： AMYPdb；齐格鲁鳄；阿根廷… 主要字段： 生物学和其他自然科学（92-XX）
MS2距离 1份文件引用(2017) 软件作者： Amir H.Bayegan、Peter Clote 相关软件： RNAsubopt；维也纳RNA；KineFold… 主要字段： 运筹学，数学编程（90-XX）；生物学和其他自然科学（92-XX）
NoFold公司 1份文件引用(2017) 软件作者： Middleton SA、Kim J 相关软件： OpenDMAP；卡纳；图表… 主要字段： 总体主题；藏品（00-XX）；生物学和其他自然科学（92-XX）
PaxDb公司 1份文件引用(2018) 软件作者： Wang M、Weiss M、Simonovic M、Haertinger G、Schrimpf SP、Hengartner MO、von Mering C 相关软件： 动态记录仪；gplots；否定… 主要字段： 生物学和其他自然科学（92-XX）
PconsFold公司 1份文件引用(2016) 软件作者： Mirco Michel、Sikander Hayat、Marcin J.Skwark、Chris Sander、Debora S.Marks、Arne Elofsson 相关软件： 剂量；阿波罗；DBAli工具… 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）
PicXAA-R公司 1份文件引用(2015) 软件作者： 撒哈拉SM，Yoon BJ 相关软件： ARB；EMBOSS；最小值… 主要字段： 总体主题；藏品（00-XX）；生物学和其他自然科学（92-XX）
核糖体构建器 1份文件引用（2005年） 软件作者： 威廉·奈特；沃尔特·希尔；J.Stephen Lodmell 相关软件： MMTK；VMD；Lua… 主要字段： 数值分析（65-XX）；生物学和其他自然科学（92-XX）
RNA2D3D 1份文件引用(2015) 软件作者： Martinez HM、Maizel JV Jr、Shapiro BA 相关软件： ARB；EMBOSS；最小值… 主要字段： 总体主题；藏品（00-XX）；生物学和其他自然科学（92-XX）
RNAExp编号 1份文件引用(2018) 软件作者： 彼得，克洛特；阿米尔·巴耶根。 相关软件： NNDB；维也纳RNA；MODENA… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
RNA抗体 1份文件引用(2015) 软件作者： Weinbrand L、Avihoo A、Barash D 相关软件： ARB；EMBOSS；最小值… 主要字段： 总体主题；藏品（00-XX）；生物学和其他自然科学（92-XX）
RNA链 1份文件引用(2017) 软件作者： Reiche K，Stadler PF公司 相关软件： OpenDMAP；NoFold；卡纳… 主要字段： 总体主题；藏品（00-XX）；生物学和其他自然科学（92-XX）
STING触点 1份文件引用（2005年） 软件作者： A.L.Mancini、R.H.Higa、A.Oliveira、F.Dominiquini、P.R.Kuser、M.E.B.Yamagishi、R.C.Togawa、G.Neshich 相关软件： STING Millennium套房；ZDOCK公司 主要字段： 生物学和其他自然科学（92-XX）
深度 在0个文档中引用 软件作者： Song J、Tan H、Mahmood K、Law RH、Buckle AM、Webb GI、Akutsu T、Whistock JC。 相关软件： – 主要字段： –
RNA折叠2T 在0个文档中引用 软件作者： 胡安·安东尼奥·加西亚-马汀（Juan Antonio Garcia-Martin）、伊万·多图（Ivan Dotu）、哈维尔·费尔南德斯·卡莫罗（Javier Fernandez-Chamorro）、格洛丽亚·洛扎诺（Gloria Lozano）、豪尔赫·拉马乔（Jorge Ramajo）、恩 相关软件： – 主要字段： –