蟒蛇 1432年文献引用(1991–2025) 软件作者： 吉多·范罗苏姆 相关软件： SciPy；数字Py；Matplotlib… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
科学实验室 173篇文献引用(1999–2023) 软件作者： Scilab企业；里卡多·法布里 相关软件： Matlab；倍频程；R、 … 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
CESAR公司 160篇文献引用(1982–2023) 软件作者： Queille，J.P。；西法基斯，J。 相关软件： 自旋蛋白；SLAM；Uppaal… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
乐高 116篇文献引用(1991–2023) 软件作者： 罗，Z.，波拉克，R。 相关软件： Coq；Nuprl；自动… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
seL4级 92份文件引用(2009–2023) 软件作者： Klein，G.、Elphinstone，K.、Heiser，G.，Andronick，J.、Cock，D.、Derrin，P.、Elkaduwe，D.、Engelhardt，K.，Kolanski，R.、Norrish，M.、Sewell，T.、Tuch，H.、Winwood，S。 相关软件： Isabelle/HOL；Coq；伊莎贝尔… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；线性代数和多线性代数；矩阵理论（15-XX）…
渠流 88篇文献引用(2008–2023) 软件作者： J.F.吉布森 相关软件： Matlab；FFTW；piDMD… 主要字段： 偏微分方程（35-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
cvc3型 80篇文献引用(2006–2023) 软件作者： 克拉克·巴雷特（Clark Barrett）、塞萨尔·蒂内利（Cesare Tinelli 相关软件： z3；SMT-LIB；Yices… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
AETG公司 67篇文献引用(1998–2023) 软件作者： 科恩，D.M。；Dallal，S.R。；弗雷德曼，M.L。；巴顿，G.C。 相关软件： CAgen；行为；禁忌搜索… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；统计学（62-XX）…
信号 51份文件中引用(1987–2020) 软件作者： 大卫·诺瓦克；Jean-Pierre Talpin；蒂埃里·戈蒂埃；保罗·勒格尔尼克 相关软件： 卢斯特；酯类；托勒密… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
迪纳摩 19份文件引用(2011–2023) 软件作者： 迪坎迪亚，G。；哈斯托伦，D。；Jampani，M。；Kakulapati，G。；拉克希曼，A。；Pilchin，A。；Sivasubramanian，S。；沃沙尔，P。；沃格尔，W。 相关软件： 卡桑德拉；和弦；大表格… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
KQML公司 16篇文献引用(1996–2019) 软件作者： 蒂姆·菲宁（Tim Finin）、理查德·弗里茨森（Richard Fritzson）、唐纳德·普·麦凯（Donald P McKay）、罗宾·麦康蒂尔（Robin McEntire） 相关软件： 神童；Globus工具包；Qu-Prolog… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
奥德赛 32篇文献引用(1996–2016) 软件作者： 罗斯坦，N.，达尔马斯，S.，加利戈，A 相关软件： ADIFR；TAMC；ADOL-C… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
洛拉 26篇文献引用(2000–2021) 软件作者： 卡斯滕·施密特（Karsten Schmidt）；K·沃尔夫。 相关软件： 玛丽亚；Uppaal；BPEL2PN… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
Cadence SMV公司 22篇文献引用(2000–2018) 软件作者： 麦克米兰K·L。 相关软件： NuSMV；自旋蛋白；SPOT… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
PSBLAS公司 23篇文献引用(2000–2021) 软件作者： 达安布拉，帕斯卡；迪塞拉菲诺，丹妮拉；萨尔瓦多菲利波内 相关软件： MLD2P4；2LEV-D2P4；特里利诺斯… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
雪 21篇文献引用(2006–2022) 软件作者： 卢克·蒂尔尼（Luke Tierney）；A.J.罗西尼。；李娜 相关软件： 雪；R；Rcpp… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
大都市 7份文件引用(2006–2018) 软件作者： Balarin F、Watanabe Y、Hsieh H、Lavagno L、Passerone C、Sangiovanni-Vincentelli A 相关软件： 托勒密；里奥；LUSTRE… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
MA42型 16篇文献引用（1994年至2004年） 软件作者： 达夫，I。；J·斯科特。 相关软件： BLAS；HSL；MA32… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
高迪 11份文件引用(2001–2010) 软件作者： Barrand，G.公司。；贝尔亚耶夫，I。；宾科，P。；Cattaneo，M。；Chytracek，R。；科尔蒂，G。；M.弗兰克。；格雷西亚，G。；J.哈维。；van Herwijnen，E。；Maley，P。；马托，P。；Probst，S。；F.兰贾德。 相关软件： 根；RapidSim；Scikit… 主要字段： 总体主题；藏品（00-XX）；微分几何（53-XX）；粒子力学与系统（70-XX）…
NESL公司 14篇文献引用(1994–2022) 软件作者： 盖伊·E·布莱洛赫。 相关软件： 哈斯克尔；MapReduce；GHC… 主要字段： 数学逻辑与基础（03-XX）；一般代数系统（08-XX）；计算机科学（68-XX）
开放CMISS 10篇文献引用(2013–2023) 软件作者： 生理学项目；Bradley，C.、Bowery，A.、Britten，R.、Budelmann，V.、Camara，O.、Christie，R.，Cookson，A.、Frangi，A.F.、Gamage，T.B.、Heidlauf，T.等 相关软件： FEniCS；交易.ii；贞洁… 主要字段： 可变形固体力学（74-XX）；流体力学（76-XX）；光学、电磁理论（78-XX）…
城市模拟 9份文件引用(2005–2022) 软件作者： Waddell P、Borning A、Noth M、Freier N、Becke M、Ulfarsson G 相关软件： 生物战；UScensus2000；acs… 主要字段： 总体主题；藏品（00-XX）；统计学（62-XX）；运筹学，数学规划（90-XX）…
爪哇-MaC 11份文件引用(2003–2021) 软件作者： Moonzoo Kim、Mahesh Viswanathan、Sampath Kannan、Insup Lee、Oleg Sokolsky 相关软件： JPAX；Java-MOP；LOLA… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
PSync（同步） 9份文件引用(2016–2023) 软件作者： 塞扎拉奥盖医生；托马斯·亨辛格（Thomas A.Henzinger）。；达米安·祖弗里 相关软件： 威尔第；常春藤；ByMC… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
束 3份文件引用(2013–2018) 软件作者： Mancoridis，S.、Mitchell，B.、Chen，Y.、Gansner，E。 相关软件： 蚂蚁；集群发现；CPLEX… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
BousiProlog公司 6篇文献引用(2017–2023) 软件作者： 伊兰佐、帕斯夸尔·朱利安、克莱门特·鲁比奥·曼扎诺 相关软件： Likelog；SWI-预测；快速… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
狂热的 7份文件引用(2011–2021) 软件作者： Foster，N.、Harrison，R.、Freedman，M.J.、Monsanto，C.、Rexford，J.、Story，A.、Walker，D。 相关软件： NetKAT；荨麻；VeriCon… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
MLbase公司 6篇文献引用(2015–2021) 软件作者： 蒂姆·克拉斯卡（Tim Kraska）、阿梅特·塔尔沃卡尔（Amee Talwalkar）、约翰·杜奇（John Duchi）、里恩·格里菲斯（Rean Griffith）、迈克尔·富兰克林（Michael Franklin）、迈克·乔丹 相关软件： github；BioHEL；GAssist；…（G）… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
塔克 7份文件引用(2007–2012) 软件作者： 大卫·巴尔德（David Baelde）；戴尔·米勒；斯诺，扎卡里 相关软件： 阿贝拉；贝德维尔；Twelf… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
波利斯 6篇文献引用(2002–2007) 软件作者： 巴莱尼，马西莫；马西莫·孔蒂（Massimo Conti）；阿尔贝托法拉利；瓦莱里奥·弗雷斯科拉；阿尔贝托Sangiovanni-Vincentelli 相关软件： 多时性；糠；MiBench… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
Simscape公司 5份文件引用(2014–2020) 软件作者： 迈斯沃克 相关软件： Matlab；活性氧；GAZEBO… 主要字段： 总体主题；藏品（00-XX）；近似和展开（41-XX）；粒子力学与系统（70-XX）…
自动平衡器 5份文件引用（2000年-2010年） 软件作者： 佐藤加美；富米奥·金弘；玉崎县田宫；稻叶、Masayuki；Hirochika井上 相关软件： —— 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；粒子力学与系统（70-XX）…
CCUBE公司 4份文件引用(1997–2013) 软件作者： A.Brodsky、V.Segal、J.Chen、P.Exarkhopoulo 相关软件： XQuery；抒情的；DEDALE… 主要字段： 计算机科学（68-XX）
DAQV公司 5份文件引用(1997–2002) 软件作者： 史蒂文·哈克斯塔特（Steven T.Hackstadt）。；艾伦·D·马洛尼。 相关软件： HPFIT；WIEN97；SPiDER… 主要字段： 计算机科学（68-XX）
EXPRESS（快递） 4份文件引用(1983–2016) 软件作者： 北卡罗来纳州舒。；豪塞尔，B.C。；泰勒，R.W。；Ghosh，S.P。；卢姆，V.Y。 相关软件： —— 主要字段： 计算机科学（68-XX）
jMocha公司 5份文件引用(2008–2023) 软件作者： 阿鲁尔（Alur，R.）。；de Alfaro，L。；格罗苏，R。；Henzinger，T。；托马斯。；Kang，M。；Kirsch，C。；马朱姆达尔，R。；Mang，F。；王，B.-Y。 相关软件： 摩卡；MCMAS；MCMAS-SLK… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
SDEF公司 4份文件引用(1991–2023) 软件作者： 布拉德利·恩格斯特罗姆（Bradley R.Engstrom）；彼得·卡佩罗 相关软件： 变形杆菌；斯卡拉；轻量级Java… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
TLRW公司 4份文件引用(2011–2020) 软件作者： David Dice；谢菲特 相关软件： NOrec；环STM；印章… 主要字段： 计算机科学（68-XX）；量子理论（81-XX）；信息与通信理论，电路（94-XX）
地穴 1份文件引用(2006) 软件作者： Erez Zadok、Ion Badulescu、Alex Shender 相关软件： SiRiUS公司；冥王星；Iolus… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
加内特 1份文件引用(2014) 软件作者： N.Agarwal、T.Krishna、L.-S.Peh、N.K.Jha 相关软件： 解析；SICOSYS公司；哈西姆… 主要字段： 信息与通信理论，电路（94-XX）
高斯 4份文件引用(2002–2018) 软件作者： Ramakrishnan，N.、Rice，J.R.、Houstis，E.N。 相关软件： PYTHIA公司；超启发式；科恩拉布… 主要字段： 组合数学（05-XX）；统计学（62-XX）；数值分析（65-XX）…
JMAG公司 3份文件引用(1990–2017) 软件作者： JSOL公司 相关软件： 麦克斯韦；FEniCS；交易.ii… 主要字段： 数值分析（65-XX）；光学、电磁理论（78-XX）；博弈论、经济学、金融学和其他社会和行为科学（91-XX）…
玫瑰色 4份文件引用(2003–2010) 软件作者： 丹·昆兰 相关软件： SUIF；GAMS；AMPL… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
SERB公司 4份文件引用(1988–2006) 软件作者： Timothy S.Larkin。；雷蒙德·卡鲁瑟斯一世。；理查德·索珀（Richard S.Soper）。 相关软件： 闲聊；SIMSCRIPT；DYNAMO公司 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
护身符 1份文件引用(2021) 软件作者： Brad A Myers、Richard G McDaniel、Robert C Miller、Alan S Ferrency、Andrew Fauling、Bruce D Kyle、Andrew-Mickish、Alex Klimovitski、Patrick Doane 相关软件： 天蓝色；蟒蛇；供应… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
CapoOne公司 1份文件引用(2018) 软件作者： Montesinos P、Hicks M、King ST、Torrellas J 相关软件： 剑道；FATCOP；游戏… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
NetCore公司 2份文件引用(2013–2018) 软件作者： 克里斯托弗·孟山都；Nate Foster；罗伯·哈里森（Rob Harrison）；大卫·沃克 相关软件： github；NetKAT；菲马托… 主要字段： 计算机科学（68-XX）
聚醚醚酮 3份文件引用(2016–2021) 软件作者： 霍克，大卫；罗伯特·科苏特（Robert Kosut）；赫歇尔·拉比茨 相关软件： 其mr；Matlab；克朗… 主要字段： 量子理论（81-XX）；信息与通信理论，电路（94-XX）
POOSL公司 3份文件引用(2003–2022) 软件作者： Theelen，B.D。；Voeten，J.P.M。；R.D.J.克莱默。 相关软件： 蟒蛇；TypeScript；埃斯特雷尔… 主要字段： 计算机科学（68-XX）
PyMKS公司 3份文件引用(2019–2024) 软件作者： 惠勒，D。；布鲁，D.B。；法斯特，T。；Kalidindi，S.R.公司。；A·里德 相关软件： 亚当；U-Net；长臂猿… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
拉佩尔 1份文件引用(2009) 软件作者： 杰·帕特尔（Jay A.Patel）。；Rivi`在这里，'埃蒂安；印度古普塔；安娜·马里·科尔马雷克 相关软件： 脚本；张开；发电机… 主要字段： 计算机科学（68-XX）
ReachLab实验室 3份文件引用(2005–2006) 软件作者： A.杜比。；吴，X。；苏，H。；T.J.古。 相关软件： Uppaal；d/dt；工具箱LS 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
SPiDER公司 3份文件引用(2001–2002) 软件作者： 法林格，T。；Sowa-Piekło，K。；切尔文斯基，P。；Brezany，P。；Bubak，M。；Koppler，R。；Wismüller，R。 相关软件： WIEN97；CUMULVS公司；达克夫… 主要字段： 计算机科学（68-XX）
UltraSONIC公司 3份文件引用(2002) 软件作者： 西蒙·海恩斯（Simon D.Haynes）。；亨利·G·埃普索姆。；Richard J.库珀。；保罗·麦卡尔平。 相关软件： —— 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
CBabel公司 2份文件引用(2005–2009) 软件作者： 亚历山大·雷德梅克；克里斯蒂亚诺·布拉加；亚历山大·斯塔金伯格 相关软件： 莫德；GraphML；SLMC… 主要字段： 计算机科学（68-XX）
中央司令部 2份文件引用(2006–2013) 软件作者： Young，W。；Taylor，医学硕士。；汤普森，R.G。；科尔，I。；福斯特，J。 相关软件： —— 主要字段： 运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
深度突变 1份文件引用(2020) 软件作者： 马磊、张福源、孙继源、薛敏慧、李波、费利克斯·觉非、谢超、李丽、杨柳、赵建军、王亚东 相关软件： 深度规；TensorFuzz；DLFuzz… 主要字段： 计算机科学（68-XX）
EPK修复 2份文件引用(2015) 软件作者： A.Knapp、N.Koch、M.Wirsing、J.Duckeck、R.Lutze、H.Fritzsche、D.Timm、P.Closhen、M.Frisch、H.-J.Hoffmann、B.Gaede、J.Schneeberger、H.Stoyan、A.Turk 相关软件： 赫茨；ACSL；CASL公司 主要字段： 历史与传记（01-XX）；计算机科学（68-XX）
快速 2份文件引用(2020–2023) 软件作者： 帕斯夸尔·朱利安·伊兰佐；莫雷诺、吉纳斯；何塞·安东尼奥·里亚扎 相关软件： BousiProlog；FRIL；XPath… 主要字段： 计算机科学（68-XX）
GADAPT公司 2份文件引用(2019–2023) 软件作者： 拉斯·斯特凡；朱全燕 相关软件： HyRiM；对 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
哈尔_ 2份文件引用(1992–2000) 软件作者： 克里斯·霍克（Chris Houck）、古尔·阿加（Gul Agha） 相关软件： 蟒蛇；CHARM++；Oz… 主要字段： 计算机科学（68-XX）
免疫网格 2份文件引用(2012) 软件作者： F Pappalardo，医学博士Halling-Brown等人。 相关软件： 窥探 主要字段： 数值分析（65-XX）；生物学和其他自然科学（92-XX）；系统论；控制（93-XX）
JENA公司 2份文件引用(2018–2020) 软件作者： 托马斯·欣泽 相关软件： MetaPlab；琥珀色；COPASI… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
Lumerical公司 1份文件引用(2023) 软件作者： Ansys公司 相关软件： COMSOL公司；CST工作室套房；MEEP… 主要字段： 偏微分方程（35-XX）；光学、电磁理论（78-XX）；经典热力学，传热（80-XX）…
MuPlex公司 1份文件引用(2019) 软件作者： Rachlin，J。；丁，C。；康托，C。；卡西夫，S。 相关软件： 对 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；生物学和其他自然科学（92-XX）
哎呀 在0个文档中引用 软件作者： 詹妮弗·曼考夫（Jennifer Mankoff）；格雷戈里·德·阿布德（Gregory D Abowd）；斯科特·赫德森 相关软件： SMIL公司 主要字段： ——
PyFocus公司 1份文件引用(2023) 软件作者： 费尔南多·卡普里莱（Fernando Caprile）、卢西亚诺·A·马苏洛（Luciano A.Masullo）、费尔南多·D·斯特凡尼（Fernando D.Stefani） 相关软件： github；BrightEyes-ISM；螺旋形… 主要字段： 光学、电磁理论（78-XX）
REFLIX公司 1份文件引用(2002) 软件作者： Salcic、Zoran；Partha Roop；Biglari-Abhari，Morteza；阿巴斯·比格德利 相关软件： —— 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
STABLE（稳定） 2份文件引用（2014年至2018年） 软件作者： Pavlenko，E。；韦德勒，M。；斯托菲尔，D。；Kunz，W。；等。 相关软件： 单一；宠物老板；ABC… 主要字段： 交换代数（13-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
WearNET公司 1份文件引用(2002) 软件作者： Lukowicz，P。；Junker，H。；斯特格，M。；冯·比伦，T。；Tröster，G。 相关软件： —— 主要字段： 计算机科学（68-XX）
xMAML公司 在0个文档中引用 软件作者： Lallet，J.、Pillement，S.、Sentieys，O。 相关软件： OCaml；FPath；ByADL… 主要字段： 计算机科学（68-XX）
ActiVis公司 在0个文档中引用 软件作者： Minsuk Kahng、Pierre Y.Andrews、Aditya Kalro、Duen Hong Chau 相关软件： LSTMVis；深海眼；ConvNetJS… 主要字段： ——
认知大师 在0个文档中引用 软件作者： Wienert S、Heim D、Kotani M、Lindequist B、Stenzinger A、Ishii M、Hufnagl P、Beil M、Dietel M、Denkert C、Klauschen F 相关软件： libjpeg-turbo；LibTIFF；图形Magick… 主要字段： ——
深海 1份文件引用(2021) 软件作者： Sjöberg，V.、Sang，Y.、Weng，S.c.、Shao，Z。 相关软件： solc-verify；版本X 主要字段： 博弈论、经济学、金融和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）