Matrix市场 176篇文献引用(1999–2024) 软件作者： Boisvert，R.、Pozo，R.、Remington，K.、Barrett，R.、Dongarra，J 相关软件： 稀疏矩阵；Matlab；Harwell-Being稀疏矩阵集合… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）…
凯卡克 137篇文献引用(2011–2024) 软件作者： Bertoni，G.、Daemen，J.、Peeters，M.、Van Assche，G。 相关软件： 出席；github；金利… 主要字段： 组合数学（05-XX）；数论（11-XX）；计算机科学（68-XX）…
科拉特 24篇文献引用(2001–2022) 软件作者： Chandrasekhar Boyapati；萨尔夫拉兹·库希德（Sarfraz Khurshid）；达科·马里诺夫 相关软件： Symstra公司；TestEra；Java PathFinder… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
最大持续流量 29篇文献引用(1998–2023) 软件作者： 安德烈亚斯·勒贝尔 相关软件： DIMACS；CPLEX；XPRESS… 主要字段： 组合数学（05-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
沃尔纳 21篇文献引用(2011–2022) 软件作者： Dutykh，Denys；蓬塞特，拉斐尔；迪亚斯，弗雷德里克 相关软件： 科技部；HLLE；COMCOT… 主要字段： 统计学（62-XX）；数值分析（65-XX）；可变形固体力学（74-XX）…
ASTA公司 16篇文献引用(1990–2009) 软件作者： 托马斯·赫尔斯特罗姆 相关软件： Matlab公司 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
芝诺牌手表 14篇文献引用(2012–2022) 软件作者： William Sonnex；索菲亚·德罗索波卢；苏珊·艾森巴赫 相关软件： HipSpec；SMT-LIB；CVC4… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
轻松检查 10篇文献引用(2009–2020) 软件作者： 扬·克里斯蒂安森（Jan Christiansen）；塞巴斯蒂安·费舍尔 相关软件： 快速检查；咖喱；SmallCheck… 主要字段： 计算机科学（68-XX）
rkpm2天 12份文件引用(2021–2023) 软件作者： Huang，T.H。；魏，H。；Chen，J.S。；M.希尔曼。 相关软件： 开放IFEM 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；可变形固体力学（74-XX）…
PathCrawler（路径爬行器） 5份文件引用（2008年至2021年） 软件作者： 尼基·威廉姆斯、布鲁诺·玛丽、帕特里夏·穆伊、穆里尔·罗杰 相关软件： 可爱的；投掷；z3… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
焦点测试 6篇文献引用(2011–2018) 软件作者： 卡利埃、马蒂厄；凯瑟琳·杜布瓦（Catherine Dubois）；阿尔诺·哥特利布 相关软件： 快速检查；Coq；SmallCheck… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
汽车MOTGen 4份文件引用(2009–2021) 软件作者： Ambar A.Gadkari大使；阿南·耶奥利卡尔（Anand Yeolekar）；J.Suresh；S.Ramesh；Swarup Mohalik；K.C.沙希达尔 相关软件： PHAVer；Simulink；Dymola… 主要字段： 计算机科学（68-XX）
GSNCA公司 5份文件引用(2016–2023) 软件作者： 拉赫马塔拉，Y。；Emmert-Streib，F。；格拉兹科，G。， 相关软件： JIVE；softImpute；丁戈… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
夸卡 5份文件引用(2018–2019) 软件作者： 李，F。；李，C。；Marquez-Lago，T.T。；Leier，A。；Akutsu，T。；Purcell，A.W。；Ian Smith，A。；利思高，T。；戴利，R.J。；J·宋。 相关软件： pLoc-mHum；iKcr-PseEns；pLoc-mGneg… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
风景 4份文件引用(2021–2023) 软件作者： 丹尼尔·弗里蒙特（Daniel J.Fremont）。；爱德华·金；托马索·德罗西；Ghosh，Shromona；岳向玉；Sangiovanni-Vincentelli，Alberto L。；Sanjit A.Seshia。 相关软件： 阿波罗；验证；卡拉… 主要字段： 数理逻辑与基础（03-XX）；常微分方程（34-XX）；数值分析（65-XX）…
MetaSim公司 2份文件引用(2017–2018) 软件作者： 哥伦比亚特区里希特。；Ott，F.等人。；A.F.奥赫。；施密德，R。；胡森，D.H。 相关软件： 一个；梅根；爆炸… 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）
多规格运输模型 4份文件引用(2012–2017) 软件作者： 瓦莱里奥·诺瓦雷西奥（Valerio Novaresio）、玛丽亚·加西亚·坎普鲁比（Maria García-Camprubí）、萨尔瓦多·伊兹基尔多（Salvador Izquierdo）、彼得罗·阿西纳里亚（Pietro Asinaria）、诺贝托·费约 相关软件： OpenFOAM；所有速度不稳定泡沫；澳大利亚… 主要字段： 数值分析（65-XX）；流体力学（76-XX）；光学、电磁理论（78-XX）…
PrologCheck（序言检查） 3份文件引用(2014–2022) 软件作者： 阿马拉尔（Cláudio）；马里奥弗洛里多；维托尔·桑托斯·科斯塔 相关软件： K校准仪；K工具；快速检查… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
鲁棒填充 4份文件引用（2019年-2023年） 软件作者： 雅各布·德夫林；约纳森·尤萨托（Jonathan Uesato）；苏里亚布帕提拉朱；里沙巴·辛格；阿卜杜勒·拉赫曼·穆罕默德；科利，普希米特 相关软件： SQL生成器；推动；PyshGP… 主要字段： 数理逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）
萨摩亚2 4份文件引用(2017–2020) 软件作者： 奥利弗·梅斯特；卡维·拉内马；迈克尔·巴德 相关软件： GEOCLAW公司；森林爪；皮诺… 主要字段： 数值分析（65-XX）；流体力学（76-XX）；地球物理学（86-XX）
欧几里得 2份文件引用(2012–2017) 软件作者： 阿尔诺·哥特利布（Arnaud Gotlieb）；本杰明·卡玛；IRISA的Lande项目团队 相关软件： 可爱的；投掷；Pex… 主要字段： 计算机科学（68-XX）
联邦应急管理委员会 2份文件引用(2003–2015) 软件作者： 克劳斯·霍利格（Klaus Höllig）、约格·霍纳（Jörg Hörner） 相关软件： —— 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）
JML单位 3份文件引用(2011–2022) 软件作者： 丹尼尔·齐默尔曼（Daniel M.Zimmerman）。；林克什·纳格莫蒂 相关软件： OpenJML；凯伊；JUnit… 主要字段： 计算机科学（68-XX）
JST公司 3份文件引用(2015–2017) 软件作者： Ghosh I、Shafiei N、Li G、Chiang W 相关软件： S3；Z3-str；通过… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
诺波尔 1份文件引用(2023) 软件作者： J.Xuan、M.Martinez、F.DeMarco、M.Clement、S.L.Marcate、T.Durieux、D.Le Berre、M.Monperrus 相关软件： 缺陷4J；ASTOR；先知… 主要字段： 计算机科学（68-XX）
rSW序列 3份文件引用(2016–2017) 软件作者： T.M.Kim、L.J.Luquette、R.Xi、P.J.Park 相关软件： CNV-seq；SeqBBS；读取深度 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；生物学和其他自然科学（92-XX）
SN版本 3份文件引用(2013–2018) 软件作者： Zhi Wei、Wei Wang、Pingzhao Hu、Gholson J.Lyon、Hakon Hakonarson 相关软件： Samtools；关贸总协定；ExomeWalker… 主要字段： 统计学（62-XX）；数值分析（65-XX）；生物学和其他自然科学（92-XX）
索诺拉 3份文件引用(2014–2018) 软件作者： Lapschies，F.、Peleska，J.、Gorbachuk，E.、Mangels 相关软件： ASTREE公司；数学SAT5；HOL灯… 主要字段： 计算机科学（68-XX）
合成蛋白 1份文件引用(2022) 软件作者： 奥利维娅·怀尔斯（Olivia Wiles）、乔治亚·吉奥萨里（Georgia Gkioxari）、理查德·塞利斯基（Richard Szeliski）、贾斯汀·约翰逊（Justin Johnson） 相关软件： ImageNet；PointNet；信根… 主要字段： 计算机科学（68-XX）
vlogsl语言 3份文件引用(2011–2013) 软件作者： Michael Katelman；何塞·梅塞盖尔 相关软件： 莫德；Java+ITP；K校准仪… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
竹竿 2份文件引用(2016–2019) 软件作者： 马拉菠菜属，A.-S。；切线，O。；Moreno-Mayar，J.V。；拉斯穆森，M。；DeGiorgio，M。；Wang，Y。；缬草血清，C.E。；Politis，G。；Willerslev，E。；尼尔森，R。 相关软件： 骨密度；METAREP公司；蛾… 主要字段： 统计学（62-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；生物学和其他自然科学（92-XX）
梅德勒 1份文件引用(2014) 软件作者： S.Kelm、J.Shi、C.M.Deane 相关软件： 瑞士模式；TMBpro；Psortb… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
多巴哥 2份文件引用(2001–2011) 软件作者： S.Sager、H.Diedam；M.恩格尔哈特 相关软件： LiftOpt；SolvIND；NETLIB LP测试集… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；运筹学，数学规划（90-XX）…
Datcom公司 1份文件引用(2016) 软件作者： Holy Cows公司。 相关软件： github；FOILGEN公司；JBLADE… 主要字段： 可变形固体力学（74-XX）；流体力学（76-XX）；系统论；控制（93-XX）
DeepHunter公司 在0个文档中引用 软件作者： 谢晓飞、马磊、费利克斯·觉菲-苏、陈洪旭、薛敏辉、李波、杨柳、赵建军、尹建雄、西蒙-西 相关软件： 深度规；深度突变；Scikit… 主要字段： ——
深度WL 在0个文档中引用 软件作者： 迈克尔·道格拉斯（Michael J.J.Douglass）、詹姆斯·基尔（James A.Keal） 相关软件： 天文术；蟒蛇；PyMedPhys公司 主要字段： ——
DR_HAWT（拖车） 1份文件引用(2016) 软件作者： K.Lee Slew、M.Miller、A.Fereidooni、P.Tawagi、G.El-Hage、M.Hou、E.Matida 相关软件： XFOIL；ParaView视图 主要字段： 可变形固体力学（74-XX）；流体力学（76-XX）
基因计数器 1份文件引用(2016) 软件作者： 坎比、J.S.、J.A.金伯利、Y.Di、D.W.谢弗、L.J.威廉、S.E.福克斯、C.M.沙利文、A.D.科森、J.C.卡林顿、T.C.莫克勒、J.H.张 相关软件： SAS；DEGseq；斯科蒂… 主要字段： 生物学和其他自然科学（92-XX）
MetaSpark公司 1份文件引用(2017) 软件作者： 周，W。；李，R。；袁，S。；刘，C。；姚，S。；罗，J。；牛，B 相关软件： AlexNet公司；ImageNet；Apache Spark… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）；信息与通信理论，电路（94-XX）
motif分叉 1份文件引用(2015) 软件作者： 丹尼斯·科斯特卡（Dennis Kostka）；塔拉·弗里德里希；Holloway，Alisha K。；凯瑟琳·波拉德。 相关软件： 对 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）
repgenHMM公司 1份文件引用(2020) 软件作者： Elhanati，Y。；Q·马可。；莫拉·T。；Walczak，A.M。 相关软件： RAxML；深度TCR；OLGA… 主要字段： 生物学和其他自然科学（92-XX）
StarFinder公司 1份文件引用(2019) 软件作者： Pham，Long H。；Le，Quang Loc；Phan，Quoc-Sang；孙军；秦胜超 相关软件： 日本煤炭公司；JBSE；GitHub… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
痕迹 在0个文档中引用 软件作者： Teseo Schneider、Patrick Zulian、Mohammad R.Azadmanesh、Rolf Krause、Matthias Hauswirth 相关软件： 再次崩溃；BALSA；PLTMG… 主要字段： ——
威士忌 1份文件引用（2018年） 软件作者： Shao，D.，Khurshid，S.，Perry，D.E。 相关软件： MiniSat；WhyLine；Kodkod… 主要字段： 计算机科学（68-XX）
XGBFEMF公司 1份文件引用(2019) 软件作者： 钟，J。；孙，Y。；彭，W。；谢，M。；杨，J。；唐，X 相关软件： iHyd-PseCp；pSumo-CD；iPTM-mLys… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
十亿立方米 1份文件引用(2023) 软件作者： 张崇林；杰瑞特·戴蒙德；卡梅隆·W·史密斯。；谢泼德（Mark S.Shephard）。 相关软件： PUMIPic公司；科科斯；PETSc公司 主要字段： 流体力学（76-XX）；天文学和天体物理学（85-XX）