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）…
智能_ 23篇文献引用(2000–2018) 软件作者： Ciardo，G。；Jones，R.L。；Miner，A.S.公司。；R·西米尼亚努。 相关软件： 自旋蛋白；棱镜；NuSMV… 主要字段： 数理逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
税收 15篇文献引用(2001–2017) 软件作者： 克洛斯，艾蒂安；米歇尔·波伊泽（Michel Poize）；雅克·普劳（Jacques Pulou）；约瑟夫·西法基斯（Joseph Sifakis）；帕特里克·文特 相关软件： Uppaal；克罗诺斯；艾菲尔… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）
pTatin3D 10篇文献引用(2015–2021) 软件作者： D.A.May、J.Brown、L.L.Laetitia 相关软件： PETSc；FEniCS；交易.ii… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
桅杆 7份文件引用(2008–2018) 软件作者： 冈萨雷斯港，M；JJ古铁雷斯；巴伦西亚，JC；吉咪·德雷克 相关软件： Uppaal；切达干酪；TINA… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
TILOS公司 6篇文献引用(2005–2022) 软件作者： Dunlop AE鱼缸JP 相关软件： JiffyTune；兰斯洛特；Mosek… 主要字段： 组合数学（05-XX）；光学、电磁理论（78-XX）；运筹学，数学规划（90-XX）…
距离-弧度 5份文件引用(2011–2015) 软件作者： Musab AlTurki；何塞·梅塞盖尔 相关软件： 莫德；爪哇风扇；Java+ITP… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
DPARSF公司 4份文件引用(2013–2022) 软件作者： Chao-Gan Y、Yu-Feng Z 相关软件： RegEM；插补；FieldTrip… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
季节 5份文件引用（2010年至2021年） 软件作者： 阿德里安·巴内特（Adrian G.Barnett）。；安妮特·多布森。 相关软件： R；nprotreg；FCM4DD… 主要字段： 总体主题；藏品（00-XX）；常微分方程（34-XX）；偏微分方程（35-XX）…
pyCPA公司 2份文件引用(2018–2019) 软件作者： Jonas Diemer、Philip Axer、Rolf Ernst 相关软件： 活性氧；动作库；AIMMS公司 主要字段： 计算机科学（68-XX）
不确定 3份文件引用(2019–2022) 软件作者： Tenne S、Halnes G、Einevoll GT 相关软件： UQLab；混沌间谍；EasyVVUQ… 主要字段： 统计学（62-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
基克 2份文件引用(2008–2022) 软件作者： 马提亚斯·罗尔；安德烈·范霍恩；贾斯敏卡·马特夫斯卡；尼尔斯·索默；Lena Stoever；西蒙·吉塞克（Simon Giesecke）；威廉·哈塞尔布林 相关软件： SynchroVis；ExploreViz；JMeter… 主要字段： 计算机科学（68-XX）
定时丽贝卡 3份文件引用(2016–2020) 软件作者： Khamespanah，E.，Sirjani，M.，Sabahi-Kaviani，Z.，Khosravi，R.，Izadi，M。 相关软件： 丽贝卡；Uppaal；旋转… 主要字段： 计算机科学（68-XX）
D匹配 2份文件引用(2020) 软件作者： 刘浩鹏、李光普、Jeffrey F.Lukman、李佳欣、Shan Lu、Haryadi S.Gunawi、Chen Tian 相关软件： dBug；SAMC；敏哈… 主要字段： 计算机科学（68-XX）
斯马卡 1份文件引用(2017) 软件作者： 阿明·比尔（Armin Biere）；Jens Knoop；劳拉·科夫亚茨（Laura Kov'acs）；雅各布兹维奇梅尔 相关软件： r-TuBound；STP；OTAWA… 主要字段： 计算机科学（68-XX）
温度氧气 2份文件引用(2019–2020) 软件作者： 爱德华兹，RT；霍布斯，英国；RN曼彻斯特 相关软件： 反弹 主要字段： 偏微分方程（35-XX）；概率论与随机过程（60-XX）；粒子力学与系统（70-XX）…
算法1010 1份文件引用(2020) 软件作者： 阿尔贝托·贾科莫（Alberto Giacomo），奥雷拉纳（Orellana）；克里斯蒂亚诺·德·米歇尔 相关软件： 算法493；算法954；DLMF公司 主要字段： 数值分析（65-XX）
ANSLAB公司 在0个文档中引用 软件作者： Blechert J.、Peyk P.、Liedlgruber M.、Wilhelm F.H。 相关软件： 物理溶解；gHRV；cvxEDA… 主要字段： ——
CARE-rCortex公司 在0个文档中引用 软件作者： 范妮·格罗塞林；Xavier Navarro-Sune；马修·劳克斯（Mathieu Raux）；托马斯·西米洛夫斯基；马里奥·查韦斯 相关软件： ECGlab；HEPLAB；ecg-kit… 主要字段： ——
G-TIME公司 1份文件引用(2006) 软件作者： 阿卡迪Kryazhimskii；奥列格·尼科诺夫；雅罗斯拉夫·米努林 相关软件： —— 主要字段： 博弈论、经济学、金融和其他社会和行为科学（91-XX）
Minerva公司 1份文件引用(2019) 软件作者： Farahmand，F.，Ferozpuri，A.，Diehl，W.，Gaj，K。 相关软件： NTRU公司 主要字段： 量子理论（81-XX）；信息与通信理论，电路（94-XX）
OSG-KINC公司 1份文件引用（2018年） 软件作者： Poehlman，W.L。；Rynge，M。；Balamurugan，D。；Mills，N。；费图斯，F.A。 相关软件： GeSOp；ARACNe-AP公司；GenMANIA… 主要字段： 生物学和其他自然科学（92-XX）
PSRCHIVE公司 在0个文档中引用 软件作者： Willem van Straten、Paul Demorest、Stefan Osłowski 相关软件： 天文术；Numba；熊猫… 主要字段： ——
黄貂鱼 在0个文档中引用 软件作者： D.Huppenkothen、M.Bachetti、A.L.Stevens、S.Migliari、P.Balm、O.Hammad、U.M.Khan、H.Mishra、H.Rashid、S.Sharma、R.V.Blanco、E.M.Ribeiro 相关软件： Lightkurve；SHERPA公司；DAVE… 主要字段： ——