阿巴克斯 软件作者：Simulia（达索系统）；ABAQUS公司 参考文献： 1577份出版物（1985-2022） 相关软件： 麻省大学；ABAQUS/标准；ABAQUS/显式；Matlab语言；ANSYS软件；LS-DYNA… 主要领域： 数值分析（65-XX）；变形固体力学（74-XX）；流体力学（76-XX）
Mfree2D型 软件作者：G.R.Liu，Z.H.图 参考文献： 324种出版物（2002-2022年） 相关软件： Matlab语言；XFEM公司；阿巴克斯；FEAPpv；LS-DYNA；MFDMtool… 主要领域： 偏微分方程组（35-XX）；数值分析（65-XX）；可变形固体力学（74-XX）
ABAQUS/标准 软件作者：达索系统 参考文献： 215种出版物（1995-2022年） 相关软件： 阿巴克斯；麻省大学；Matlab语言；ABAQUS/显式；数学；海普拉斯… 主要领域： 数值分析（65-XX）；粒子与系统力学（70-XX）；可变形固体力学（74-XX）
海普拉斯 软件作者：De Souza Neto EA，PerićD，欧文博士 参考文献： 205种出版物（1996-2022年） 相关软件： 阿巴克斯；FEAPpv；Matlab语言；AceFEM；Trilinos公司；CutFEM… 主要领域： 数值分析（65-XX）；变形固体力学（74-XX）；流体力学（76-XX）
电子稳定控制系统/Java 软件作者：格雷格·纳尔逊 参考文献： 118种出版物（2001-2021年） 相关软件： 规格；简化；JML公司；布吉；喀拉喀托；埃菲尔… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
萨特4J 软件作者：勒贝尔；帕兰 参考文献： 83种出版物（2007-2023） 相关软件： 迷你卫星；糠；qmax卫星；打开WBO；皮科萨；z3… 主要领域： 数理逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）
ABAQUS/显式 软件作者：达索系统 参考文献： 78种出版物（1997-2022） 相关软件： 阿巴克斯；ABAQUS/标准；麻省大学；VUMAT公司；LS-DYNA；弗拉克… 主要领域： 数值分析（65-XX）；粒子与系统力学（70-XX）；可变形固体力学（74-XX）
投掷 软件作者：帕特里斯·戈德弗里德；尼尔斯·克拉伦；Koushik Sen公司 参考文献： 58种出版物（2005-2022） 相关软件： 可爱的；Pex公司；z3；污水处理厂；克莱；Java探路者… 主要领域： 数理逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）
围裙 软件作者：珍妮，贝特朗；敏妮，安托万 参考文献： 69种出版物（1991-2021年） 相关软件： 阿斯特里；PPL；z3；八角形；过程间；帕加伊… 主要领域： 凸与离散几何（52-XX）；数值分析（65-XX）；计算机科学（68-XX）
水银 软件作者：mercurylang.org网站 参考文献： 70种出版物（1994-2022） 相关软件： 幼儿保育和教育；DPPD；西斯库斯；恰奥普；再见；哈斯克尔… 主要领域： 一般性和全局性主题；收款（00-XX）；范畴论；同调代数（18-XX）；统计（62-XX）
Hets公司 软件作者：Mossakowski，T.，Maeder，C.，Lüttich，K。 参考文献： 62种出版物（2005-2021年） 相关软件： CASL公司；伊莎贝尔/霍尔；伊莎贝尔；莫德；卡菲奥比；因为… 主要领域： 数理逻辑与基础（03-XX）；范畴论；同调代数（18-XX）；计算机科学（68-XX）
Nike2D系列 软件作者：J.O.哈尔奎斯特 参考文献： 63种出版物（1982-2022） 相关软件： LS-DYNA；DYNA3D；DYNA2D；洪都；张量；图迪II… 主要领域： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；可变形固体力学（74-XX）
八角形 软件作者：米内，A。 参考文献： 59种出版物（2002-2014） 相关软件： 阿斯特里；停机坪；PPL；ESC/Java；球茎；为什么3… 主要领域： 数理逻辑与基础（03-XX）；凸与离散几何（52-XX）；数值分析（65-XX）
Frama-C公司 软件作者：帕特里克·鲍丁；理查德·博尼肯；洛伊克·科伦森；帕斯卡库克；扎纳·达尔加耶；让-克里斯托夫·菲利特；菲利普·赫尔曼；克劳德·马凯；本杰明莫纳特；莫亚尼克；安妮·帕卡莱；处女座的普雷沃斯托；朱利安·西诺尔斯和鲍里斯·亚科博夫斯基 参考文献： 39种出版物（2009-2021） 相关软件： 原因3；成本；z3；ACSL公司；喀拉喀托；布吉… 主要领域： 一般性和全局性主题；收款（00-XX）；数理逻辑与基础（03-XX）；数值分析（65-XX）
比查姆 软件作者：查布里耶，N.，法吉斯，F.，索利曼，S。 参考文献： 45种出版物（2005-2022） 相关软件： 生物酶；棱镜；佩帕；生物网原；磅；GNA… 主要领域： 数理逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）
再见 软件作者：Hermenegildo公司，Bueno F.，Puebla G.，Lopez P。 参考文献： 47种出版物（1999年至2022年） 相关软件： 再见；西斯库斯；汞；z3；拉夫特；因为… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
如果-2.0 软件作者：波兹加，马吕斯；格拉夫，苏珊娜；莫尼尔，劳伦特 参考文献： 37种出版物（2002-2017） 相关软件： 乌帕；克洛诺斯；旋转；海因奇；CADP；CMC… 主要领域： 一般性和全局性主题；收款（00-XX）；动力系统与遍历理论（37-XX）；计算机科学（68-XX）
马克 软件作者：软件硕士 参考文献： 39种出版物（1979-2022） 相关软件： 理学硕士马克；阿巴克斯；LS-DYNA；密码；结石；帕特兰… 主要领域： 数值分析（65-XX）；变形固体力学（74-XX）；流体力学（76-XX）
TVLA公司 软件作者：急性心肌梗死；喜怒无常的射手座 参考文献： 31种出版物（2000-2020） 相关软件： ESC/Java；简化；旋转；猛击；阿斯特里；z3… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融学和其他社会和行为科学（91-XX）
彗星 软件作者：Cervera M、Agelet de Saracibar C、Chiumenti M 参考文献： 24种出版物（2003-2022） 相关软件： 吉德；编解码器消息；FEAPpv；佩蒂加；夸德克；农业2d… 主要领域： 数值分析（65-XX）；变形固体力学（74-XX）；流体力学（76-XX）
弗拉格希普 软件作者：博内，哈维尔；吉尔，安东尼奥J。；伍德，理查德D。 参考文献： 24种出版物（2016-2022） 相关软件： Gmsh公司；海普拉斯；阿巴克斯；Matlab语言；项目经理；PMTK… 主要领域： 微分几何（53-XX）；数值分析（65-XX）；可变形固体力学（74-XX）
翘曲3D 软件作者：希利，B.，古勒鲁，A.，科彭霍夫，K.，罗伊，A.，罗伊乔杜里，S.，沃尔特斯，M.，比雄，B.，科克兰，K.，卡莱尔，A.，多德，R。 参考文献： 21种出版物（1998-2021） 相关软件： 阿巴克斯；ANSYS软件；驼鹿；LS-DYNA；康索尔；代码\u Aster… 主要领域： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）
萨利纳斯 软件作者：Bhardwaj，M.，Pierson，K.，Reese，G.，Walsh，T.，Day，D.，Alvin，K.，Peery，J。 参考文献： 18种出版物（2003-2018） 相关软件： PETSc公司；ARPACK；Trilinos公司；拉帕克；腮腺炎；炒作… 主要领域： 偏微分方程组（35-XX）；数值分析（65-XX）；可变形固体力学（74-XX）
乌代克 软件作者：伊塔斯卡咨询集团公司 参考文献： 18种出版物（1996-2021） 相关软件： Y-Geo公司；PFC；数学；强悍-FLAC；FLAC3D；下降… 主要领域： 数值分析（65-XX）；变形固体力学（74-XX）；地球物理学（86-XX）
理学硕士马克 软件作者：软件公司理学硕士 参考文献： 17种出版物（2002-2019） 相关软件： 马克；Matlab语言；Wx最大；马克西玛；皮纳；通量… 主要领域： 实函数（26-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）
拉塞克斯 软件作者：恩格勒，D.，阿什克拉夫特，K 参考文献： 15种出版物（2008-2021） 相关软件： 橡皮擦；继电器；锁匠；划伤；迷你卫星；国际象棋… 主要领域： 计算机科学（68-XX）；系统论；控制（93-XX）
FunArray公司 软件作者：库索，帕特里克；库索，拉迪亚；洛佐，弗朗西斯科 参考文献： 16种出版物（2011-2021） 相关软件： 阿斯特里；z3；助推器；停机坪；Mcmt；公主… 主要领域： 序，格，有序代数结构（06-XX）；计算机科学（68-XX）
西软 软件作者：艾克，S。；小J.斯特芬 参考文献： 8种出版物（1995-2011） 相关软件： 编解码器；希皮卡；朱庇特；CVS扫描；Vizz3D；梅里弗… 主要领域： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）
瑜伽士 软件作者：Aditya诉Nori，Sriram K.Rajamani，SaiDeep Tetali，Aditya诉Thakur 参考文献： 12种出版物（2010-2021） 相关软件： 投掷；z3；可爱的；Java探路者；Pex公司；克莱… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
阿根利斯克 软件作者：芬顿，诺曼；尼尔，马丁 参考文献： 11种出版物（2013-2021） 相关软件： R；四分体；激发子；多布森；手臂；brms… 主要领域： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）
布吉普尔 软件作者：德琳，R.，莱诺，K.R.M。 参考文献： 10种出版物（2005-2020） 相关软件： z3；规格；布吉；霍尔布吉；ESC/Java；VCC… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
动态流 软件作者：让·H·普雷沃斯特 参考文献： 13种出版物（1997-2020） 相关软件： 强悍-FLAC；杜穆克斯；急流；OpenGeoSys公司；代码亮；日蚀… 主要领域： 变分法与最优控制；优化（49-XX）；变形固体力学（74-XX）；流体力学（76-XX）
起源 软件作者：范德普拉茨研发公司 参考文献： 11种出版物（2004-2017） 相关软件： 光学结构；交通部；ABAQUS/标准；嗯；纳斯川；LS-DYNA… 主要领域： 数值分析（65-XX）；计算机科学（68-XX）；可变形固体力学（74-XX）
GKLEE公司 软件作者：Li，G.，Li，P.，Sawaya，G.，Gopalakrishnan，G.，Ghosh，I.，Rajan，S.P。 参考文献： 10种出版物（2013-2022） 相关软件： gpu验证；库达大学；OpenCL公司；成本；优雅；GitHub… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
OptiStruct公司 软件作者：牵牛星工程公司 参考文献： 9种出版物（2008-2020） 相关软件： 超网状；起源；Matlab语言；顶部.m；ANSYS软件；SolidWorks… 主要领域： 数值分析（65-XX）；变形固体力学（74-XX）；流体力学（76-XX）
维拉斯科 软件作者：雅克·亨利·约尔丹、文森特·拉波特、桑德琳·布莱兹、泽维尔·勒罗伊、大卫·皮查迪 参考文献： 12种出版物（2016-2021） 相关软件： 成本；z3；阿斯特里；工具链；LLVM；哈希*… 主要领域： 数理逻辑与基础（03-XX）；序，格，有序代数结构（06-XX）；凸与离散几何（52-XX）
宇宙/米 软件作者：结构研究与分析公司 参考文献： 12种出版物（1996-2016） 相关软件： ANSYS软件；枫木 主要领域： 数值分析（65-XX）；变形固体力学（74-XX）；经典热力学，传热学（80-XX）
动态 软件作者：格兰特，B.，莫克，M.，菲利浦，M.，钱伯斯，C.，埃格斯，S.J。 参考文献： 11种出版物（2000-2010） 相关软件： V代码；TALx86；ASM公司；LMS；瓶；BCEL… 主要领域： 计算机科学（68-XX）
PFVIBAT公司 软件作者：埃克森，本特A。 参考文献： 12种出版物（1976-2014） 相关软件： FEAPpv；维康诺特；减少 主要领域： 数值分析（65-XX）；变形固体力学（74-XX）；流体力学（76-XX）
失忆症 软件作者：哈尔福德W，奥索A 参考文献： 8种出版物（2007-2014） 相关软件： 虔诚；dk.brics.automaton公司；PQL；哈斯克尔；泰姬陵；F4F… 主要领域： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
爬虫 软件作者：尼基·威廉姆斯，布鲁诺·马尔，帕特里夏·穆伊，穆里尔·罗杰 参考文献： 5种出版物（2008-2021） 相关软件： 可爱的；投掷；z3；Frama-C；Pex公司；桑特… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
VPM公司 软件作者：Dániel VarróAndrás Pataricza 参考文献： 4种出版物（2005-2007） 相关软件： 高架桥2；进展；阿托米3；伏贾巴；图形转换基准；GXL… 主要领域： 计算机科学（68-XX）
无间隙 软件作者：洗澡，K.J。；威尔逊，E.L。 参考文献： 10种出版物（1976-2013） 相关软件： 纳斯川 主要领域： 近似和展开（41-XX）；变分法与最优控制；优化（49-XX）；可变形固体力学（74-XX）
萨姆塞夫·梅卡诺 软件作者：萨姆泰克 参考文献： 10种出版物（1988-2015） 相关软件： 萨姆塞夫；夸特罗老板；PLCP；SAMCEF油田 主要领域： 数值分析（65-XX）；计算机科学（68-XX）；粒子与系统力学（70-XX）
理智的 软件作者：巴尔扎罗蒂，D.，科瓦，M.，费尔梅茨格，V.，约万诺维奇，N.，基尔达，E.，克鲁格，C.，维格纳，G。 参考文献： 8种出版物（2009-2021） 相关软件： 陌生人；泰姬陵；梅林；Z3str2；Z3str3型；诺恩… 主要领域： 计算机科学（68-XX）
马吉 软件作者：乔治·阿尔玛西；帕多瓦，大卫A。 参考文献： 8种出版物（2001-2016） 相关软件： Matlab语言；R；斯卡拉帕克；示踪剂；林坎特；GitHub… 主要领域： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）
Z3街 软件作者：郑Y，张X，甘尼什五世 参考文献： 8种出版物（2015-2021） 相关软件： S3；汉比；z3；通过；陌生人；诺恩… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）
基础知识 软件作者：布兰克，雷吉斯；亨辛格，托马斯A。；霍特利埃，蒂波特；科瓦茨，劳拉 参考文献： 6种出版物（2010-2021） 相关软件： 速度；肉冻；扁桃体；小猫；批准；LLVM… 主要领域： 计算机科学（68-XX）
计算 软件作者：Nuzzo，P.，Puggelli，A.，Seshia，S.A.，Sangiovanni Vincentelli，A.L。 参考文献： 8种出版物（2013-2019） 相关软件： 德雷尔；z3；德拉赫；是的；SMT-大鼠；SMT-LIB… 主要领域： 计算机科学（68-XX）；粒子与系统力学（70-XX）；运筹学，数学规划（90-XX）
妖精 软件作者：沃伊达尼，V。；维尼，V。 参考文献： 8种出版物（2009-2021） 相关软件： 锁匠；继电器；阿斯特里；DDVerify公司；RacerX公司；再见… 主要领域： 计算机科学（68-XX）
基林 软件作者：斯里尼瓦桑，S.，密克罗夫特，A。 参考文献： 6种出版物（2010-2020） 相关软件： JCobox公司；防抱死制动系统；二郎；中美合作所；成本；环境谈话… 主要领域： 计算机科学（68-XX）
帕盖 软件作者：朱利安·亨利、大卫·蒙诺、马修·莫伊 参考文献： 8种出版物（2014-2020） 相关软件： 停机坪；PPL；海因奇；法弗；阿斯特里；EFM工具… 主要领域： 数理逻辑与基础（03-XX）；凸与离散几何（52-XX）；计算机科学（68-XX）
数量测试 软件作者：Regenwetter，M.，Davis Stober，C.P.，Lim，S.H.，Guo，Y.，Popova，A.，Zwilling，C.，Cha，Y.-S.Messner，W。 参考文献： 8种出版物（2015-2021） 相关软件： 波尔塔；多项式；rPorta公司；斯坦；github；比姆斯… 主要领域： 凸与离散几何（52-XX）；统计学（62-XX）；博弈论、经济学、金融学和其他社会和行为科学（91-XX）
依偎 软件作者：钱德拉，S.，芬克，S.J.，斯里德哈兰，M。 参考文献： 7种出版物（2010-2021） 相关软件： 投掷；z3；污水处理厂；瑜伽士；克莱；因夫根… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
泰姬陵 软件作者：特里普，O.，皮斯托亚，M.，芬克，S.J.，斯里德哈兰，M.，韦斯曼，O。 参考文献： 7种出版物（2013-2021） 相关软件： 流动机器人；迪坦；F4F；污点机器人；虔诚；全景图… 主要领域： 计算机科学（68-XX）
典型的 软件作者：小林市，N。 参考文献： 8种出版物（1985-2017） 相关软件： 派珀；地鼠；github；去吧；RacerX公司；绝对值… 主要领域： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
缓存审核 软件作者：Doychev，G.，Feld，D.，Köpf，B.，Mauborgne，L.，Reineke，J。 参考文献： 7种出版物（2017-2021） 相关软件： 布吉；JFlow公司；氯化钠；LLVM；哈希*；茶… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
消防员 软件作者：元，L。；麦，J。；苏，Z。；陈，H。；Chuah，C.N。；莫哈帕特拉，P。 参考文献： 6种出版物（2009-2020） 相关软件： 马尔格雷夫；公司；HOL试验原；CP矿工；科德科德；z3… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
克洛克工作 软件作者：Rogue Wave软件公司。 参考文献： 3个出版物（2007-2021） 相关软件： 芬德布格斯；码声纳；斯坦斯；级联；QEMU公司；砰的一声… 主要领域： 计算机科学（68-XX）
快速规范 软件作者：克莱森，K.，斯莫尔博恩，N.，休斯，J。 参考文献： 5种出版物（2014-2019） 相关软件： 快速检查；赶时髦的人；HipSpec公司；芝诺；理论；ACL2… 主要领域： 计算机科学（68-XX）
丁尼奥斯 软件作者：道尔顿，安德鲁R。；瓦哈巴，莎莉K。；丹达姆迪、斯拉凡提；哈尔斯特罗姆，杰森O。 参考文献： 6种出版物（2008-2019） 相关软件： FDR3；问题；自动搜索；魔法钟；妖精；阿斯特里… 主要领域： 计算机科学（68-XX）；运筹学，数学规划（90-XX）
克拉拉 软件作者：波登·E·林·P·劳丽·L 参考文献： 5种出版物（2011-2021） 相关软件： 爪哇拖把；VG面2；聚团簇；聚团簇；磁粉探伤；戴塔… 主要领域： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）
DFBAlab公司 软件作者：戈麦斯，J；霍夫纳，K；巴顿，P， 参考文献： 5种出版物（2016-2018） 相关软件： Matlab语言；CPLEX公司；共奸；地铁；蒙乃尔；眼镜蛇工具箱… 主要领域： 数值分析（65-XX）；运筹学，数学规划（90-XX）；生物学和其他自然科学（92-XX）
空腹 软件作者：Z。朱伯松J K怀特 参考文献： 5种出版物（2006-2022） 相关软件： 法斯特亨利；夸德克；普罗沃德；PHG；Netgen公司 主要领域： 数值分析（65-XX）；光学，电磁理论（78-XX）
流动机器人 软件作者：Arzt，S.，Rasshofer，S.，Fritz，C.，Bodden，E.，Bartel，A.，Klein，J.，Le Traon，Y.，Octeau，D.，麦克丹尼尔，P。 参考文献： 5种出版物（2015-2021） 相关软件： 泰姬陵；迪坦；污点机器人；FlashMeta；闪蒸；FlashRelate… 主要领域： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
戈安娜 软件作者：Fehnker A.，Huuck R.，Jayet P.，卢森堡M.，劳赫F。；红蜥蜴软件 参考文献： 4种出版物（2009-2013） 相关软件： 撒旦；猎户座；爆破；乔尔尼尔；WPDS++；巴普… 主要领域： 计算机科学（68-XX）
JSAI公司 软件作者：维尼思·卡希亚普、凯尔·杜威、伊桑·A·库夫纳、约翰·瓦格纳、凯文·吉本斯、约翰·萨拉奇诺、本·维德曼、本·哈德科夫 参考文献： 4种出版物（2017-2021） 相关软件： JavaScript；Phantm公司；诺恩；Node.js；ast；把关人… 主要领域： 计算机科学（68-XX）；运筹学，数学规划（90-XX）
标签 软件作者：谢洁瑞，陈明明，博莱斯瓦克西曼斯基 参考文献： 5种出版物（2016-2021） 相关软件： github；SELP；网络X；根鲁汶；FacetNet；快照… 主要领域： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）
潘达电源 软件作者：利昂·瑟纳、亚历山大·舍伊尔、弗洛里安·朔伊尔、扬·亨德里克·门克、朱利安·多利孔、弗里德里克·迈耶、斯特芬·梅内克、马丁·布劳恩 参考文献： 0个出版物 相关软件： Pypsa公司；蟒蛇；军力；开放式健身房；电子；山药cpp… 主要领域： –
继电器 软件作者：Voung，J.W.，Jhala，R.，Lerner，S。 参考文献： 6种出版物（2008-2021） 相关软件： 橡皮擦；锁匠；RacerX公司；妖精；麦克帕托；奇比奥斯… 主要领域： 计算机科学（68-XX）
VeriSmall公司 软件作者：阿佩尔，安德鲁W。 参考文献： 5种出版物（2012-2018） 相关软件： 成本；充电！；小脚；杀戮者；VeriFast公司；jStar… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
工艺 软件作者：伊万，波利亚科夫；索科洛夫，丹尼尔；莫霍夫，安德烈 参考文献： 4种出版物（2011-2022） 相关软件： 维普托尔；基因；石化；正式舞会；rbminer公司；蒂娜… 主要领域： 序，格，有序代数结构（06-XX）；计算机科学（68-XX）
J预测器 软件作者：陈峰，特瑞安·弗洛林·塞巴努塔，格里戈·罗伊乌 参考文献： 5种出版物（2007-2018） 相关软件： 航空兵；QuickLex公司；快速通道；佩内洛普；CTrigger公司；ASM… 主要领域： 计算机科学（68-XX）
梅林 软件作者：Livshits VB，Nori AV，Rajamani SK，班纳吉A 参考文献： 5种出版物（2013-2017） 相关软件： 理智的；泰姬陵；JavaScript；github；陌生人；F*… 主要领域： 计算机科学（68-XX）
虔诚的 软件作者：N。约万诺维奇，C.克鲁格，E.柯尔达 参考文献： 3种出版物（2014-2020） 相关软件： 失忆症；泰姬陵；迪坦；F4F；github；梦幻机器人… 主要领域： 计算机科学（68-XX）
程序冲突分析 软件作者：拉米，彼得；穆勒·奥尔姆，马库斯 参考文献： 5种出版物（2008-2018） 相关软件： 归档正式证据；魔术；双色胺；成本；伊莎贝尔/霍尔 主要领域： 计算机科学（68-XX）
萨夫卡西 软件作者：D.S.Wallach，A.W.Appel，E.W.Felten 参考文献： 3种出版物（2005-2015） 相关软件： 棱镜；JFlow公司；粘合剂；哈斯克尔；毫升 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
VERIFAS公司 软件作者：李玉良，艾琳，维克多·维亚努 参考文献： 4种出版物（2019-2021） 相关软件： 小卧室；Mcmt；助推器；游猎；ASASP；是的… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
瓦拉 软件作者：IBM公司 参考文献： 4种出版物（2009-2021） 相关软件： 烟尘；萨瓦；泰姬陵；FlashMeta；流动机器人；FlashExtract… 主要领域： 计算机科学（68-XX）
食蚁兽 软件作者：Mai，H.，Khurshid，A.，Agarwal，R.，Caesar，M.，Godfrey，P.，King，S.T。 参考文献： 4种出版物（2013-2021） 相关软件： VeriCon公司；快；验证流；奈特凯特；洛拉；绝对值… 主要领域： 计算机科学（68-XX）
DD3IMP公司 软件作者：L。F、 门尼泽斯；D、 内托先生；M、 C.奥利维拉；J、 阿尔维斯 参考文献： 4种出版物（2007-2017） 相关软件： Netgen公司；FEAPpv；MKL公司；帕迪索；吉德 主要领域： 数值分析（65-XX）；可变形固体力学（74-XX）
山雀 软件作者：J.B.Dugan，B.Venkataraman，R.Gulati 参考文献： 4种出版物（2003-2017） 相关软件： DFTCalc公司；CADP；MRMC；伽利略；准备/小猫；摩卡… 主要领域： 计算机科学（68-XX）；运筹学，数学规划（90-XX）；信息与通信理论，电路（94-XX）
格蕾丝 软件作者：麦正，维格尼什·拉维，冯琴，加根·阿格拉瓦尔 参考文献： 3种出版物（2015-2022） 相关软件： 库达大学；GKLEE公司；gpu验证；GMRace公司；豆腐；梭鱼… 主要领域： 数理逻辑与基础（03-XX）；动力系统与遍历理论（37-XX）；计算机科学（68-XX）
手 软件作者：Qi，L.，Jin，H.，福斯特，I.，加沃，J。 参考文献： 0个出版物 相关软件： Globus工具包；MapReduce；WebSphere；开放科学网格；咯咯笑；飞马座… 主要领域： –
六角形 软件作者：亨宁格，克里斯托夫；埃伯哈德，彼得 参考文献： 4种出版物（2004-2005） 相关软件： 新选择/目标；阿迪弗；新EUL 主要领域： 粒子与系统力学（70-XX）；变形固体力学（74-XX）；运筹学，数学规划（90-XX）
雅克斯塔布 软件作者：约翰尼斯·金德尔，赫尔穆特·维思 参考文献： 3种出版物（2011-2018） 相关软件： 猛击；塞加尔；MU CSeq；共生2；担保人；弗兰肯比特… 主要领域： 计算机科学（68-XX）
纽波尔卡 软件作者：珍妮B。 参考文献： 3份出版物（2007-2015） 相关软件： PPL；停机坪；蒂娜；罗密欧；埃斯特雷尔；因为… 主要领域： 计算机科学（68-XX）；系统论；控制（93-XX）
NOSA-ITACA公司 软件作者：波切利，玛格丽特；比南特，文琴佐；吉拉迪，玛丽亚；帕多瓦尼，克里斯蒂娜；帕斯奎内利，朱塞佩 参考文献： 4种出版物（2014-2020） 相关软件： ARPACK；达科他州；Loppcg.m公司；剖面波前；萨利纳斯；JDCG… 主要领域： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；粒子与系统力学（70-XX）
丽思 软件作者：Navabbour S、Joshi Y、Wu CWW、Berkovich S、Medhat R、Bonakdarpour B、Fischmeister S 参考文献： 4种出版物（2015-2020） 相关软件： 缅甸中央银行；努西姆；旋转；爆破；购物2；JPAX… 主要领域： 计算机科学（68-XX）
安全代码 软件作者：Dhurjati，D.，Kowshik，S.，Adve，V。 参考文献： 4种出版物（2008-2013） 相关软件： 发生；成本；LLVM公司 主要领域： 一般性和全局性主题；收款（00-XX）；计算机科学（68-XX）
桑特 软件作者：切巴罗，奥马尔；科斯马托夫，尼古拉；乔尔盖蒂，阿兰；朱利安，雅克 参考文献： 出版1期（2018年） 相关软件： Frama-C；爬虫；成本；可爱的；二元体；CIL… 主要领域： 计算机科学（68-XX）
麻雀 软件作者：Oh Hakjoo，Kihong Heo，Wonchan Lee，Woosuk Lee，Kwangkeun-Yi 参考文献： 4种出版物（2016-2021） 相关软件： 烟尘；停机坪；阿斯特里；达卡波；旋转；PMTK… 主要领域： 计算机科学（68-XX）
检验器 软件作者：阿兹，吉列尔墨格罗肖；贝塞拉，乔纳斯桑托斯；里贝罗，莱拉；科斯塔，安德烈；罗德里格斯，莱昂纳多·马克斯；马查多，罗德里戈 参考文献： 4种出版物（2016-2019） 相关软件： 聚合；同意；沟槽；情绪分析；埃莫夫隆；亨欣… 主要领域： 范畴论；同调代数（18-XX）；计算机科学（68-XX）