阿达95 277份文件引用(1979–2023) 软件作者： 让·伊克比亚 相关软件： 调制；埃菲尔；Smalltalk… 主要字段： 偏微分方程（35-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
酯类 137篇文献引用(1985–2023) 软件作者： 杰拉德·贝瑞 相关软件： 卢斯特；信号；Uppaal… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
卢斯特 104篇文献引用(1992–2023) 软件作者： 卡斯皮，P。；Pilaud，D。；Halbwachs，N。；普拉斯，J.A。 相关软件： 酯类；信号；Simulink… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
ASTREE公司 112份文件引用(2002–2023) 软件作者： Patrick Cousot、Radhia Cousot、Jerôme Feret、Laurent Mauborgne、Antoine Miné、David Monniaux、Xavier Rival 相关软件： 停机坪；z3；PPL… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；数值分析（65-XX）…
PPL（公私合营） 108篇文献引用(2002–2023) 软件作者： 罗伯托·巴格纳拉；利玛窦（Elisa Ricci）；埃纳州扎法内拉；帕特里夏·M·希尔。 相关软件： 高科技；停机坪；ASTREE… 主要字段： 数学逻辑与基础（03-XX）；凸和离散几何（52-XX）；计算机科学（68-XX）…
Trivium公司 100篇文献引用(2006–2023) 软件作者： 沙赫拉姆·卡扎伊（Shahram Khazaei）；迈赫迪·哈桑扎德；克里斯托夫·德·卡尼埃；巴特·普雷尼尔； 相关软件： 谷物；eSTREAM；米奇… 主要字段： 数论（11-XX）；交换代数（13-XX）；计算机科学（68-XX）…
托勒密 66份文件引用(1995–2022) 软件作者： Johan Eker、Jörn W.Janneck、Edward A.Lee、Jie Liu、Xiaojun Liu、Jozsef Ludvig、Stephen Neuendorffer、Sonia Sachs、Yuhong Xiong 相关软件： 大都市；卢斯特；状态流… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
信号 51篇文献引用(1987–2020) 软件作者： 大卫·诺瓦克；让-皮埃尔·塔尔平；蒂埃里·戈蒂埃；保罗·勒格尔尼克 相关软件： 卢斯特；酯类；托勒密… 主要字段： 一般性和全局性主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
基础知识 45篇文献引用(2011–2023) 软件作者： 罗伯特·布雷顿；阿兰·米什琴科 相关软件： MiniSat；爱格；z3… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；量子理论（81-XX）…
nuXmv（数字） 45篇文献引用(2015–2023) 软件作者： 罗伯特·卡瓦达、亚历山德罗·西马蒂、米歇尔·多里加蒂、阿尔贝托·格里乔、亚历桑德罗·马里奥蒂、安德烈亚·米凯利、塞尔吉奥·莫弗、马可·罗维里、斯特凡诺·托内塔 相关软件： z3；NuSMV；旋转… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
BSP接口 41篇文献引用(1997–2020) 软件作者： 贾维斯，S.A。；希尔，J.M.D。；Siniolakis，C.J。；瓦西列夫。 相关软件： BSP备份；PVM；多核BSP… 主要字段： 组合数学（05-XX）；凸和离散几何（52-XX）；数值分析（65-XX）…
REVEAL公司 24篇文献引用(2003–2022) 软件作者： Liang，S.、Fuhrman，S.和Somogyi，R 相关软件： KEGG；R；BoolNet… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
CC-Pi公司 28篇文献引用(2007–2022) 软件作者： 玛丽亚·格拉齐亚·巴斯米（Maria Grazia Buscemi），乌戈·蒙塔纳里（Ugo Montanari） 相关软件： 奶牛；Isabelle/HOL；存档正式证据… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
BoolNet公司 22篇文献引用(2012–2024) 软件作者： 克里斯托夫·穆塞尔（Christoph Müssel）、马丁·霍普芬西茨（Martin Hopfensitz）、道周（Dao Zhou）、汉斯·凯斯特勒（Hans Kestler） 相关软件： 金西姆；PyBoolNet；R、 … 主要字段： 常微分方程（34-XX）；统计学（62-XX）；运筹学，数学规划（90-XX）…
群组工具包 2份文件引用(2003–2009) 软件作者： 罗斯曼M。；格林伯格S。 相关软件： 脱咖啡因咖啡；PlanEdit；科莱姆… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
洛拉 23篇文献引用(2009–2023) 软件作者： D’Angelo，B。；等。 相关软件： 蒙保利；Java-MOP；LUSTRE… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
SONET公司 22篇文献引用(1996–2013) 软件作者： – 相关软件： SNDlib；TSPLIB；蜘蛛… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
SCADE公司 14篇文献引用(2001–2019) 软件作者： 杰拉德·贝里；Esterel技术公司 相关软件： Simulink；卢斯特；酯类… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
SMV公司 13份文件引用(1986–2018) 软件作者： Ed Clarke；K.L.McMillan；E.A.艾默生；J.R.伯奇 相关软件： 高科技；PHAVer；旋转… 主要字段： 常微分方程（34-XX）；变分法与最优控制；优化（49-XX）；计算机科学（68-XX）…
油漆 12份文件引用（2012年至2021年） 软件作者： 马库斯·哈蒂卡宁；凯萨·米埃蒂宁；Margaret M.威塞克。 相关软件： NBI；帕累托导航器；尼姆布斯… 主要字段： 运筹学、数学规划（90-XX）
芯片供应商 11份文件引用(2014–2023) 软件作者： 科林·奥弗林；陈志章 相关软件： github；PQM4；McEliece… 主要字段： 计算机科学（68-XX）；量子理论（81-XX）；信息与通信理论，电路（94-XX）
吉拉赫 9份文件引用(2015–2023) 软件作者： Apache软件基金会 相关软件： 普雷格尔；MapReduce；图形实验室… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；通用代数系统（08-XX）…
毒液 10篇文献引用(2018–2023) 软件作者： David Eriksson、David Bindel、Christine Shoemaker 相关软件： MLMSRBF；EGO；野马… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
PSync（同步） 9份文件引用（2016年-2023年） 软件作者： 塞扎拉奥盖医生；托马斯·亨辛格（Thomas A.Henzinger）。；达米安·祖弗里 相关软件： 威尔第；常春藤；ByMC… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
TILOS公司 6篇文献引用(2005–2022) 软件作者： Dunlop AE鱼缸JP 相关软件： JiffyTune；兰斯洛特；Mosek… 主要字段： 组合数学（05-XX）；光学、电磁理论（78-XX）；运筹学，数学规划（90-XX）…
生物SPI 8份文件引用(2004–2022) 软件作者： – 相关软件： 棱镜；BioNetGen；游戏… 主要字段： 计算机科学（68-XX）；量子理论（81-XX）；生物学和其他自然科学（92-XX）
杰克 8份文件引用(2017–2023) 软件作者： 马古利斯，F。；Gbikpi Benissan，G。 相关软件： Alinea；Gmsh；Getfem++… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
卢特斯 5份文件引用(1999–2012) 软件作者： 杜布斯克，L。；Quabdeselam，F。；巴黎，I。；Richier，J.-L。；北卡罗来纳州佐安诺。 相关软件： ATGen；卢斯特；网关… 主要字段： 计算机科学（68-XX）
塔克 引用于7份文件(2007–2012) 软件作者： 大卫·巴尔德（David Baelde）；戴尔·米勒；雪，扎卡里 相关软件： 阿贝拉；贝德维尔；Twelf… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
蜻蜓 3份文件引用(2021–2023) 软件作者： 柯蒂瓦桑·坎达萨米；Vysyaraju、Karun Raju；威利·奈斯旺格；帕里亚，比斯瓦吉特；克里斯托弗·柯林斯。；杰夫•施耐德；波佐斯，巴纳巴斯；Eric P.邢。 相关软件： Python；BoTorch；超波段… 主要字段： 计算机科学（68-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
EoN公司 2份文件引用(2017–2019) 软件作者： Joel C.Miller、Tony TIng 相关软件： Python；EpiModel；图形工具… 主要字段： 一般性和全局性主题；藏品（00-XX）；生物学和其他自然科学（92-XX）
仄洛斯 6篇文献引用（2013年-2023年） 软件作者： 蒂莫西·伯克（Timothy Bourke）、马克·普泽特（Marc Pouzet） 相关软件： Simulink；状态流；LUSTRE… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Edon伊顿80 4份文件引用(2005–2018) 软件作者： Gligoroski，D.、Markovski，S.、Knapskog，S.J。 相关软件： 克利夫亚；TEA；高度… 主要字段： 组合数学（05-XX）；一般代数系统（08-XX）；群论与推广（20-XX）…
国家统计局 4份文件引用(2009–2021) 软件作者： 辛格，B。；萨哈，R。；Chandra，A。；Al-Haddad，K。 相关软件： Matlab公司 主要字段： 运筹学、数学规划（90-XX）；系统论；控制（93-XX）；信息与通信理论，电路（94-XX）
AADL公司 3份文件引用(2012–2016) 软件作者： Kyungmin Bae、Peterlveczky、JoséMeseguer 相关软件： 电子LOTOS；GRL；LNT2LOTOS… 主要字段： 计算机科学（68-XX）
CosmoFlow公司 4份文件引用(2019–2021) 软件作者： Amrita Mathuriya、Deborah Bard、Peter Mendygral、Lawrence Meadows、James Arnemann、Lei Shao、Siyu He、Tuomas Karna、Daina Moise、Simon J.Pennycook、Kristyn Maschoff、Jason Sewall、Nalini Kumar、Shirley Ho、Mike Ringenburg、Prabhat、Victor Lee 相关软件： Mathematica；阿达德尔塔；GADGET… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；量子理论（81-XX）…
快速信息 4份文件引用(2010–2016) 软件作者： 阿里尔·杰莫维奇；奥费尔·梅西（Ofer Meshi）；伊恩·麦格劳（Ian Mcgraw）；盖尔·埃利丹 相关软件： 利百代；炼金术；PMTK… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）
Gunrock公司 3份文件引用(2018–2021) 软件作者： 王扬子浩、潘跃超、安德鲁·戴维森、吴宇铎、杨卡尔、王乐源、穆罕默德·奥萨马、袁晨山、刘伟棠、安迪·里弗尔、约翰·欧文斯 相关软件： 助推；github；快照… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
多核BSP 4份文件引用(2019–2023) 软件作者： A.N.Yzelman、R.H.Bisseling、D.Roose、K.Meerbergen 相关软件： BSP备份；BSPonMPI；BSPlib… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
PowerDynamics.jl公司 1份文件引用(2021) 软件作者： 安东·普列茨奇、拉斐尔·科格勒、萨宾·奥尔、朱莉娅·梅里诺、阿西尔·吉尔·德穆罗、简·李、克里斯蒂娜·沃格尔、弗兰克·赫尔曼 相关软件： 朱莉娅；微分方程.jl；随机DiffEq.jl… 主要字段： 动力系统和遍历理论（37-XX）
同步AADL2音频 2份文件引用(2015) 软件作者： Bae，K.，Ølveczky，P.C.，Meseguer，J.，Al-Nayeem，A。 相关软件： 莫德；Uppaal；TSMV… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
时代广场 3份文件引用(2015–2016) 软件作者： 朱利安·德安东尼（Julien DeAntoni），弗雷德里克·马莱特（Frédéric Mallet） 相关软件： 酯类；Uppaal；信号… 主要字段： 计算机科学（68-XX）
威斯特利亚 4份文件引用（2016年-2023年） 软件作者： 拉斯托吉，A.，哈默，M.A.，希克斯，M.A。 相关软件： JustGarble公司；HyCC；分享者… 主要字段： 计算机科学（68-XX）；粒子和系统力学（70-XX）；信息与通信理论，电路（94-XX）
亚太地区 3份文件引用(2022–2023) 软件作者： 徐阳阳；徐一波；颜永贵；科林·萨切尔·谢泼德（Colin Sutcher-Shepard）；利奥波德·格林伯格；陈杰 相关软件： 十字花科植物；LIBSVM；HOGWILD… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
生物质量管理 1份文件引用(2022) 软件作者： A.纳尔迪。 相关软件： PyBoolNet；BoolNet；mpbn… 主要字段： 阶、格、有序代数结构（06-XX）；生物学和其他自然科学（92-XX）
CCMA公司 3份文件引用(1997–2007) 软件作者： Benachour，P。；马卡里安，G。；荣誉学士。 相关软件： – 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
辅酶NAD 2份文件引用(2015–2018) 软件作者： 克里斯蒂安·博尔盖尔特（Christian Borgelt）；大卫·皮卡多·梅尼奥 相关软件： 埃克拉特；大脑连接工具箱；算法457 主要字段： 组合数学（05-XX）；生物学和其他自然科学（92-XX）
Ocelot公司 2份文件引用(2013–2015) 软件作者： Diamos，G.F.、Kerr，A.R.、Yalamanchili，S.、Clark，N。 相关软件： CUDA；OpenCL；铬… 主要字段： 计算机科学（68-XX）
POOSL公司 3份文件引用(2003–2022) 软件作者： Theelen，B.D。；Voeten，J.P.M。；R.D.J.克莱默。 相关软件： Python；TypeScript；酯类… 主要字段： 计算机科学（68-XX）
环形加载 3份文件引用(2020–2023) 软件作者： 卡尔·Däubel 相关软件： github；古罗比 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
SC图表 2份文件引用(2015–2018) 软件作者： R.von Hanxleden等人。 相关软件： 酯类；卢斯特；JML… 主要字段： 一般性和全局性主题；藏品（00-XX）；计算机科学（68-XX）
类别 2份文件引用(1995–2001) 软件作者： Ajmone Marsan，M。；Bianco，A。；Do，电视。；杰雷布。；罗奇诺（Lo Cigno），R。 相关软件： – 主要字段： 计算机科学（68-XX）
EDUCO公司 2份文件引用(2002) 软件作者： Kurhila、Jaakko；Miettinen，Miikka；诺克莱宁（Nokelainen），佩特里（Petri）；亨利·蒂里 相关软件： – 主要字段： 计算机科学（68-XX）
戈弗利泽 2份文件引用(2016) 软件作者： Kai Stadtmüller、Martin Sulzmann、Peter Thiemann 相关软件： 去；TyPiCal；GitHub… 主要字段： 一般性和全局性主题；藏品（00-XX）；计算机科学（68-XX）
惯性-SsGM 2份文件引用(2022–2023) 软件作者： 徐阳阳、徐一波、颜永贵、陈杰 相关软件： iPiano；FPC_AS；APAM… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
LITS.jl公司 在0个文档中引用 软件作者： 罗德里戈·亨里奎斯·奥巴（Rodrigo Henriquez-Auba）、何塞·D·拉腊（Jose D.Lara）、西亚兰·罗伯茨（Ciaran Roberts）、内森·帕洛（Nathan Pallo）、邓肯·S·卡拉韦 相关软件： 日晷；朱莉娅；PowerSystems.jl… 主要字段： –
CyNC公司 1份文件引用(2023) 软件作者： 亨利克·席勒（Henrik Schioler）；汉斯·施维费尔（Hans P.Schwefel）。；马丁·汉森。 相关软件： 科雷利；NC-Maude；DiscoDNC… 主要字段： 信息与通信理论，电路（94-XX）
FonaDyn公司 在0个文档中引用 软件作者： Sten Ternström、Dennis Johansson、Andreas Selamtzis 相关软件： 移动EGG；Matlab；超级对撞机 主要字段： –
OpenCap（开放式大写） 在0个文档中引用 软件作者： Uhlrich，S.D.，Falisse，A.，Kidziñski，Ł。，Muccini，J.、Ko，M.、Chaudhari，A.S.、Hicks，J.L.、Delp，S.L。 相关软件： OpenCV；洛伊斯；pose3d… 主要字段： –
PAFSV公司 在0个文档中引用 软件作者： 文嘉乐；Lei，Chi-Un；赫曼吉·K·卡普尔。；托马斯·克里拉维修斯（Tomas Krilavicius）；马杰明；张楠 相关软件： Verilog；Uppaal；自旋蛋白 主要字段： 计算机科学（68-XX）
PowerSimulationsDynamics.jl软件 在0个文档中引用 软件作者： Jose Daniel Lara；亨里克·奥巴（Henriquez-Auba），罗德里戈（Rodrigo）；马修·博萨特（Matthew Bossart）；Callaway，Duncan S。；克莱顿·巴罗斯 相关软件： 安迪斯；PowerSystems.jl；微分方程.jl… 主要字段： –