HOL灯 320篇文献引用(1998–2024) 软件作者： 约翰·哈里森 相关软件： Coq；Isabelle/HOL；霍尔… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数论（11-XX）…
马德里 139篇文献引用(1998–2024) 软件作者： R.Venkata Rao 相关软件： 电气；VIKOR；NBI… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
钙磷 115篇文献引用(1997–2023) 软件作者： 休伯特·加拉维；赫尔曼斯，霍尔格；CONVCS团队 相关软件： 自旋蛋白；mCRL2；LOTOS… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
nuXmv（数字） 45篇文献引用(2015–2023) 软件作者： 罗伯特·卡瓦达、亚历山德罗·西马蒂、米歇尔·多里加蒂、阿尔贝托·格里乔、亚历桑德罗·马里奥蒂、安德烈亚·米凯利、塞尔吉奥·莫弗、马可·罗维里、斯特凡诺·托内塔 相关软件： z3；NuSMV；旋转… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
阿斯毫升 45篇文献引用(2001–2023) 软件作者： 微软研究院；格里斯坎普，W。；Gurevich Y。 相关软件： 毫升；SpecExplorer；科拉特… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
ManySAT公司 40篇文献引用(2005–2023) 软件作者： 尤塞夫·哈马迪；赛义德·贾布尔；拉赫达尔·赛斯 相关软件： MiniSat；弯曲；查夫… 主要字段： 计算机科学（68-XX）；统计力学，物质结构（82-XX）；运筹学，数学规划（90-XX）…
CoFI公司 40篇文献引用（1997年至2017年） 软件作者： 彼得·莫塞斯（Peter D.Mosses）。 相关软件： CASL；ATERM；玛雅… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；一般代数系统（08-XX）…
SAP2000公司 26篇文献引用(2003–2023) 软件作者： 计算机与结构公司。 相关软件： Matlab；OpenSees；Python… 主要字段： 总体主题；藏品（00-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
犀牛 26篇文献引用(2004–2023) 软件作者： Robert McNeel&Associates公司 相关软件： ISOGAT；蚱蜢；LS-DYNA… 主要字段： 总体主题；藏品（00-XX）；数值分析（65-XX）；计算机科学（68-XX）…
SPHinXsys公司 26篇文献引用(2021–2024) 软件作者： 张驰、马苏德·雷扎万、朱玉洁、余永川、吴栋、张文斌、王建航、胡香玉 相关软件： 双球面物理学；GADGET公司；幻影… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
CCLS公司 26篇文献引用(2015–2023) 软件作者： 罗，C。；蔡，S。；吴，W。；杰，Z。；苏，K。 相关软件： MaxHS；周六4j；QMaxSAT… 主要字段： 组合数学（05-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
康多尔 25篇文献引用(2005–2022) 软件作者： 范登·伯根，弗兰克；雨果斯·贝西尼 相关软件： DFO；UOBYQA；NEWUOA… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
第页 20篇文献引用(1996–2018) 软件作者： 弗洛里安·马丁 相关软件： NINJA公司；BLAS；MPI/MPICH… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；系统论；控制（93-XX）…
FoC公司 17篇文献引用(2000–2018) 软件作者： 亚埃尔阿巴内尔；啤酒，伊兰；Gluhovsky，Leonid；雪伦·凯达尔；Wolfsthal，纱线 相关软件： LTL2BA；HOL；旋转… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；系统论；控制（93-XX）…
SimNet公司 16篇文献引用(2022–2024) 软件作者： 奥利弗·亨尼格、苏希拉·纳拉辛汉、穆罕默德·阿明·纳比安、阿克沙·苏布拉曼尼姆、考斯图布·坦萨利、马克斯·里特曼、何塞·德尔·阿吉拉·费兰迪斯、旺敏·拜翁、方志伟、桑杰·乔德利 相关软件： DeepXDE；hp-VPINN；DeepONet；…（D）… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
数学jax 15篇文献引用(2010–2023) 软件作者： 切尔沃内 相关软件： DLMF；github；Mizar… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；数学教育（97-XX）
BETL公司 14篇文献引用(2015–2021) 软件作者： R.希普迈尔，L.基尔霍恩 相关软件： Gmsh；ParaView；BEM++… 主要字段： 偏微分方程（35-XX）；概率论与随机过程（60-XX）；数值分析（65-XX）…
网格卫星 10篇文献引用(2006–2019) 软件作者： 科拉巴赫、瓦希德；里奇·沃尔斯基 相关软件： 糠；SATO；PSATO… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
DoE.base公司 8份文件引用(2014–2023) 软件作者： Ulrike Groemping、Boyko Amarov、Hongquan Xu 相关软件： R；DoE.wrapper；FrF2… 主要字段： 总体主题；藏品（00-XX）；统计学（62-XX）；计算机科学（68-XX）
PaMiraXT公司 11份文件引用(2009–2021) 软件作者： 舒伯特，托拜厄斯；马修·刘易斯；贝恩德·贝克尔 相关软件： ManySAT公司；玲玲；MiniSat… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
多时性 11份文件引用(2004–2016) 软件作者： INRIA公司；Talpin，J.-P.、Le Guernic，P.、Shukla，S.K.、Gupta，R.K.、Doucet，F。 相关软件： 酯类；卢斯特；托勒密… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
普罗米修斯 12份文件引用(2008–2023) 软件作者： 巴伯，J。；Bose，C。；Bourlioux，A.（波里奥，A.）。；Braun，J。；布鲁内尔，E。；加西亚，T。；Hillen，T。；B·翁。 相关软件： FlamMap；FARSITE；WRF-SFIRE… 主要字段： 偏微分方程（35-XX）；微分几何（53-XX）；统计学（62-XX）…
十二国集团 10篇文献引用(2005–2018) 软件作者： Peter J.Stuckey。；玛丽亚·加西亚·德拉·班达；迈克尔·马赫；Kim万豪酒店；约翰·斯莱尼；佐尔坦·索莫吉；马克·华莱士；托比·沃尔什 相关软件： 微量锌；SCIP；本质… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
DFLGEN公司 10篇文献引用(2015–2022) 软件作者： Giampaolo Liuzzi；露西迪、斯特凡诺；弗朗西斯科·里纳尔迪 相关软件： DFLBOX；DFL；野马… 主要字段： 数值分析（65-XX）；运筹学、数学规划（90-XX）
ZAERO公司 10篇文献引用(2005–2023) 软件作者： ZONA科技公司。 相关软件： FreeFem++；比安卡；ARPACK… 主要字段： 计算机科学（68-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
LOTOSphere公司 6篇文献引用(2000–2015) 软件作者： T.Bolognesi、J.van de Lagemaat、C.Vissers 相关软件： LOTOS；并发工作台；霍尔… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
occam-pi型 6篇文献引用(2005–2021) 软件作者： 彼得·H·韦尔奇。；弗雷德里克·R·M·巴恩斯。 相关软件： 皮克特；韩国石油公司；Boids… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
欧洲RoC 引用于7份文件(2019–2023) 软件作者： Burri，M。；尼科利奇，J。；科尔，P。；施耐德，T。；Rehder，J。；Omari，S。；Achtelik，M。；西格沃特，R。 相关软件： ORB-SLAM2；基蒂；五点… 主要字段： 交换代数（13-XX）；计算机科学（68-XX）；系统论；控制（93-XX）…
RacerPro赛车 引用于7份文件(2014–2022) 软件作者： Haarslev，V.、Hidde，K.、Möller，R.、Wessel，M。 相关软件： 赫密特；赛车手；颗粒… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
SCPIP公司 引用于7份文件(2005–2017) 软件作者： 齐勒伯C。 相关软件： 康林；SNOPT；前88.m… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；运筹学、数学规划（90-XX）
安培桑（Ampersand） 6篇文献引用(2011–2018) 软件作者： 杰拉德·米歇尔斯（Gerard Michels）；塞巴斯蒂安·乔斯顿；贾普·范德沃德；斯特夫·乔斯顿 相关软件： Z；RelView；哈斯克尔… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
GOAHEAD公司 6篇文献引用(2008–2021) 软件作者： 帕尔克，K。 相关软件： 主机；奥根；CMPGRD… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
温迪 引用于3份文件(2011–2020) 软件作者： 尼尔斯·洛曼；丹妮拉·温伯格 相关软件： BPEL2oWFN；LOTOS；沃夫兰… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
ASTRX/OBLX公司 4份文件引用(2007–2014) 软件作者： Ochotta，E.S.，Rutenbar，R.A.，Carley，L.R 相关软件： CGLS公司 主要字段： 计算机科学（68-XX）；光学、电磁理论（78-XX）；运筹学，数学规划（90-XX）…
DoE.包装器 1份文件引用(2021) 软件作者： Ulrike Groemping，俄罗斯大斋节 相关软件： FrF2；DoE.base；R、 … 主要字段： 统计学（62-XX）；计算机科学（68-XX）
微型CP 5份文件引用(2021–2023) 软件作者： 米歇尔，L。；Schaus，P。；Van Hentenryck，P。 相关软件： 奥斯卡；乔科；GitHub… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
薄雾 5份文件引用(2014–2022) 软件作者： 丹尼尔·安贝蒂 相关软件： MINITAB公司；R；JMP… 主要字段： 总体主题；藏品（00-XX）；近似和展开（41-XX）；统计学（62-XX）…
Rcmdr插件。雌鹿 2份文件引用(2017–2019) 软件作者： 美国格伦平。 相关软件： R；计划员；DoE.wrapper… 主要字段： 变分法与最优控制；优化（49-XX）；可变形固体力学（74-XX）；生物学和其他自然科学（92-XX）
AADL公司 引用于3份文件(2012–2016) 软件作者： Kyungmin Bae、Peterlveczky、JoséMeseguer 相关软件： 电子LOTOS；GRL；LNT2LOTOS… 主要字段： 计算机科学（68-XX）
Fastflo公司 4份文件引用(1999–2004) 软件作者： 抱怨 相关软件： 佛罗里达州；PETSc；ADIC… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
FLITE3D飞机 4份文件引用(2001–2008) 软件作者： 胡，Y.F。；艾默生，D.R。；阿什沃思，M。；马奎尔，K.C.F。；R.J.布莱克。 相关软件： 奥德赛 主要字段： 数值分析（65-XX）；流体力学（76-XX）；经典热力学，传热（80-XX）
JuliaFEM公司 引用于3份文件(2021–2022) 软件作者： Frondelius，T。；J.阿霍。 相关软件： 茱莉亚；网格地图；微分方程.jl… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）
QFTCT公司 4份文件引用(2014–2022) 软件作者： Garcia Sanz M、Mauch A、Philippe C 相关软件： QFT工具箱；Matlab公司 主要字段： 系统论；对照（93-XX）
SeaPearl公司 4份文件引用(2021–2023) 软件作者： 费利克斯的查卢梅乌；伊兰·库隆；卡帕特，昆汀；卢梭，路易斯·马汀 相关软件： NeuroSAT；AlphaGo；亚当… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
同步AADL2音频 2份文件引用(2015) 软件作者： Bae，K.，Ølveczky，P.C.，Meseguer，J.，Al-Nayeem，A。 相关软件： 莫德；Uppaal；TSMV… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
TODS公司 1份文件引用(2023) 软件作者： Kwei-Herng Lai、Daochen Zha、Guanchu Wang、Junjie Xu、Yue Zhao、Devesh Kumar、Yile Chen、Purav Zumkhawaka、Minyang Wan、Diego Martinez、Xia Hu 相关软件： PyOD；蟒蛇；LSCP… 主要字段： 计算机科学（68-XX）
O-PALM（掌上电脑） 引用于3份文件(2014–2020) 软件作者： A.皮亚琴蒂尼；T.莫雷尔；A.戴维南；F.杜尚 相关软件： PALM；CEDRE；代码_土星… 主要字段： 数值分析（65-XX）；流体力学（76-XX）
西塔 2份文件引用(2015–2021) 软件作者： 乔蒂莫·德斯穆赫（Jyotirmoy Deshmukh）；金小青；詹姆斯·卡宾斯基（James Kapinski）；奥德·马勒 相关软件： 违约；S-TaLiRo；自适应压力测试.jl… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
国家实验室 1份文件引用(2010) 软件作者： Boon，文学硕士。；迪布奇亚尼科，A。；Rijpkema，J.J.M。；van Berkum，首席执行官。 相关软件： StatCrunch；网络统计；JSci… 主要字段： 计算机科学（68-XX）；数学教育（97-XX）
BlazeDEM3D-GPU系列 2份文件引用(2017–2018) 软件作者： 尼科林·戈文德；丹尼尔·威尔克；帕特里克·皮泽特（Patrick Pizette）；约翰内斯·科纳斯特 相关软件： Blaze-DEMGPU；V形夹 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）
FourierSAT公司 2份文件引用(2021) 软件作者： Kyrillidis、Anastasios；Shrivastava，Anshumali；Vardi，Moshe Y。；张志伟 相关软件： MiniSat；玲玲；弯曲… 主要字段： 阶、格、有序代数结构（06-XX）；计算机科学（68-XX）
贾维尔 1份文件引用(2009) 软件作者： I.阿萨亚德；V.伯廷；F.-X.违约；Gerner博士；O.Quévreux；S.约文 相关软件： 大都市；StreamIt（流媒体） 主要字段： 计算机科学（68-XX）
KUKA机器人语言 2份文件引用(2015–2021) 软件作者： 亨利克·穆赫（Henrik Mühe）、安德烈亚斯·安格勒（Andreas Angerer）、阿尔文·霍夫曼（Alwin Hoffmann）、沃尔夫冈·雷夫（Wolfgang Reif） 相关软件： 机器人API 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；对照（93-XX）
QNAT公司 1份文件引用(2001) 软件作者： 科尔，H.T。；Manjunath，D。；Bose，S.K.公司。 相关软件： SPNP；MersenneTwister；莫比乌斯… 主要字段： 计算机科学（68-XX）
罗斯控制 2份文件引用(2022) 软件作者： 奇塔，S。；Marder-Eppstein，E。；Meeussen，W。；Pradeep，V。；罗德里格斯·祖鲁克迪西安（Rodríguez Tsouroukdisian），A。；Bohren，J。；科尔曼，D。；Magyar，B。；Raiola，G。；Lüdtke，M。；费尔南德斯·佩多莫，E。 相关软件： 活性氧；卡萨迪；伊波特 主要字段： 系统论；对照（93-XX）
SimCCS系统 2份文件引用（2019年至2022年） 软件作者： Middleton，R.S.，Yaw，S.，Hoover，B.，Ellett，K。 相关软件： 成本地图；github 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
STABLE（稳定） 2份文件引用(2014–2018) 软件作者： Pavlenko，E。；韦德勒，M。；斯托菲尔，D。；Kunz，W。；等。 相关软件： 单一；宠物老板；ABC… 主要字段： 交换代数（13-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
CRAN任务视图DoE 在0个文档中引用 软件作者： CRAN、Ulrike Groemping、Tyler Morgan-Wall 相关软件： kableExtra；色彩空间；ineq… 主要字段： –
DAMOCIA设计 1份文件引用(2004) 软件作者： Bienvenido，J.F。；Flores-Parra，I.M。；吉拉多，R。 相关软件： DAMOCIA-Sim公司；通用KADS 主要字段： 计算机科学（68-XX）
创业板市场 1份文件引用(2021) 软件作者： Gallard，F.、Vanaret，C.、Guenot，D.、Gachelin，V.、Lafage，R.、Pauwels，B.、Barjhoux，P.J.、Gazaix，A。 相关软件： 卡拉托斯；github；OpenMDAO… 主要字段： 运筹学、数学规划（90-XX）
普雷斯托 1份文件引用(2022) 软件作者： 塞纳帕蒂，德布拉塔；阿纳布·萨卡尔（Arnab Sarkar）；钱丹·卡法 相关软件： iFogSim；CPLEX公司 主要字段： 计算机科学（68-XX）
PROSIT公司 1份文件引用(2022) 软件作者： 弗里亚斯，B.V。；Palopoli，L。；阿贝尼，L。；Fontanelli，D。 相关软件： – 主要字段： 计算机科学（68-XX）；系统论；对照（93-XX）
PyEquIon公司 在0个文档中引用 软件作者： Caio Felippe Curitiba Marcellos、Gerson Francisco da Silva Junior、Elvis do Amaral Soares、Fabio Ramos、Amaro G.Barreto Jr 相关软件： ScaleSoftPitzer；多尺度；QmeQ… 主要字段： –
机器人API 1份文件引用(2015) 软件作者： Andreas Angerer、Alwin Hoffmann、Andreas Schierl、Michael Vistein、Wolfgang Reif 相关软件： KUKA机器人语言 主要字段： 计算机科学（68-XX）；系统论；对照（93-XX）
西亚莫阿 1份文件引用(2002) 软件作者： 弗雷德里克·范德维尔（Frederic Van de Veire）；Przemyslaw Szmal；雅罗斯瓦夫·弗朗西克 相关软件： GeoWin；CATBox；MacBALSA… 主要字段： 计算机科学（68-XX）
蛇机器人运动 1份文件引用(2022) 软件作者： 安娜·西比尔斯卡·莫罗齐维奇；雅库布·莫·阿林；阿伊莎·哈米德；费尔南德斯，玛丽亚·莫利纳；安德烈·奥尔迪斯 相关软件： github；Matlab公司 主要字段： 粒子和系统力学（70-XX）；系统论；对照（93-XX）
荆棘 1份文件引用(2019) 软件作者： Bloom，B.，Field，J.，Nystrom，N.，Östlund，J.、Richards，G.、Strniša，R.、Vitek，J.和Wrigstad，T。 相关软件： 稳定剂；圣人；Bigloo… 主要字段： 计算机科学（68-XX）