信号 51篇文献引用(1987–2020) 软件作者： 大卫·诺瓦克；Jean-Pierre Talpin；蒂埃里·戈蒂埃；保罗·勒格尼 相关软件： 卢斯特；酯类；托勒密… 主要字段： 一般性和全局性主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
TALX6公司 44篇文献引用(1998–2022) 软件作者： 格雷格·莫里塞特、卡尔·克莱里、尼尔·格鲁、丹·格罗斯曼、理查德·萨缪尔、弗雷德里克·史密斯、大卫·沃克、斯蒂芬妮·威里奇、史蒂夫·兹丹塞维奇 相关软件： Coq；毫升；哈斯克尔… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
旋风 30篇文献引用(2003–2022) 软件作者： 弗雷德里克·史密斯；Dan Grossman；格雷格·莫里塞特（Greg Morrisett）；卢克·霍诺夫（Luke Hornof）；吉姆·特雷弗 相关软件： 哈斯克尔；CCured公司；Coq… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
ISAJet公司 26篇文献引用(2006–2022) 软件作者： H.Baer、F.E.Paige、S.D.Protopescu、X.Tata 相关软件： 柔软；斯费诺；micrOMEGAs… 主要字段： 代数几何（14-XX）；数值分析（65-XX）；量子理论（81-XX）…
开放地理系统 23篇文献引用(2012–2024) 软件作者： O.科尔迪茨 相关软件： DuMuX；PFLOTRAN；PHREEQC… 主要字段： 一般性和全局性主题；藏品（00-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
ATL公司 12份文件引用(2008–2021) 软件作者： 弗莱德里克·尤厄（Frédéric Jouault）；弗雷迪，阿利莱尔；让·贝齐文；伊万·库特夫 相关软件： HOL-OCL；UML2合金；AGG… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
纳米法兰 17篇文献引用(2017–2024) 软件作者： 何塞·路易斯·布兰科；拉伊·普兰贾尔·库马尔 相关软件： github；p4测试；PETSc… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；数值分析（65-XX）…
Ontop（顶部） 13份文件引用(2014–2021) 软件作者： 罗曼·孔查科夫（Roman Kontchakov）；马丁·雷兹克；马里亚诺·罗德里格斯·穆罗；肖国辉；迈克尔·扎克哈里亚舍夫 相关软件： MASTRO公司；SPARQL；LUBM… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融学和其他社会和行为科学（91-XX）
Emacs公司 在15份文件中引用(1991–2013) 软件作者： Michael A.Schoonover。；约翰·S·鲍伊（John S.Bowie）。；威廉·R·阿诺德。 相关软件： 不及物动词；OCaml；自动… 主要字段： 一般性和全局性主题；藏品（00-XX）；交换代数（13-XX）；计算机科学（68-XX）
OpenFermion公司 4份文件引用(2019–2021) 软件作者： 贾罗德·麦克莱恩（Jarrod R.McClean）、伊恩·德·基夫利坎（Ian D.Kivlichan）、凯文·宋楚瑜（Kevin J.Sung）、达米安·斯泰格（Damian S.Steiger）、曹玉东（Yudong Cao）、戴成玉（Chengyu Dai）、舒勒·弗里德（E.Schuyler Fried）、克雷格·吉尼（Craig Gidney）、布伦丹·金比（Brendan Gimby）、普拉纳夫·戈哈勒（Pranav Gokhale）、托马斯·哈纳（Thomas Häner）、塔里尼·哈迪卡尔（，尼古拉斯·鲁宾（Nicholas Rubin）、尼古拉斯·P·D·萨瓦亚（Nicolas P.D.Sawaya）、卡纳夫·塞蒂亚（Kanav Setia）、苏金·西姆（Sukin Sim）、马克·斯特特纳（Mark Steudtner）、孙启明（Qiming Sun）、孙伟（ 相关软件： QISKit；Python；项目Q… 主要字段： 变分法与最优控制；优化（49-XX）；计算机科学（68-XX）；量子理论（81-XX）…
TIL公司 12份文件引用(1997–2022) 软件作者： 大卫·塔蒂；克里斯·斯通（Chris Stone）；格雷格·莫里塞特（Greg Morrisett）；罗伯特·哈珀；佩里·程 相关软件： TALx86；哈斯克尔；ML… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
PSPC链路 10篇文献引用(1997–2017) 软件作者： 阿尔贝托·阿巴德；费利克斯·桑胡安 相关软件： PSPC；数学；ATESAT… 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；计算机科学（68-XX）…
BEE公司 8份文件引用(2012–2022) 软件作者： Metodi，Amit；迈克尔·科迪什 相关软件： 鹦鹉螺；踪迹；MiniSat… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
OEuf公司 8份文件引用(2018–2022) 软件作者： 马伦，E。；彭斯坦纳，S。；Wilcox，J.R。；Tatlock，Z。；格罗斯曼，D。 相关软件： Coq；CertiCoq；CakeML… 主要字段： 计算机科学（68-XX）
BousiProlog公司 6篇文献引用(2017–2023) 软件作者： 伊兰佐、帕斯夸尔·朱利安、克莱门特·鲁比奥·曼扎诺 相关软件： Likelog；SWI-预测；快速… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
JLAPACK公司 6篇文献引用（1999年-2010年） 软件作者： 大卫·杜林（David M.Doolin）；杰克·东加拉；基思·西摩 相关软件： LAPACK；睡衣；LINPACK… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
重新选择 6篇文献引用(2006–2018) 软件作者： 吉姆·格兰迪（Jim Grundy）；Tom Melham；约翰·奥利里 相关软件： Coq；毫升；Agda… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
利亚巴斯 6篇文献引用(1969–2013) 软件作者： 加夫里洛夫，医学硕士。；扎克列夫斯基。 相关软件： APL公司 主要字段： 历史与传记（01-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
OMP-FOR BEC总成 4份文件引用(2016–2023) 软件作者： 路易斯·E·杨·S。；Paulsamy Muruganandam；Sadhan K.Adhikari；弗拉基米尔·隆卡；杜桑·武德拉戈维奇；安顿·巴拉兹 相关软件： 格罗斯·皮塔耶夫斯基；GP-SCL；AEDU… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；统计力学，物质结构（82-XX）…
镉 4份文件引用(2008–2017) 软件作者： 格雷戈里·杜克（Gregory J.Duck）。；Leslie De Konink；彼得·斯图基（Peter J.Stuckey）。 相关软件： 微量锌；Gecode公司；G12… 主要字段： 计算机科学（68-XX）
cisTEM公司 4份文件引用(2020–2023) 软件作者： Grant T、Rohou A、Grigorieff N、Ben Himes 相关软件： 低温SPARC；关系；EMan… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；光学、电磁理论（78-XX）…
铜斑蛇 1份文件引用(2016) 软件作者： Catanzaro，B.，Garland，M.，Keutzer，K。 相关软件： CUDA；OpenCL；PyOpenCL… 主要字段： 计算机科学（68-XX）
G小调 4份文件引用(2010–2019) 软件作者： 麦克赖特，安德鲁；蒂姆·骑士；安德鲁·托尔马赫 相关软件： Coq；CompCert；CompCertTSO… 主要字段： 计算机科学（68-XX）
HyCC公司 4份文件引用(2020–2023) 软件作者： Büscher，N.、Demmler，D.、Katzenbeisser，S.、Kretzmer，D.、Schneider，T。 相关软件： ABY；怀斯特里亚；美味… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
CAPLib公司 引用于3份文件(2000–2006) 软件作者： Leggett，P.F。；约翰逊，S.P。；克罗斯，M。 相关软件： CAPTools；MatWeb；SHMEM… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；流体力学（76-XX）
奈拉 引用于3份文件(1999–2002) 软件作者： 萨哈鲁·B·朱奈杜。；菲尔·特林德。 相关软件： 胶；哈斯克尔；MCNP… 主要字段： 一般性和全局性主题；藏品（00-XX）；计算机科学（68-XX）
Ocelot公司 2份文件引用(2013–2015) 软件作者： 迪亚莫斯，G.F.，克尔，A.R.，亚拉曼奇利，S.，克拉克，N。 相关软件： CUDA；OpenCL；铬… 主要字段： 计算机科学（68-XX）
佩库伯 引用于3份文件(2006–2012) 软件作者： 让·布劳恩（Jean Braun）；范德比克，彼得；杰弗里·巴特 相关软件： DistMesh；L-BFGS公司 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；地球物理学（86-XX）
Rllvm编译 2份文件引用（2014年） 软件作者： Temple Lang，D。；弗吉尼亚州布法罗。 相关软件： R；卢比；Rllvm… 主要字段： 一般性和全局性主题；藏品（00-XX）；统计学（62-XX）；计算机科学（68-XX）
OpenGrm公司 2份文件引用(2021) 软件作者： Roark，B.、Sproat，R.、Allauzen，C.、Riley，M.、Sorensen，J.、Tai，T。 相关软件： AlexNet；ImageNet；DeCAF… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
会计师事务所 1份文件引用(2019) 软件作者： 弗雷德里克·贝松；Blazy，Sandrine；亚历山大·丹（Alexandre Dang）；托马斯·延森（Thomas Jensen）；皮埃尔·威尔克 相关软件： CompCertS；岩盐；暗黑破坏神… 主要字段： 计算机科学（68-XX）
CoVisor公司 1份文件引用(2015) 软件作者： Xin Jin、Jennifer Gossels、Jennafer Rexford、David Walker 相关软件： NetKAT公司 主要字段： 计算机科学（68-XX）
SIMBio公司 1份文件引用(2020) 软件作者： Rubert DP、Araujo E、Stefanes MA 相关软件： GO-TermFinder；QPath；GraMoFoNe… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
暗房 在0个文档中引用 软件作者： 詹姆斯·赫加蒂（James Hegarty）；John Brunhaver；扎卡里·德维托；乔纳森·拉甘·凯利（Jonathan Ragan-Kelley）；诺伊·科恩；史蒂文·贝尔（Steven Bell）；阿特姆·瓦西利耶夫；马克·霍洛维茨；帕特·汉拉罕 相关软件： – 主要字段： –