乐高 116篇文献引用(1991–2023) 软件作者： 罗，Z.，波拉克，R。 相关软件： Coq；Nuprl；自动… 主要字段： 历史与传记（01-XX）；数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
法国DUNE-FEM 41篇文献引用（2010年-2023年） 软件作者： 安德烈亚斯·德纳；罗伯特·科伦（Robert Klöfkorn）；马丁·诺尔特；马里奥·奥伯格 相关软件： DUNE；PETSc；交易.ii… 主要字段： 偏微分方程（35-XX）；全局分析，流形分析（58-XX）；数值分析（65-XX）…
息肉 33篇文献引用（1999年至2012年） 软件作者： Jansson，P。；J·杰林。 相关软件： 哈斯克尔；Stratego；Coq… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
效率 30篇文献引用(2013–2023) 软件作者： 安德烈·鲍尔（Andrej Bauer）；普雷特纳，马蒂亚 相关软件： 科卡；github；ML… 主要字段： 数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
J流量 23篇文献引用(2002–2022) 软件作者： 安德鲁·迈尔斯 相关软件： TaintDroid；哈斯克尔；TALx86… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
PolyTOIL公司 19份文件引用(1997–2014) 软件作者： Bruce，K.，Schuett，A.，van Gent，R.，Fiech，A。 相关软件： 羽量级Java；埃菲尔；测试版… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
科卡 19份文件引用(2014–2023) 软件作者： Leijen博士。 相关软件： 效率；github；ML… 主要字段： 数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
CoDiPack公司 18篇文献引用(2018–2023) 软件作者： Max Sagebaum、Tim Albring、Nicolas Gauger 相关软件： ADOL-C；SU2；dcc… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；流体力学（76-XX）…
GATK公司 16篇文献引用(2012–2021) 软件作者： A.McKenna、M.Hanna、E.Banks等人。 相关软件： Samtools；三角形；R、 … 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
HasCasl公司 17篇文献引用(2002–2015) 软件作者： Lutz Schr“oder；Till Mossakowski 相关软件： CASL；哈斯克尔；Hets… 主要字段： 数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
所有路径 10篇文献引用(2011–2018) 软件作者： J.Butler、I.MacCallum、M.Kleber、I.A.Shlyakhter、M.K.Belmonte、E.S.Lander、C.Nusbaum、D.B.Jaffe 相关软件： 天鹅绒；SHARCGS公司；仪表… 主要字段： 总体主题；藏品（00-XX）；组合数学（05-XX）；计算机科学（68-XX）…
虾 10篇文献引用（2010年至2017年） 软件作者： 隆布尔SM、拉克鲁特P、Dalca AV、Fiume M、Sidow A、Brudno M 相关软件： PatternHunter；肥皂；BWA… 主要字段： 总体主题；藏品（00-XX）；组合数学（05-XX）；数论（11-XX）…
TIL公司 12份文件引用(1997–2022) 软件作者： 戴维·塔迪蒂（David Tarditi）；克里斯·斯通（Chris Stone）；格雷格·莫里塞特（Greg Morrisett）；罗伯特·哈珀；佩里·程 相关软件： TALx86；哈斯克尔；ML… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
熔岩 在11份文件中引用(2002–2018) 软件作者： Bjesse，P.、Claessen，K.、Sheeran，M.、Singh，S。 相关软件： 哈斯克尔；muFP；Coquet… 主要字段： 数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
JAsCo公司 6篇文献引用(2003–2008) 软件作者： Cibrán，María Agustina；D'Hondt，Maja；戴维·苏韦；范德佩伦，维姆；维维安·乔克斯 相关软件： 方面J；JBoss；ASSAM… 主要字段： 计算机科学（68-XX）
MiniAgda公司 在11份文件中引用(2011–2023) 软件作者： A.阿贝尔。 相关软件： Coq；阿格达；GitHub… 主要字段： 数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；代数拓扑（55-XX）…
雅典娜 10篇文献引用(2004–2017) 软件作者： 康斯坦丁·阿库达斯 相关软件： 雅典娜；HE-E1GODF；卡斯特罗… 主要字段： 数理逻辑与基础（03-XX）；统计学（62-XX）；数值分析（65-XX）…
迪雅BC 7份文件引用(2012–2022) 软件作者： Cornuet JM、Pudlo P、Veyssier J、Dehne Garcia A、Gautier M、Leblois R、Marin JM、Estoup A 相关软件： abcrf；R；abc… 主要字段： 积分方程（45-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
SSAHA公司 引用于3份文件(2005–2016) 软件作者： Ning Z、Cox AJ、Mullikin JC 相关软件： 肥皂；BLAT；爆炸… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
寡聚物 7份文件引用(2007–2016) 软件作者： Benilton Carvalho、Rafael Irizarry、Ben Bolstad、Vincent Carey、Wolfgang Huber、Harris Jaffee、Jim MacDonald、Matt Settles 相关软件： BRLMM；血浆；R、 … 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）
STAR公司 9份文件引用(2007–2018) 软件作者： Olivier Delgrange、Eric Rivals 相关软件： T-REKS；IMEx；TROLL… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
蜗牛 7份文件引用（2010年至2021年） 软件作者： Chandra，S.、Fink，S.J.、Sridharan，M。 相关软件： 投掷；z3；STP… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
广场 5份文件引用(2007–2011) 软件作者： 托马斯·拉夫兰博伊斯（Thomas Laframboise）；戴维·哈林顿（David Harrington）；Barbara A.Weir。 相关软件： CARAT公司；R；PICNIC… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
VanillaICE公司 2份文件引用(2008–2010) 软件作者： 罗伯特·沙尔普夫（Robert Scharpf）；凯文·沙尔普夫（Kevin Scharpf）；英戈·鲁钦斯基 相关软件： R；PennCNV；BRLMM… 主要字段： 统计学（62-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
阿尔列金 5份文件引用(2002–2016) 软件作者： Excoffier，L。；拉瓦尔，G。；施耐德，S。 相关软件： PHYLIP；拉马克；快速煤… 主要字段： 统计学（62-XX）；数值分析（65-XX）；可变形固体力学（74-XX）…
FC公司++ 5份文件引用(2002–2011) 软件作者： 布莱恩·麦克纳马拉；亚尼斯·斯马拉格达基斯 相关软件： STL；Lambda库C++；Python… 主要字段： 代数拓扑（55-XX）；计算机科学（68-XX）
HapBlock公司 4份文件引用(2010–2018) 软件作者： 张凯、秦姿、陈涛、刘建生、沃特曼理学硕士、孙凤。 相关软件： htSNPer1.0；SKAT；HAPGEN2… 主要字段： 运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
PolyAML公司 5份文件引用(2005–2012) 软件作者： 丹塔斯，D.S。；Walker，D。；Washburn，G。；魏里奇，S 相关软件： Aspectual Caml；方面J；MAVEN… 主要字段： 计算机科学（68-XX）
修补程序类型 5份文件引用(2003–2010) 软件作者： Michael Y.莱文。；本杰明·皮尔斯。 相关软件： 毫升；OCaml；Ott… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
基因SNP 1份文件引用(2010) 软件作者： Eleni Giannoulato、Christopher Yau、Stefano Colella、Jiannis Ragoussis、Christoper C.Holmes 相关软件： R；血浆；PICNIC… 主要字段： 统计学（62-XX）
部落 4份文件引用(2010–2016) 软件作者： Clarke，D.、Drossopoulou，S.、Noble，J.、Wrigstad，T。 相关软件： Waldmeister；Mace4；校准仪9… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
双SPAdes（双SPAdes） 1份文件引用(2019) 软件作者： Yana Safonova、Anton Bankevich、Pavel A.Pevzner 相关软件： 仪表；天鹅绒；HaploMerger… 主要字段： 生物学和其他自然科学（92-XX）
Gmat公司 引用于3份文件(2004–2010) 软件作者： Castro，医学博士。；Ni~否，A。；穆诺兹·卡罗，C。 相关软件： 高斯人；游戏性；艾菲尔 主要字段： 统计学（62-XX）；量子理论（81-XX）；生物学和其他自然科学（92-XX）
HLIO公司 引用于3份文件(2015–2019) 软件作者： 巴勃罗，布瑞斯；Vytiniotis，Dimitrios；亚历杭德罗·拉索 相关软件： 哈斯克尔；流量凸轮；哈哈… 主要字段： 计算机科学（68-XX）
输入法 引用于3份文件（2010年至2021年） 软件作者： Mudunuri，S.B。；纳加拉贾拉姆，H.A。 相关软件： STAR；T-REKS；TROLL… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
对象货币 引用于3份文件(1994–2013) 软件作者： 迈克尔·哈努斯（Michael Hanus）；Frank Huch；菲利普·尼德劳 相关软件： 奥兹；巴贝尔；PAKCS… 主要字段： 计算机科学（68-XX）
session-ocaml会议 引用于3份文件(2018–2023) 软件作者： Imai，Keigo；吉田、Nobuko；袁，Shoji 相关软件： 莫德；蒙哥；LASH… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
SpaceMix公司 2份文件引用(2016–2018) 软件作者： Bradburd G.S.公司。；拉尔夫·P·L。；总经理办公室。 相关软件： R；野兽；fastDNAml… 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）
e_float（_F） 2份文件引用(2011–2015) 软件作者： 克里斯托弗·科尔曼约斯 相关软件： 组织环境信息系统；促进；Python… 主要字段： 特殊功能（33-XX）；数值分析（65-XX）
配饰 1份文件引用(2021) 软件作者： Ryan J Urbanowicz、Jeff Kiralis、Nicholas A Sinnott-Armstrong、Tamra Heberling、Jonathan M Fisher、Jason H Moore 相关软件： ExSTraCS；Scikit；UCI-ml… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
HapCol公司 2份文件引用(2017–2018) 软件作者： Pirola，Y.、Zacaria，S.、Dondi，R.、Klau，G.W.、Pisanti，N.、Bonizzoni，P。 相关软件： 发生了什么 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
Hapsembler公司 在0个文档中引用 软件作者： 尼尔根·唐梅兹（Nilgun Donmez）、迈克尔·布鲁德诺（Michael Brudno） 相关软件： 仪表；天鹅绒；dipSPAdes… 主要字段： ——
最小峰值 2份文件引用(2014) 软件作者： 斯蒂芬妮·希克；活页夹，哈拉尔德；亚历山德拉·尼特斯；马丁·舒马赫 相关软件： R；多核；划线… 主要字段： 总体主题；藏品（00-XX）；统计学（62-XX）
SIMCOAL公司 1份文件引用(2016) 软件作者： 吉尧姆·拉瓦尔（Guillaume Laval）、劳伦特·埃科菲耶（Laurent Excoffier） 相关软件： 拉马克；快煤；ForSim… 主要字段： 博弈论、经济学、金融和其他社会和行为科学（91-XX）；生物学和其他自然科学（92-XX）
SpeedHap公司 2份文件引用(2014–2016) 软件作者： Loredana M Genovese、Filippo Geraci、Marco Pellegrini 相关软件： HapCUT；ReFHap；埃克拉特… 主要字段： 组合数学（05-XX）；生物学和其他自然科学（92-XX）
中央控制单元++ 1份文件引用(2016) 软件作者： D.D.J.Chandar、J.Sitaraman、D.Mavrilis 相关软件： 坎特拉；内波；PoKiTT… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；经典热力学，传热（80-XX）
飞镖R 在0个文档中引用 软件作者： Bernd Gruber、Arthur Georges、Jose L.Mijangos、Peter J.Unmack、Oliver Berry、Lindsay V.Clark、Floriaan Devloo-Delva 相关软件： 生物蟒蛇；序列服务器；BlastGUI… 主要字段： ——
HTreeQA公司 1份文件引用(2016) 软件作者： Zhang、X.Zhang和W.Wang 相关软件： 加迈尔；树LD；TATES… 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）
IGV-plus型 在0个文档中引用 软件作者： 安东尼奥·阿格里亚塔（Antonio Agliata）；马可·德·马蒂诺；费拉罗，玛丽亚·布里吉达；马里奥·罗萨里奥·瓜拉西诺 相关软件： —— 主要字段： ——
联合采编 1份文件引用(2020) 软件作者： Morgane Pierre-Jean、Pierre Neuvial、Guillem Rigaill 相关软件： fpop；清真寺；分段器3IsBack… 主要字段： 统计学（62-XX）
模块发现器 1份文件引用(2022) 软件作者： 塞巴斯蒂安·弗莱克（Sebastian Vlaic）、特蕾西亚·康拉德（Theresia Conrad）、克里斯蒂安·托卡斯基-施奈尔（Christian Tokarski-Schnelle）、米卡·古斯塔夫松（Mika Gustafsson）、尤塔·达曼（Uta Dahmen）、莱因哈德· 相关软件： 树突；SigMod；多米诺骨牌… 主要字段： 生物学和其他自然科学（92-XX）
4便士 在0个文档中引用 软件作者： 安德烈亚·贝纳佐（Andrea Benazzo）；亚历克斯·潘齐埃拉（Alex Panziera）；乔治·贝托雷尔 相关软件： selscan；SLiM 2；SeleDiff（选择差异） 主要字段： ——
闪亮气体工具 在0个文档中引用 软件作者： 托马斯·霍夫曼（Thomas J.Hoffmann）、克里斯汀·米亚斯科夫斯基（Christine Miaskowski）、科德·科伯（Kord M.Kober） 相关软件： UCSC基因组浏览器；基因编码；闪亮… 主要字段： ——
SimPrily公司 在0个文档中引用 软件作者： 阿里拉·L·格莱斯顿；康苏埃洛·昆托·科尔特斯；朱利安·皮斯托利斯；大卫·克里斯蒂；Logan Gantner；布莱克·乔伊斯 相关软件： ABrox；abctools；ABC工具箱… 主要字段： ——
SneakerNet运动鞋 在0个文档中引用 软件作者： Taylor Griswold；柯蒂斯·卡普萨克；Jessica C.Chen；亨克·C·登·巴克；格兰特·威廉姆斯；艾丽莎·凯利；Eshaw Vidyaprakash；李·卡茨 相关软件： PERL；Nullarbor；ASA3P… 主要字段： ——
狙击手 1份文件引用(2017) 软件作者： 丹尼尔·西莫拉（Daniel F Simola）；金俊雄（Junhyong Kim） 相关软件： GlfMultiples；RNASeqReadSimulator；abSNP… 主要字段： 生物学和其他自然科学（92-XX）
SNP芯片 1份文件引用(2008) 软件作者： Scharpf，R.B.、Ting，J.C.、Pevsner，J.、Ruczinski，I。 相关软件： CARAT公司；血浆；dChipSNP… 主要字段： 统计学（62-XX）
T-BAPS（T-BAPS） 1份文件引用（2007年） 软件作者： 唐静；陶景伦；Urakawa，Hidetoshi；朱卡·科兰德 相关软件： —— 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）
四倍体SNPMap 在0个文档中引用 软件作者： Hackett，C.A.、Boskamp，B.、Vogogias，A.、Preedy，K.F.、Milne，I。 相关软件： GWASpoly；JBrowserR；傀儡… 主要字段： ——
WEP公司 在0个文档中引用 软件作者： M.D'Antonio、P.D.De Meo、D.Paoletti、B.Elmi、M.Pallocca、N.Sanna、E.Picardi、G.Pesole和T.Castrignao 相关软件： 塔维纳；Docker；GATK… 主要字段： ——
XIBD公司 1份文件引用(2020) 软件作者： Henden L、Wakeham D、Bahlo M 相关软件： PedKin；佩迪格；IdCoefs… 主要字段： 生物学和其他自然科学（92-XX）