天文望远镜 5份文件引用(2018–2023) 软件作者： T.P.Robitaille、E.J.Tollerud等人。 相关软件： 蟒蛇；数字Py；Matplotlib… 主要字段： 统计学（62-XX）；光学、电磁理论（78-XX）；量子理论（81-XX）…
动态数学 32篇文献引用(2001–2018) 软件作者： DFKI&萨尔大学 相关软件： OMDoc；枫树；Isabelle/HOL… 主要字段： 总体主题；藏品（00-XX）；线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）…
Uppaal2k公司 38篇文献引用(2000–2017) 软件作者： 金·拉森（Kim G.Larsen）、王毅（Wang Yi）、保罗·佩特森（Paul Pettersson）、亚历山大·戴维（Alexandre David）、布莱恩·尼尔森（Brian Nielsen）、阿恩·斯科（Arne Skou）、约翰·哈坎森（John Hákansson）、雅各布·伊勒姆·拉斯穆森（Jacob Illum Rasmussen） 相关软件： Uppaal公司；克罗诺斯；高科技… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
链接 22篇文献引用(2008–2022) 软件作者： Ezra Cooper、Sam Lindley、Philip Wadler、Jeremy Yallop 相关软件： 克莱斯利；效率；Koka… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
福克斯 20篇文献引用(1998–2023) 软件作者： 迪亚斯，安吉尔；埃里希·卡尔托芬 相关软件： 枫树；SACLIB；FireFly… 主要字段： 数论（11-XX）；交换代数（13-XX）；近似和扩展（41-XX）…
节点.js 6篇文献引用(2017–2022) 软件作者： Ioannis K.Chaniotis。；Kyriakou，Kyriacos-Ioannis D。；Tselikas，Nikolaos D。 相关软件： JavaScript；GitHub；MySQL… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）
软糖 18篇文献引用(1993–2022) 软件作者： M.Carlsson、T.Hallgren。 相关软件： 哈斯克尔；清洁；名义上的伊莎贝尔… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
SCSCP公司 13份文件引用(2008–2017) 软件作者： S.Freundt、P.Horn、A.Konovalov、S.Linton、D.Roozemond 相关软件： 间隙；SageMath；枫树… 主要字段： 代数拓扑（55-XX）；计算机科学（68-XX）
瞪羚 12份文件引用(2020–2024) 软件作者： Chiraag Juvekar、Vinod Vaikuntanathan、Anantha Chandrakasan 相关软件： TFHE；ABY；MP-SPDZ… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
洛伊 9份文件引用(2002–2021) 软件作者： J.Siekmann、S.Hess、C.Benzmüller、L.Cheikhrouhou、A.Fiedler、H.Horacek、M.Kohlhase、K.Konrad、A.Meier、E.Melis、M.Pollet、V.Sorge 相关软件： TPTP；Coq；PVS… 主要字段： 数学逻辑与基础（03-XX）；交换代数（13-XX）；计算机科学（68-XX）
EC2C-PAKA公司 9份文件引用(2007–2013) 软件作者： Byun、Jin Wook；Lee，Dong Hoon；林钟英 相关软件： CMQV+；HMQV公司 主要字段： 动力系统与遍历理论（37-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
普罗维奥拉 8份文件引用(2010–2016) 软件作者： 坦克墨水，雕刻；赫尔曼·格乌弗斯；詹姆斯·麦金纳（James McKinna）；弗里克·威迪杰克 相关软件： Coq；一般证明；伊莎贝尔… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
格列维兹 8份文件引用(2013–2023) 软件作者： Van den Broeck，W.，Gioannini，C.，Goncalves，B.，Quaggiotto，M.，Colizza，V.，Vespignani，A 相关软件： plfit；GEMFsim；快照… 主要字段： 组合数学（05-XX）；动力系统与遍历理论（37-XX）；计算机科学（68-XX）…
积极主动 6篇文献引用（2002年至2019年） 软件作者： Inria Sophia Antipolis公司 相关软件： AmbientTalk；防抱死制动系统；甲酚… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；地球物理学（86-XX）
iNEOS公司 8份文件引用(2002–2010) 软件作者： 很好，马塞尔；Jean-Pierre Goux；豪尔赫·诺塞达尔；维克托·佩雷拉 相关软件： 近地天体；GAMS；AMPL… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；统计力学，物质结构（82-XX）…
LogiMOO公司 8份文件引用(1997–2012) 软件作者： 保罗·塔劳（Paul Tarau）；De Bosschere，科恩；Veronica Dahl；斯蒂芬·罗什福特 相关软件： 奥兹；SICStus公司；序言… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
SCiFI公司 7份文件引用(2012–2023) 软件作者： Osadchy，M.，Pinkas，B.，Jarrous，A.，Moskovich，B。 相关软件： 自行车；银；美味… 主要字段： 计算机科学（68-XX）；量子理论（81-XX）；信息与通信理论，电路（94-XX）
饮食 4份文件引用(2010) 软件作者： Caron，E。；F.德斯普雷兹。 相关软件： Ninf-G/MPI；网格求解；NetSolve… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
贾斯普 6篇文献引用(2000–2008) 软件作者： 小林，Ikunori；藤原武史；中野俊二；Yoshikazu山本 相关软件： Pnuts；JASP；XploRe… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
扫描视图 2份文件引用(2005) 软件作者： David Koller、Michael Turitzin、Marc Levoy；马可·塔里尼（Marco Tarini）、朱塞佩·克罗西亚（Giuseppe Croccia）、保罗·奇格诺尼（Paolo Cignoni）；罗伯托·斯科皮尼奥 相关软件： Qsplat；3dx最大值；Maya… 主要字段： 计算机科学（68-XX）
CLPGUI公司 3份文件引用(2009–2016) 软件作者： Fages，F.、Soliman，S.、Coolen，R。 相关软件： 佩特里韦布；生物模型；元工具… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
DAQV公司 5份文件引用(1997–2002) 软件作者： 史蒂文·哈克斯塔特（Steven T.Hackstadt）。；艾伦·D·马洛尼。 相关软件： HPFIT；WIEN97；SPiDER… 主要字段： 计算机科学（68-XX）
EvA2（EvA2） 2份文件引用(2015–2021) 软件作者： Kronfeld，M。；Planatscher，H。；A.泽尔。 相关软件： SPEA2；ParaDisEO；BioPreDyn试验台… 主要字段： 常微分方程（34-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）
网格求解 4份文件引用(2010) 软件作者： 乌拉尔，奥雷利；亚辛·亚尔汗 相关软件： OmniRPC；饮食；Ninf-G/MPI… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
Pengines公司 5份文件引用(2014–2019) 软件作者： 托比恩拉格；Wielemaker，简 相关软件： SWI-预测；R；真实… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
WAPTEC公司 5份文件引用(2014–2020) 软件作者： Bisht，P.、Hinrichs，T.、Skrupsky，N.、Venkatakrishnan，V.N。 相关软件： 通用电气；微量锌；通过… 主要字段： 计算机科学（68-XX）
GRECS公司 4份文件引用(2017–2022) 软件作者： Meng，X.、Kamara，S.、Nissim，K.、Kollios，G。 相关软件： GitHub；图形实验室；算法97… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
巴拉圭人 3份文件引用(2013–2015) 软件作者： Kraj P、Sharma A、Garge N、Podolsky R、Richard A、Mcindoe RA 相关软件： 集群发现；ImageNet；AlexNet… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；统计学（62-XX）；计算机科学（68-XX）…
佩特里韦布 3份文件引用(2008–2019) 软件作者： Goud，R.、van Hee，K.、Post，R.和van der Werf，J。 相关软件： LoLA；LOEWE公司；ITS工具… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
PowerForms公司 3份文件引用(2000–2008) 软件作者： 布拉布兰德，克劳斯；M｛\o｝ller，安德斯；瑞奇，米克尔；迈克尔·施瓦茨巴赫。 相关软件： 海滨；iTasks；BABEL… 主要字段： 计算机科学（68-XX）
AnZenMail公司 2份文件引用(2003) 软件作者： 志山、Etsuya；Shigeki Hagihara；NaokiKobayashi，；Nishizaki，Shin-ya；KenjiroTaura，；渡边，Takuo 相关软件： Coq；TALX6；JFlow… 主要字段： 计算机科学（68-XX）
CHR.js公司 2份文件引用(2020) 软件作者： 法尔科·诺加茨；托姆·福吕维思；迪特马尔·塞佩尔 相关软件： 工厂；PAKCS；教堂… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
影院 1份文件引用(2017) 软件作者： 帕里·史密斯，D.J.，佩恩，A.W.R，米奇，A.D.，阿特伍德，T.K。 相关软件： PHYLO_WIN；SEAVIEW；Jalview… 主要字段： 总体主题；藏品（00-XX）；生物学和其他自然科学（92-XX）
德尔菲普卡 3份文件引用(2019–2022) 软件作者： Wang，L。；张，M。；阿列克索夫，E。 相关软件： 米溴联苯；德尔菲；DelPhiForce… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；生物学和其他自然科学（92-XX）
运动（Locomotif） 2份文件引用(2010–2014) 软件作者： 贾妮娜·里德、延斯·里德、罗伯特·吉格里奇 相关软件： 法国复兴信贷银行；哈斯克尔；Dyna… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
无线电通信委员会 2份文件引用(2007–2017) 软件作者： 托马斯·拜尔 相关软件： R；XML；Rcmdr… 主要字段： 统计学（62-XX）；数值分析（65-XX）；运筹学，数学规划（90-XX）…
BisoGenet公司 1份文件引用(2018) 软件作者： Martin，A.、Ochagavia，M.E.、Rabasa，L.C.、Miranda，J.、Fernandez‐de Cossio，J.和Bringas，R。 相关软件： – 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）
卡桑德拉 1份文件引用(2013) 软件作者： J.Villanueva-Oller，R.J.Vilanueva，S.Díez 相关软件： EpiSimdemics；剑麻；BOINC公司 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
ConScript（ConScript） 2份文件引用(2013–2021) 软件作者： Meyerovich，L。；B.利夫希茨。 相关软件： 扎福德；守门人；FlowFox… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
埃利姆 2份文件引用(2016) 软件作者： 加布里埃尔·拉丹；杰罗姆·沃伊隆；文森特·巴拉特 相关软件： OCaml；用户/网络；重量… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
F2码头 2份文件引用(2011–2013) 软件作者： C.Bajaj、R.Chowdhury、V.Siddavanahalli 相关软件： MolEnergy；PDB2PQR；TexMol… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；生物学和其他自然科学（92-XX）
格拉芙罗 1份文件引用(2019) 软件作者： 维杰·加德帕利、杰克·博鲁斯基、丹·胡克、迪伦·哈奇森、本·米勒、杰里米·凯普纳 相关软件： Accumulo；朱莉娅；Matlab… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）
贵根 2份文件引用(2002) 软件作者： 亚历山大·雷尼菲尔德（Alexander Reinefeld）；Stüben，Hinnerk；佛罗里达州辛特克；乔治·丁 相关软件： – 主要字段： 计算机科学（68-XX）
i-pi（i-pi） 1份文件引用(2018) 软件作者： Michele Ceriotti、Joshua More、David E.Manolopoulos 相关软件： 亚当；咖啡馆；TensorFlow… 主要字段： 计算机科学（68-XX）；量子理论（81-XX）；生物学和其他自然科学（92-XX）
Java统计 2份文件引用(2009–2013) 软件作者： 哈纳，E·詹姆斯；罗大杰；Tan，Jun先生 相关软件： R；代码工具；truncdist… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
JBROWSE公司 2份文件引用(2015–2017) 软件作者： M.E.斯金纳、A.V.乌兹洛夫、L.D.斯坦因、C.J.蒙格尔、I.H.霍姆斯。 相关软件： ClustalW；InterProScan；制造商… 主要字段： 总体主题；藏品（00-XX）；概率论与随机过程（60-XX）；运筹学，数学规划（90-XX）…
J和 在0个文档中引用 软件作者： Pieter Agten、Steven Van Acker、Yoran Brondsema、Phu H.Phung、Lieven Desmet、Frank Piessens 相关软件： 卡亚；封闭图书馆；讽刺… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
JSLINQ公司 2份文件引用(2017–2022) 软件作者： 巴利乌，M。；Liebe，B。；斯科佩·D·。；Sabelfeld，A。 相关软件： 塞林克；用户/网络；GitHub… 主要字段： 计算机科学（68-XX）
MaDViWorld公司 2份文件引用（2002年至2003年） 软件作者： 帕特里克·福勒；Most’efaoui，Ghita Kouadri；雅克·帕斯基尔·罗查 相关软件： Aglets公司 主要字段： 计算机科学（68-XX）
马特帕 2份文件引用(2004–2009) 软件作者： P.施普林格 相关软件： ParaMat；分发PP；并行… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；天文学和天体物理学（85-XX）
数字 2份文件引用(2018–2019) 软件作者： 塞巴斯蒂安·洛伊塞尔 相关软件： GitHub；协和式飞机；spatiasql.js… 主要字段： 凸和离散几何（52-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
P双Pop 2份文件引用(2016–2022) 软件作者： Ioannis G.Tsoulos。；亚历山德罗斯·萨拉斯；迪米特里斯·萨利卡基斯 相关软件： λ-MPI；GALib公司 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
奎因 2份文件引用(2013–2019) 软件作者： Ran Canetti；本·里瓦；Guy N.罗斯布卢姆。 相关软件： 皮埃姆；闪烁；动态安装 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
罗孚 在0个文档中引用 软件作者： 安东尼·约瑟夫（Anthony D.Joseph）、艾伦·F·德·莱斯皮纳塞（Alan F.de Lespinasse）、约书亚·A·陶伯（Joshua A.Tauber）、大卫·K·吉福德（David K.Gifford）、M.弗兰斯·卡索克 相关软件： AmbientTalk；JCobox；基利姆… 主要字段： –
会话屏蔽 1份文件引用(2013) 软件作者： Nikiforakis，N。；Meert，W。；尤南，Y。；约翰·M·。；佐森，W。 相关软件： 扎福德；守门人；FlowFox… 主要字段： 计算机科学（68-XX）
邮政编码系统 2份文件引用(2020–2021) 软件作者： Niksefat，S。；Sadeghiyan，B。；莫哈塞尔，P。；SS萨德基安 相关软件： FairplayMP；GitHub；澳大利亚银行 主要字段： 信息与通信理论，电路（94-XX）
第2天 1份文件引用(2016) 软件作者： 文森特·穆索；帕特里克·梅耶（Patrick Meyer）；塞巴斯蒂安·比加莱 相关软件： 视觉UTA；签证；WINPRE… 主要字段： 总体主题；藏品（00-XX）；运筹学、数学规划（90-XX）
EDSL公司 1份文件引用(2011) 软件作者： Alex Bain；约翰·米切尔（John Mitchell）；拉胡尔·夏尔马（Rahul Sharma）；德伊安·斯特凡（Deian Stefan）；乔·齐默尔曼 相关软件： 分享者；哈斯克尔 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
合奏休息 1份文件引用(2017) 软件作者： Yates A、Beal K、Keenan S等人 相关软件： ZCURVE；基因标记S；RDP2… 主要字段： 总体主题；藏品（00-XX）；生物学和其他自然科学（92-XX）
专家匹配器 在0个文档中引用 软件作者： Vivek Sharma、Praneeth Vepakomma、Tristan Swedish、Ken Chang、Jayashree Kalpathy Cramer、Ramesh Raskar 相关软件： 联邦卫生局；脚手架；获取SGD… 主要字段： –