快速检查 93篇文献引用(2001–2024) 软件作者： 科恩·克莱森；约翰·休斯 相关软件： 哈斯克尔；Coq；Isabelle/HOL… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
吉隆坡机场 43篇文献引用（2010年-2023年） 软件作者： 克里斯蒂安·卡达尔、丹尼尔·邓巴、道森·恩格尔 相关软件： z3；可爱的；DART… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
虚拟库 50篇文献引用(2015–2024) 软件作者： 苏亚诺维奇，S.，宾厄姆，D。 相关软件： EGO；DiceKriging；骰子优化… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
GET（获取） 31份文件引用(2016–2023) 软件作者： Mari Myllymäki、TomášMrkvička、Pavel Grabarnik、Ute Hahn、Mikko Kuronen、Michael Rost、Henri Seijo 相关软件： 施帕斯塔特；R；空间… 主要字段： 代数拓扑（55-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
拓扑_多 23篇文献引用(2014–2022) 软件作者： 鲁霍拉·塔瓦科利 相关软件： 顶部.m；Matlab；前88.m… 主要字段： 偏微分方程（35-XX）；变异微积分和最优控制；优化（49-XX）；数值分析（65-XX）…
显示 22篇文献引用(1993–2021) 软件作者： Andraus，Zaher S。；Mark H.Liffiton。；卡伦·萨卡拉。 相关软件： MiniSat；MUSer2；HMQV… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
性能确认4 引用于19份文件(2019–2023) 软件作者： M.J.Kannwischer、J.Rijneveld、P.Schwabe、K.Stoffelen。 相关软件： github；凯伯；SIKE… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；量子理论（81-XX）…
TorX公司 16篇文献引用(2005–2021) 软件作者： Henrik Bohnenkamp；埃克塞尔·贝林芬特 相关软件： JTorX；SpecExplorer；STG… 主要字段： 计算机科学（68-XX）；运筹学，数学编程（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
塑料 18篇文献引用(2000–2023) 软件作者： 保罗·卡拉汉 相关软件： 乐高；Coq；阿尔法… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
rp.flm.测试 18篇文献引用（2019年至2024年） 软件作者： 库斯塔·阿尔贝托斯（Juan A.Cuesta-Albertos）。；加西亚-葡萄牙，爱德华多；Febrero-Bande，Manuel；文塞斯劳Gonz'alez-Manteiga 相关软件： fda（R）；R；fda.usc… 主要字段： 总体主题；藏品（00-XX）；概率论与随机过程（60-XX）；统计学（62-XX）
iHSP-PseRAAAC系统 16篇文献引用（2014年至2019年） 软件作者： 冯总理、陈伟、林浩、周朝伟 相关软件： iRSpot-PseDNC；pLoc-m动物；iSNO-PseAAC… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
fda试验 13份文件引用(2016–2023) 软件作者： 阿莱西亚·皮尼；西蒙·万提尼 相关软件： fda（R）；R；gprege… 主要字段： 总体主题；藏品（00-XX）；统计学（62-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
轻松检查 10篇文献引用(2009–2020) 软件作者： 扬·克里斯蒂安森（Jan Christiansen）；塞巴斯蒂安·费舍尔 相关软件： 快速检查；咖喱；SmallCheck… 主要字段： 计算机科学（68-XX）
MDC-椭圆 12份文件引用（2010年至2022年） 软件作者： D.S.Lopes、M.T.Silva、J.A.Ambrósio、P.Flores 相关软件： 联系人；照明设备；ABAQUS… 主要字段： 测量和集成（28-XX）；数值分析（65-XX）；粒子力学与系统（70-XX）…
LOCSVMPSI公司 7份文件引用(2008–2016) 软件作者： 谢，D。；李，A。；王，M。；Fan，Z。；冯，H。 相关软件： ESLpred；细胞定位；Euk-PLoc… 主要字段： 欧氏空间（42-XX）的调和分析；统计学（62-XX）；计算机科学（68-XX）…
ToppGene套件 7份文件引用(2018–2022) 软件作者： Chen，J.、E.E.Bardes、B.J.Aronow、A.G.Jegga 相关软件： 玻璃；项目管理局；DEseq… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
雅可比2.0 7份文件引用(2001–2021) 软件作者： 马丁·科勒（Martin Kröger）；胡特，马库斯；汉斯·克里斯汀·奥廷格 相关软件： Mathematica；地理统计；SymPy公司 主要字段： 动力系统与遍历理论（37-XX）；微分几何（53-XX）；数值分析（65-XX）…
OXBench公司 5份文件引用(2008–2017) 软件作者： Raghava GPS、Searle SMJ、Audley PC、Barber JD、Barton GJ 相关软件： ClustalW公司；SAB标记；肌肉… 主要字段： 总体主题；藏品（00-XX）；统计学（62-XX）；生物学和其他自然科学（92-XX）
婴儿文学 3份文件引用（2008年-2010年） 软件作者： Al-Shahrour，F.、Minguez，P.、Vaquerizas，J.M.、Conde，L.、Dopazo，J。 相关软件： 法蒂戈；政府统计局；生物导体… 主要字段： 统计学（62-XX）；数值分析（65-XX）；生物学和其他自然科学（92-XX）
焦点测试 6篇文献引用（2011年至2018年） 软件作者： 卡利埃、马蒂厄；凯瑟琳·杜布瓦（Catherine Dubois）；阿尔诺·哥特利布 相关软件： 快速检查；Coq；SmallCheck… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
DPP-PseAAC公司 5份文件引用(2018–2019) 软件作者： 拉赫曼（M.Saifur Rahman）；Shatabda，Swakkhar；桑杰·萨哈；Kaykobad，M。；拉赫曼（M.Sohel Rahman） 相关软件： iPTM-mLys；iDNA-Prot；pLoc-mPlant… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
PRED等级 3份文件引用(2008–2012) 软件作者： Pasquier C、Promponas VJ、Hamodrakas SJ 相关软件： SVM灯；SLEX；爆炸… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
SPM12型 5份文件引用(2011–2022) 软件作者： J.Ashburner、G.Barnes、C.Chen、J.Daunizeau、G.Flandin、K.Friston、S.Kiebel、J.Kilner、V.Litvak、R.Moran等人。 相关软件： SAS；茎；profdpm… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
APE公司 3份文件引用(2012–2013) 软件作者： Oliveira M.J.、Nogueira F。 相关软件： OCTOPUS公司；Libxc；BigDFT… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；统计力学，物质结构（82-XX）
CpG集群 2份文件引用(2009–2015) 软件作者： 哈肯伯格，M。；普雷维提，C。；Luque-Escamilla，P。；Carpena，P。；Martinez-Aroza，J。；J·奥利弗。 相关软件： ClustalW公司；引导；大卫 主要字段： 统计学（62-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；生物学和其他自然科学（92-XX）
嵌套MICA 1份文件引用（2010年） 软件作者： 穆特卢·多埃尔；托马斯·A·唐；蒂姆·J·哈伯德 相关软件： TRANSFAC公司；JASPAR；播种机… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
PrologCheck（序言检查） 3份文件引用(2014–2022) 软件作者： 阿马拉尔（Cláudio）；马里奥弗洛里多；维托尔·桑托斯·科斯塔 相关软件： K校准仪；K工具；快速检查… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
阶梯 3份文件引用(2002–2018) 软件作者： Nuamah IF、Qu Y、Amini SB 相关软件： SAS；R；纳迪夫… 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）
测试NG 2份文件引用(2009–2012) 软件作者： 塞德里克·贝斯特，哈尼·苏莱曼 相关软件： SpecExplorer；N模型；UniTESK… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
HPAM公司 3份文件引用(2005–2011) 软件作者： 科蒂克，V。；Romero Zaliz，R。；I·兹维尔。 相关软件： RegulonDB；BacPP；信号群邮件… 主要字段： 计算机科学（68-XX）；运筹学，数学编程（90-XX）；生物学和其他自然科学（92-XX）
PSOFuzzySVM-TMH公司 3份文件引用(2015–2019) 软件作者： Hayat M，Tahir M。 相关软件： 心理健康网络；Pse-in-One；iPTM-mLys… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
vlogsl语言 3份文件引用(2011–2013) 软件作者： Michael Katelman；何塞·梅塞盖尔 相关软件： 莫德；Java+ITP；K校准仪… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
AMIKS公司 2份文件引用(2017–2019) 软件作者： 米哈伊尔·阿列克桑德罗维奇（Mikhail Aleksandrovich）；伊万诺夫（Ivanov），Aleksandr Aleksandrovich；德米特里·德米特里耶维奇·斯米尔诺夫 相关软件： – 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；概率论与随机过程（60-XX）…
CoMeta公司 1份文件引用(2013) 软件作者： 保罗·巴尔丹；尼科莱塔·科克；费德里卡·朱莫莱；玛尔塔·西蒙 相关软件： 4ti2；KEGG；清爽… 主要字段： 生物学和其他自然科学（92-XX）
ConFunc公司 1份文件引用（2010年） 软件作者： Mark N.Wass，Michael J.E.Sternberg 相关软件： ConSeq公司；哺乳动物；PSLpred… 主要字段： 生物学和其他自然科学（92-XX）
CyclinPred（自行车踏板） 2份文件引用(2016–2021) 软件作者： 卡利塔，M.K。；英国南达。；Pattnaik，A。；西瓦林加姆，A。；拉马萨米，G。；库马尔，M。；Raghava，G.P。；D.古普塔。 相关软件： 爆炸；PSI-爆炸；PANTHER… 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）
ESPADON公司 2份文件引用(2003–2006) 软件作者： Bob K.Madahar。；艾恩·阿尔斯通（Ian D.Alston）。；丹尼斯·奥拉格尼尔；汉斯·舒勒；马克·托马斯（Mark Thomas）；布里吉特·萨吉特 相关软件： 锡林克斯 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
漏斗 2份文件引用(2018–2019) 软件作者： Zhang，Y.、Topham，D.J.、Thakar，J.、Qiu，X。 相关软件： 路径蜂窝网 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）
通用通用虚拟机 2份文件引用(2011–2013) 软件作者： 李，齐；萨勒曼，拉伊德；测试，埃里克 相关软件： LIBSVM；CONV_QP；UCI-ml… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
iBitter-SCM（比特-SCM） 2份文件引用(2021) 软件作者： P.Charoenkwan、Janchai Yana、N.Schaduangrat、C.Nantasenamat、M.Hasan、W.Shoombuatong 相关软件： 堡垒3；mAHT红色；hCKSAAP_UbSite… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
JProGO公司 1份文件引用(2011) 软件作者： 莫里斯·谢尔（Maurice Scheer）、弗兰克·克拉翁（Frank Klawonn）、理查德·穆奇（Richard Münch）、安德烈亚斯·格罗特（Andreas Grote）、卡斯滕·希勒（Karsten Hiller）、克劳迪娅·崔（Claudia Choi）、伊娜·科赫（Ina Koch）、马克斯·肖伯特（Max Schobert 相关软件： PathBLAST；莫韦；Cell Illustrator… 主要字段： 总体主题；藏品（00-XX）；生物学和其他自然科学（92-XX）
米隆加 2份文件引用(2002–2008) 软件作者： 布鲁诺，北。；海因茨，J。；马特拉，G。；Wachenchauzer，R。 相关软件： 投射Noether；克罗内克；隔离… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；计算机科学（68-XX）
RNA压缩 1份文件引用(2012) 软件作者： 刘，Q。；Yang，Y。；陈，C。；Bu，J。；Zhang，Y。；叶，X。 相关软件： CDNA；DNA压缩；ProCKSI… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
rsa工具箱 2份文件引用(2017–2021) 软件作者： 尼利，H。；温菲尔德，C。；沃尔瑟，A。；苏·L。；Marslen Wilson，W。；北卡罗来纳州克里盖斯科特。 相关软件： ImageNet；SVCCA；CIFAR… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
TravMC公司 2份文件引用(2012–2017) 软件作者： 不远处，罗宾·P。；史蒂文·拉姆齐（Steven J.Ramsay）。；王志浩（音） 相关软件： TravMC2；github；MoCHi… 主要字段： 计算机科学（68-XX）
阿特拉斯 1份文件引用(2016) 软件作者： 米文辉；邵雪成；苏传勋；周元元；张寿涛；Li，Quan；王慧；张丽君；苗茂生；王燕超；马燕明 相关软件： 布伦特；阿特拉斯 主要字段： 数值分析（65-XX）；统计力学，物质结构（82-XX）
首席财务官 1份文件引用(2018) 软件作者： Patrick Mair、Stefan Funke、Joachim Harloff、Alexander von Eye 相关软件： SAS；profdpm；预测… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
COMPADRE公司 1份文件引用(2014) 软件作者： Ramos-Rodriguez RR、Cuevas-Diaz-Duran R、Falciani F、Tamez-Peña JG、Trevino V。 相关软件： PennCNV；生物HMM；HdBCS… 主要字段： 统计学（62-XX）
ddbRNA 1份文件引用(2008) 软件作者： di Bernardo D.、Down T.、Hubbard T。 相关软件： Cofolga；MARNA；PSoL… 主要字段： 生物学和其他自然科学（92-XX）
电子质量工程 1份文件引用(2021) 软件作者： 米文辉；邵雪成；亚历山德罗·热那瓦；塞雷索利，戴维德；米歇尔·帕瓦内洛 相关软件： 量子浓缩咖啡 主要字段： 光学、电磁理论（78-XX）；量子理论（81-XX）
企业资源规划 1份文件引用(2016) 软件作者： David Causeur、Ching-Fan Sheu、Mei-Chen Chu、Flavia Rufini 相关软件： sva；FAMT；跳跃 主要字段： 统计学（62-XX）
FHI间隙 1份文件引用(2013) 软件作者： 蒋红；戈梅斯·阿巴尔，里卡多一世。；李新政；迈森比克勒，基督徒；Ambrosch-Draxl，Claudia；马蒂亚斯·谢夫勒 相关软件： 威恩2k 主要字段： 数值分析（65-XX）；统计力学，物质结构（82-XX）
弗雷格尔 1份文件引用(2022) 软件作者： 岩崎、秀霞；肯托州埃莫托；森田、秋叶；松崎，Kiminori；胡镇江 相关软件： SympleGraph；美人鱼；PathGraph… 主要字段： 计算机科学（68-XX）
杰皮格 1份文件引用(2020) 软件作者： 李东亨（Donghyung Lee）；Vernell S.Williamson；蒂姆·比格德利（Tim B.Bigdeli）；布莱恩·莱利（Brien P.Riley）；Ayman H.Fanous；弗拉基米尔·弗拉迪米洛夫；西尔维乌·阿林·巴卡努 相关软件： 叮当声 主要字段： 统计学（62-XX）
LibSBMLSim软件 在0个文档中引用 软件作者： Hiromu Takizawa、Kazushige Nakamura、Akito Tabira、Yoichi Chikahara、Tatsuhiro Matsui、Noriko Hiroi、Akira Funahashi 相关软件： SBW；RunBioSimulations；PySCeS… 主要字段： –
libvdwxc公司 在0个文档中引用 软件作者： Larsen A.H.、Kuisma M.、Lfgren J.、Pouillon Y.、Erhart P.、Hyldgaard P。 相关软件： WIEN2k；量子浓缩咖啡；Psi4… 主要字段： –
LncA深 1份文件引用(2019) 软件作者： 程阳、杨龙树、周满、谢浩玲、张成九、王五德、朱怀秋 相关软件： 线路；单词2vec；星基… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
mad-GP公司 1份文件引用(2022) 软件作者： Daniel Huang；滕、冲；鲍俊伟·卢卡斯；Jean-Baptiste，特里斯坦 相关软件： DScribe；github；DiffSharp… 主要字段： 概率论与随机过程（60-XX）；生物学和其他自然科学（92-XX）
机械弹性 1份文件引用(2021) 软件作者： 辛格，索比希特；朗，洛根；Viviana，Dovale-Farelo；乌塔巴拉的赫拉斯；佩德拉姆·塔瓦泽；弗朗索瓦·卡维耶（François-Xavier Coudert）；阿尔多·罗梅罗。 相关软件： 科学Py 主要字段： 可变形固体力学（74-XX）
motif分叉 1份文件引用(2015) 软件作者： 丹尼斯·科斯特卡（Dennis Kostka）；塔拉·弗里德里希；Alisha K.Holloway。；凯瑟琳·波拉德。 相关软件： R（右） 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）
MPI接口 在0个文档中引用 软件作者： 基兰·马修（Kiran Mathew）、阿鲁尼马·K·辛格（Arunima K.Singh）、约书亚·J·加布里埃尔（Joshua J.Gabriel）、卡迈尔·乔达里（Kamal Choudhary）、苏珊·B·辛诺特（Susan B.Sinnott）、阿尔伯特·V·达维多夫（Alber 相关软件： VASP；VASPsol；脓毒症… 主要字段： –
自旋-D 1份文件引用(2016) 软件作者： Tuo Zhang、Eshel Faraggi、Bin Xue、A.Keith Dunker、Vladimir N.Uversky、Yaoqi Zhou 相关软件： 剂量；阿波罗；DBAli工具… 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）