阿帕克 软件作者：莱霍克；索伦森；杨 参考文献： 834份出版物（1995-2022年） 相关软件： 环境影响因素；JDQZ公司；JDQR；拉帕克；Matlab语言；Eigtool… 主要领域： 线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程组（35-XX）；数值分析（65-XX）
鲁棒控制工具箱 软件作者：数学作品；巴拉斯·G·蒋·R·帕卡德·A·萨芬诺夫·M 参考文献： 152种出版物（1989-2022） 相关软件： Matlab语言；控制系统工具箱；Mu分析综合工具箱；LMI工具箱；亚尔米普；优化工具箱… 主要领域： 线性代数和多线性代数；矩阵理论（15-XX）；常微分方程组（34-XX）；数值分析（65-XX）
Mu分析综合工具箱 软件作者：数学作品；加里·J·巴拉斯，约翰·C·道尔，基思·格洛弗，安迪·帕卡德，罗伊·史密斯 参考文献： 109种出版物（1993-2021年） 相关软件： 鲁棒控制工具箱；LMI工具箱；Matlab语言；控制系统工具箱；歪斜；优化工具箱… 主要领域： 线性代数和多线性代数；矩阵理论（15-XX）；常微分方程组（34-XX）；可变形固体力学（74-XX）
乐高 软件作者：罗，Z.，波拉克，R。 参考文献： 106种出版物（1991-2021） 相关软件： 成本；Nuprl公司；自动机；伊莎贝尔；毫升；霍尔… 主要领域： 历史与传记（01-XX）；数理逻辑与基础（03-XX）；范畴论；同调代数（18-XX）
绿洲 软件作者：H。施密特；F、 B.詹森；等等。 参考文献： 94种出版物（1993-2022） 相关软件： 背包；夫妻；CutFEM公司；游猎；DLMF；狼毒… 主要领域： 偏微分方程组（35-XX）；数值分析（65-XX）；可变形固体力学（74-XX）
Healpix公司 软件作者：K。M、 戈尔斯基；E、 希文；A、 班迪；B、 D.旺德尔特；F、 汉森；M、 雷内克；M、 巴特尔曼 参考文献： 73种出版物（2007-2022） 相关软件： 健康；蟒蛇；坎布；Matplotlib；DLMF；努比… 主要领域： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）
科恩·卡纳德 软件作者：Kanade，Cohn，Tian 参考文献： 40种出版物（2001-2021） 相关软件： 贾菲；LIBSVM；筛选；AR面；费雷特；UCI ml… 主要领域： 组合数学（05-XX）；统计学（62-XX）；数值分析（65-XX）
小波工具箱 软件作者：数学作品；纳塔罗，C.M。；预备，N.G。；加兰，S.J.G。；卡巴内拉斯，C.S。 参考文献： 52种出版物（1995-2022） 相关软件： Matlab语言；神经网络工具箱；DT-CWT；密克罗德；帕梅蒂斯；PETSc… 主要领域： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）
刮匙 软件作者：K.J.Dana，B.Van Ginneken，S.K.Nayar，J.J.Koenderink 参考文献： 29种出版物（2001-2020） 相关软件： 出口；筛选；EMD；LIBSVM；PCA-SIFT；KTH-TIPS… 主要领域： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）
基础知识 软件作者：罗伯特·布莱顿；阿兰·米什琴科 参考文献： 35种出版物（2011-2021） 相关软件： 迷你卫星；z3；艾格；卡德；努西姆；CBMC… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；量子理论（81-XX）
MR和LTV合成工具 软件作者：皮里，卡罗尔；杜勒鲁德，盖尔E。 参考文献： 35种出版物（1999-2021） 相关软件： 亚尔米普；沉香；LMI工具箱；宿便；Matlab语言；莫塞克… 主要领域： 常微分方程组（34-XX）；动力系统与遍历理论（37-XX）；运筹学，数学规划（90-XX）
MediaBench公司 软件作者：Lee，C.，Potkonjak，M.，Mangione Smith，W.H。 参考文献： 16种出版物（2001-2016） 相关软件： 米本奇；简单刻度；沃特奇；仙人掌；第二节；RTMemController… 主要领域： 计算机科学（68-XX）；运筹学，数学规划（90-XX）；系统论；控制（93-XX）
牡蛎 软件作者：霍恩，基督徒；斯梅尔，艾伦 参考文献： 32种出版物（1989-2021） 相关软件： 蛤；Nuprl公司；霍尔；伊莎贝尔；成本；伊莎贝尔/霍尔… 主要领域： 一般性和全局性主题；收款（00-XX）；历史与传记（01-XX）；数理逻辑与基础（03-XX）
汤姆普 软件作者：卡夫，D。 参考文献： 32种出版物（1994-2022） 相关软件： NLopt；非定位；DFVLR-SQP；鼻涕；蟒蛇；奥的斯；汽蚀余量… 主要领域： 变分法与最优控制；优化（49-XX）；计算机科学（68-XX）；可变形固体力学（74-XX）
模仿者 软件作者：安德烈，爱蒂安 参考文献： 30种出版物（1996-2022） 相关软件： 乌帕；海因奇；PPL；拍打；特雷克斯；VINAS-P… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；粒子与系统力学（70-XX）
违反 软件作者：亚历山大唐泽 参考文献： 26种出版物（2011-2022） 相关软件： S-塔利罗；流量*；SpaceEx公司；Matlab语言；凯美拉；C2e2… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）
石化 软件作者：Cortadella，J.，Kishinevsky，M.，Kondratyev，A.，Lavanno，L.，Yakovlev，A。 参考文献： 24种出版物（2001-2022） 相关软件： 恰当的；github；基因；rbminer公司；乌帕；克洛诺斯… 主要领域： 计算机科学（68-XX）；系统论；对照组（93-XX）；信息与通信理论，电路（94-XX）
帕塞克 软件作者：比尼亚，C。；库马尔，S。；辛格，J.P。；李，K。 参考文献： 7种出版物（2010-2021） 相关软件： 飞溅-2；阿尔卑斯；LLVM；锡尔克；MapReduce；爸爸… 主要领域： 数理逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）
恰当的 软件作者：Schlachter，U.等人。 参考文献： 24种出版物（2015-2021） 相关软件： github；石化；思密特酚；合成网；其工具；z3… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
蛤蜊 软件作者：J。理查森，A。斯梅尔，I。格林 参考文献： 24种出版物（1997-2012） 相关软件： IsaPlanner公司；Nuprl公司；伊莎贝尔/霍尔；伊莎贝尔；成本；Isar… 主要领域： 一般性和全局性主题；收款（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
罗塞塔 软件作者：Øhrn，亚历山德；科莫罗夫斯基，一月；斯考伦，安德泽伊；西纳克，皮奥特 参考文献： 20种出版物（1998-2021） 相关软件： UCI毫升；LER；资源共享系统；资源库；韦卡；C4.5… 主要领域： 数理逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）
E电池 软件作者：M Tomita，K Hashimoto，K Takahashi，T S Shimizu，Y Matsuzaki，F Miyoshi，K Saito S Tanida，K Yugi，J C Venter；C A和记黄埔 参考文献： 18种出版物（2003-2019） 相关软件： 格帕西；小桶；虚拟单元；流氓；科帕西；麦克尔… 主要领域： 数理逻辑与基础（03-XX）；概率论与随机过程（60-XX）；数值分析（65-XX）
斯泰利根 软件作者：Tero Karras、Samuli Laine、Timo Aila 参考文献： 21种出版物（2019-2022） 相关软件： 甘华斯坦；像素2像素；基列根；张量流；InfoGAN公司；比根… 主要领域： 数值分析（65-XX）；计算机科学（68-XX）；统计力学，物质结构（82-XX）
发光 软件作者：Diederik P.Kingma，Prafulla Dhariwal 参考文献： 20种出版物（2019-2022） 相关软件： 不错；亚当；torchdiffeq；甘华斯坦；弗乔德；Pythorch… 主要领域： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）
佩索阿 软件作者：罗伊，普里坦；保罗，塔布阿达；马朱姆达尔，鲁帕克 参考文献： 20种出版物（2011-2022） 相关软件： 苏格兰人；郁金香；科西马；Matlab语言；LTLMoP；中华民国… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融学和其他社会和行为科学（91-XX）
棱镜游戏 软件作者：陈韬略；弗雷特，沃伊特ěch；奎亚特科夫斯卡，玛尔塔；帕克，大卫；西迈提斯，艾斯蒂斯 参考文献： 22种出版物（2013-2021） 相关软件： 棱镜；麦克马斯；鹰；MCMAS-SLK公司；主旨；摩卡… 主要领域： 一般性和全局性主题；收款（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
上云母 软件作者：克努特·阿克松；马丁·费边；雨果·弗洛达尔；罗比·马利克 参考文献： 21种出版物（2009-2022） 相关软件： 乌姆德斯；利比亚人；快速检查；梅森网络；自动驾驶；反链… 主要领域： 数理逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）
RACT公司 软件作者：安德烈·特雷姆巴；朱塞佩·卡拉菲奥雷；达比内；埃琳娜·格里亚齐娜；波利亚克；帕维尔·什切尔巴科夫；罗伯托节奏 参考文献： 20种出版物（2007-2018） 相关软件： 亚尔米普；完成；佩农；复合材料；舌状聚合体；聚合体… 主要领域： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）
罗米普 软件作者：阿古哈里，C.M。；奥利维拉，R.C.L.F。；佩雷斯，P.L.D。 参考文献： 20种出版物（2016-2022） 相关软件： 亚尔米普；摩泽克；沉香；SeDuMi接口；索索普特；索斯多尔… 主要领域： 常微分方程组（34-XX）；概率论与随机过程（60-XX）；数值分析（65-XX）
苏格兰人 软件作者：伦格，马提亚斯；扎马尼，马吉德 参考文献： 19种出版物（2016-2022） 相关软件： 佩索阿；科西马；郁金香；中华民国；宿便；pFaces… 主要领域： 数理逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）
比根 软件作者：安德鲁·布洛克，杰夫·多纳休，凯伦·西蒙扬 参考文献： 18种出版物（2019-2022） 相关软件： 甘华斯坦；像素2像素；基列根；斯泰利根；亚当；InfoGAN… 主要领域： 偏微分方程组（35-XX）；统计学（62-XX）；数值分析（65-XX）
嘘 软件作者：纳撒尼尔·谢弗 参考文献： 18种出版物（2008-2022） 相关软件： FFTW公司；太平洋开发银行；查姆普；DLMF；帕迪索；披萨… 主要领域： 偏微分方程组（35-XX）；概率论与随机过程（60-XX）；数值分析（65-XX）
乔托 软件作者：托马斯·A·亨辛格、本杰明·霍洛维茨、克里斯托夫·迈耶·基尔希 参考文献： 14种出版物（2001-2022） 相关软件： 克洛诺斯；信号机；埃斯特雷尔；托勒密；乌帕；快速的mpc… 主要领域： 计算机科学（68-XX）；系统论；控制（93-XX）
梅根 软件作者：Daniel H.Huson，Alexander F.Auch，季琦，Stephan C.Schuster 参考文献： 5种出版物（2010-2017） 相关软件： 利乐；塔科阿；爆破；一个；拉斯特；防扩散冲击波… 主要领域： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）
大都市 软件作者：Balarin F、渡边Y、谢赫H、拉瓦格诺L、Passerone C、Sangiovanni Vincentelli A 参考文献： 7种出版物（2006-2018） 相关软件： 托勒密；雷奥；旋转；埃斯特雷尔；乌帕；克洛诺斯… 主要领域： 计算机科学（68-XX）；系统论；控制（93-XX）
视觉 软件作者：布莱顿，R.K.等人。 参考文献： 10种出版物（2005-2015） 相关软件： 努西姆；旋转；海因奇；LTL2BA；斑点；塞萨尔… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融学和其他社会和行为科学（91-XX）
威普托尔 软件作者：Bergenthum，R.，Desel，J.，Lorenz，R.，Mauser，S。 参考文献： 12种出版物（2008-2022） 相关软件： rbminer公司；基因；石化；正式舞会；工艺；杂交猪… 主要领域： 计算机科学（68-XX）
钨 软件作者：Sülflow，安德烈 参考文献： 16种出版物（2010-2022） 相关软件： R；克莱；z3；是的；Daikon公司；SMT-LIB… 主要领域： 一般性和全局性主题；收款（00-XX）；动力系统与遍历理论（37-XX）；计算机科学（68-XX）
相思树+ 软件作者：Bohy，A.，Bruyère，V.，Filiot，E.，Jin，N.，Raskin，J.F。 参考文献： 14种出版物（2014-2020） 相关软件： 条纹；卡奇；作业成本法；反链；乌帕阿尔蒂加；乌帕尔… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）
FunArray公司 软件作者：库索，帕特里克；库索，拉迪亚；洛佐，弗朗西斯科 参考文献： 15种出版物（2011-2021） 相关软件： 阿斯特里；z3；助推器；停机坪；Mcmt；公主… 主要领域： 序，格，有序代数结构（06-XX）；计算机科学（68-XX）
HTK公司 软件作者：杨，S.J；剑桥大学工程系（CUED） 参考文献： 8种出版物（1997-2007） 相关软件： 普拉特；芬德；拉斯塔马特；斯芬克斯二世；AdaBoost.MH版 主要领域： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）
MCGP公司 软件作者：凯兹，加尔；贝利，多伦 参考文献： 11种出版物（2008-2021） 相关软件： 棱镜；LTL2BA；旋转；塞萨尔；预言；GitHub… 主要领域： 计算机科学（68-XX）；博弈论、经济学、金融学和其他社会和行为科学（91-XX）
莫达 软件作者：西玛加利，瓦莱里奥；波比，马西米利亚诺；巴尔西，马可 参考文献： 15种出版物（1993-2010） 相关软件： – 主要领域： 一般性和全局性主题；收款（00-XX）；统计学（62-XX）；可变形固体力学（74-XX）
SatEx公司 软件作者：西蒙，劳伦特；查塔里克，菲利普 参考文献： 11种出版物（2001-2011） 相关软件： 糠；佐藤；单位步行；卫星库；Velev SAT基准；迪马斯… 主要领域： 数理逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）
阿里阿德涅 软件作者：本维努蒂，卢卡；戴维德，布雷索林；柯林斯，彼得；法拉利，阿尔伯托；格雷蒂，卢卡；提兹亚诺别墅 参考文献： 13种出版物（2008-2021） 相关软件： 海因奇；法弗；SpaceEx公司；索尔弗；RSOLVER公司；凯玛拉… 主要领域： 数理逻辑与基础（03-XX）；通用拓扑（54-XX）；计算机科学（68-XX）
彗星板 软件作者：性别，A.S。；巴特奈克，S.N。；霍普金斯特区。；伯克，L。 参考文献： 14种出版物（1996-2018） 相关软件： e04ucf；抱怨；抱怨；康林；NLPQL；MHOST… 主要领域： 一般性和全局性主题；收款（00-XX）；数值分析（65-XX）；可变形固体力学（74-XX）
自食其力 软件作者：西单胞菌属；马夫罗塔斯，乔治；康斯坦丁左波尼迪斯；圣帕拉斯，约翰 参考文献： 13种出版物（2011-2019） 相关软件： MOEA/日；优化工具箱；马德姆；UTA Plus；卡帕拉布；SCALCG… 主要领域： 统计学（62-XX）；运筹学，数学规划（90-XX）；博弈论、经济学、金融学和其他社会和行为科学（91-XX）
枸杞 软件作者：Bruno Buchberger、Joachim Pfalzgraf、Karel Stokkermans、Wolfgang Gehrke、Viorica Sofronie 参考文献： 14种出版物（1995-2013） 相关软件： 枫树；英属维尔京群岛；ε；朱诺-2；GEX公司 主要领域： 一般性和全局性主题；收款（00-XX）；历史与传记（01-XX）；数理逻辑与基础（03-XX）
预言 软件作者：Dehnert，C.，Junges，S.，Jansen，N.，Corzilius，F.，Volk，M.，Bruintjes，H.，Katoen，J.-P。，Ábrahám，E。 参考文献： 14种出版物（2015-2022） 相关软件： 棱镜；暴风雨；参数；MRMC；森林；GitHub… 主要领域： 一般性和全局性主题；收款（00-XX）；数理逻辑与基础（03-XX）；概率论与随机过程（60-XX）
郁金香 软件作者：Tichakorn Wongpiromsann，Ufuk Topcu，Necmiye Ozay，徐欢，Richard M.Murray 参考文献： 14种出版物（2016-2022） 相关软件： 佩索阿；科西马；苏格兰人；卡德；LTLMoP；中华民国… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融学和其他社会和行为科学（91-XX）
罗佛根 软件作者：格雷戈里·巴特；凯琳·贝尔塔 参考文献： 13种出版物（2007-2019） 相关软件： 比查姆；神圣的；拉玛斯；GNA公司；棱镜；海因奇… 主要领域： 动力系统与遍历理论（37-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
符号 软件作者：李易；美国焊接学会Albarghouthi；金凯，扎卡里；格芬克尔，阿里；切奇，玛莎 参考文献： 13种出版物（2014-2021） 相关软件： z3；维兹；OptiMathSAT公司；数学5；洛格米普；是的… 主要领域： 数理逻辑与基础（03-XX）；常微分方程组（34-XX）；计算机科学（68-XX）
时频工具箱 软件作者：螺旋钻F、Flandrin P、Goncalves P、Lemoine O 参考文献： 11种出版物（2002-2019） 相关软件： Matlab语言；项目经理；小波工具箱；EMG-LODEC 主要领域： 欧氏空间的调和分析（42-XX）；统计学（62-XX）；流体力学（76-XX）
科西玛 软件作者：穆尔希，塞比；吉拉德，安托万；葛斯勒，格雷戈 参考文献： 12种出版物（2015-2022） 相关软件： 苏格兰人；佩索阿；郁金香；中华民国；表面活性剂；皮波曼… 主要领域： 计算机科学（68-XX）；运筹学，数学规划（90-XX）；系统论；控制（93-XX）
δ-西格玛 软件作者：施赖尔，R。 参考文献： 11种出版物（2008-2021） 相关软件： 科萨普；LMI工具箱；彭氏指数；alphaBB公司；minlpBB公司；Matlab… 主要领域： 线性代数和多线性代数；矩阵理论（15-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）
觉醒 软件作者：让马克比安尼克 参考文献： 11种出版物（2008-2018） 相关软件： 鲁棒控制工具箱；亚尔米普；控制系统工具箱；LMI工具箱；Matlab语言；IQC… 主要领域： 粒子与系统力学（70-XX）；运筹学，数学规划（90-XX）；系统论；控制（93-XX）
主旨 软件作者：Chatterjee，K.，Henzinger，T.A.，Jobstmann，B.，Radhakrishna，A。 参考文献： 8种出版物（2012-2022） 相关软件： 棱镜；棱镜游戏；GAV；摩卡；麦克马斯；鹰… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）
米兹3 软件作者：维迪迪克，弗里克 参考文献： 11种出版物（2012-2020） 相关软件： 成本；后桅；Isar；霍尔；伊莎贝尔/霍尔；天哪… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；光学，电磁理论（78-XX）
斯塔克根 软件作者：张涵、徐涛、李红生、张绍庭、王晓刚、黄晓磊、梅塔克斯 参考文献： 8种出版物（2020-2022） 相关软件： 甘华斯坦；亚当；CIFAR公司；像素2像素；基列根；LR-GAN… 主要领域： 统计学（62-XX）；计算机科学（68-XX）；统计力学，物质结构（82-XX）
阿德20K 软件作者：Zhou B、Zhao H、Puig X、Fidler S、Barriuso A、Torralba A。 参考文献： 7种出版物（2020-2022） 相关软件： MS-COCO；深实验室；城市景观；基蒂；U网；地图远景… 主要领域： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
利比亚人 软件作者：伯纳德·奥皮茨、托马斯·摩尔、克劳斯·施密特 参考文献： 10种出版物（2010-2020） 相关软件： 乌姆德斯；害虫；穆迪夫；TCT；上云母；GitHub… 主要领域： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）
项目Q 软件作者：Damian S.Steiger，Thomas Häner，Matthias Troyer 参考文献： 2种出版物（2019-2020） 相关软件： 蟒蛇；qHiPSTER公司；利基；开放费米子；草莓地；夸托奇… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；量子理论（81-XX）
流氓 软件作者：罗德里克·布洛姆、亚历山德罗·西马蒂、卡琳·格雷梅尔、乔治霍夫雷克、罗伯特·克尼霍弗、马可·罗维里、维克多·舒潘、理查德·塞伯 参考文献： 9种出版物（2012-2021） 相关软件： JTLV公司；努西姆；卡德；乌姆德斯；github；数学卫星… 主要领域： 数理逻辑与基础（03-XX）；测量与集成（28-XX）；计算机科学（68-XX）
TCT 软件作者：雷锋，W.M.旺汉 参考文献： 10种出版物（2011-2020） 相关软件： 乌姆德斯；害虫；穆迪夫；github；利比亚人；CMC… 主要领域： 计算机科学（68-XX）；博弈论、经济学、金融学和其他社会和行为科学（91-XX）；系统论；控制（93-XX）
Verilog公司 软件作者：萨瑟兰，斯图尔特 参考文献： 10种出版物（1999-2020） 相关软件： 视频处理接口；卡米语；归档正式证据；github；UTPCalc公司；马戏团… 主要领域： 数值分析（65-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
LTFAT公司 软件作者：Zdeněk Průa、Peter L.Sødergaard、Nicki Holighaus、Christoph Wiesmeyr、Peter Balazs 参考文献： 8种出版物（2016-2020） 相关软件： Matlab语言；线性时频分析工具箱；卸载箱；ADT；听觉工具箱；pvoc… 主要领域： 常微分方程组（34-XX）；偏微分方程组（35-XX）；近似和展开（41-XX）
世华 软件作者：N。公园；A、 C.帕克 参考文献： 4个出版物（1989-2002） 相关软件： 马哈；米莫拉；森林狼；皮利布；火焰 主要领域： 计算机科学（68-XX）；运筹学，数学规划（90-XX）；系统论；控制（93-XX）
STCT 软件作者：张中华；沃纳姆，W.M。 参考文献： 9种出版物（2002-2009） 相关软件： 乌姆德斯；伙计 主要领域： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）
条纹 软件作者：卢滕伯格，迈克尔；梅耶，菲利普J。；希克特，所罗门 参考文献： 9种出版物（2019-2021） 相关软件： PG求解器；金合欢+；卡德；拉布尼泽；旋转；棱镜… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融学和其他社会和行为科学（91-XX）
级联 软件作者：约琴·贝斯特、格诺·埃克斯坦、拉尔夫·沃洛夫斯基 参考文献： 8种出版物（2000-2008） 相关软件： 级联 主要领域： 数值分析（65-XX）；计算机科学（68-XX）；统计力学，物质结构（82-XX）
iOpt 软件作者：沃杜里斯，克里斯托斯；多恩，拉斐尔；莱森特，大卫；丽丽，安妮 参考文献： 8种出版物（2001-2017） 相关软件： 航向信标；EasyLocal++；彗星；局部求解器；定位器++；萨尔萨… 主要领域： 一般性和全局性主题；收款（00-XX）；组合数学（05-XX）；计算机科学（68-XX）
物理的 软件作者：文森特兰维兹；文森特·贝瑞；亚历克西斯·克里斯库洛；皮埃尔·亨利·法布；西尔文·吉尔莫特；席琳·斯科尔纳瓦卡；伊曼纽尔J.P.杜泽里 参考文献： 7种出版物（2009-2019） 相关软件： 诺通；Rec-I-DCM3；超三胞胎；拉XML；生物++；四重奏… 主要领域： 一般性和全局性主题；收款（00-XX）；组合数学（05-XX）；数值分析（65-XX）
斯塔根 软件作者：崔云杰，崔明杰，金文英，金正宇，金顺勋，周杰珠 参考文献： 4种出版物（2020-2021） 相关软件： 蟒蛇；基列根；图像网；像素2像素；张量流；阿汤根… 主要领域： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
合成 软件作者：奥蒂利，M。；因韦拉尔迪，P。；纳瓦拉，A。；蒂沃利，M。 参考文献： 7种出版物（2008-2012） 相关软件： 杰斯；沙发2.0；伊塔卡；同步发电机；努西姆；旋转… 主要领域： 计算机科学（68-XX）
辛西娅 软件作者：彼得，H.-J。，埃勒斯，R.，马特姆勒，R。 参考文献： 7种出版物（2012-2020） 相关软件： 乌帕阿尔蒂加；乌帕；棱镜；红色图书馆；CMC；克洛诺斯… 主要领域： 动力系统与遍历理论（37-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
合金* 软件作者：米利切维奇，A.，Near，J.P.，Kang，E.，Jackson，D。 参考文献： 6种出版物（2017-2021） 相关软件： z3；github；马尔格雷夫；睾丸；科德科德；迷你卫星… 主要领域： 一般性和全局性主题；收款（00-XX）；数理逻辑与基础（03-XX）；组合数学（05-XX）
脆 软件作者：彼得·奥普·德比克、弗朗西斯科·巴拉特、穆拉利·贾亚帕拉和鲁迪·劳韦林 参考文献： 7种出版物（2001-2020） 相关软件： 刀刺；R；模式；C4.5；UCI毫升；斯莱克 主要领域： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）
深沉的演说 软件作者：Awni Hannun、Carl Case、Jared Casper、Bryan Catanzaro、Greg Diamos、Erich Elsen、Ryan Prenger、Sanjeev Satheesh、Shubho Sengupta、Adam Coates、Andrew Y.Ng 参考文献： 6种出版物（2019-2021） 相关软件： Pythorch公司；亚当；张量流；图像网；亚历克斯内特；GNMT… 主要领域： 数值分析（65-XX）；计算机科学（68-XX）；可变形固体力学（74-XX）
反证 软件作者：五。S、 Mikhalevich，I.V.Sergienko，T.T.Lebedeva等人。 参考文献： 7种出版物（1981-2017） 相关软件： 策划人；迪斯内尔；ralgb5；ralgb4；倍频程；Matlab语言 主要领域： 历史与传记（01-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）
闪光金属 软件作者：奥列克山德罗佐夫；古尔瓦尼苏米特 参考文献： 5种出版物（2017-2021） 相关软件： 过境；闪烁填充；z3；LLVM；玫瑰花；FlashExtract… 主要领域： 计算机科学（68-XX）
马哈 软件作者：A。帕克，J.皮萨罗，M.姆利纳 参考文献： 5种出版物（1995-2007） 相关软件： 世华；火焰；森林狼；雅可；CPLEX公司；苏格拉底… 主要领域： 计算机科学（68-XX）；运筹学，数学规划（90-XX）；系统论；控制（93-XX）
玛西亚斯 软件作者：乔治·扎内塔基斯 参考文献： 1本出版物（2007年） 相关软件： FMP笔记本；SM工具箱；温度图工具箱；Matlab语言；利布罗萨；微工具箱… 主要领域： 一般性和全局性主题；收款（00-XX）；统计（62-XX）
NL控制 软件作者：Belikov，J.，科塔，Ü，Tõnso，M。 参考文献： 7种出版物（2016-2020） 相关软件： 数学；牙髓分析；变形；全息函数；ORE模块；麦考拉2… 主要领域： 实函数（26-XX）；动力系统与遍历理论（37-XX）；变分法与最优控制；优化（49-XX）
重新配置 软件作者：H。Alwi，L.Chen，C.Edwards 参考文献： 7种出版物（2016-2022） 相关软件： 地址保险箱；亚尔米普；沉香 主要领域： 变分法与最优控制；优化（49-XX）；系统论；控制（93-XX）
风车 软件作者：B。博纳达普尔，S.库尔卡尼 参考文献： 6种出版物（2009-2015） 相关软件： 卡德；维塔夫；MR4UM；乌帕；旋转；努西姆… 主要领域： 计算机科学（68-XX）；系统论；控制（93-XX）
过境 软件作者：Udupa，A.，Raghavan，A.，Deshmukh，J.V.，Mador Haim，S.，Martin，M.M.，Alur，R。 参考文献： 6种出版物（2015-2021） 相关软件： CVC4；简化；FlashMeta；z3；是的；FlashExtract… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
宙斯 软件作者：风信子属；神圣的恩杜穆；林登·C·李；杰伦·C·科利斯 参考文献： 7种出版物（2002-2011） 相关软件： 英格尼亚斯 主要领域： 统计学（62-XX）；计算机科学（68-XX）；地球物理学（86-XX）
弗莱奇克 软件作者：H。K、 钟，陈先生，摩根先生，拉尔琴科先生，李先生 参考文献： 6种出版物（2010-2021） 相关软件： 葫芦巴；阿巴科/拉普卡尔；SPECT3D；虹膜；MIXKIP/RAPCAL公司；赫拉克勒斯… 主要领域： 计算机科学（68-XX）；流体力学（76-XX）；光学，电磁理论（78-XX）
李亚帕斯 软件作者：加夫里洛夫，文学硕士。；扎克列夫斯基，公元前。 参考文献： 6种出版物（1969-2013） 相关软件： APL公司 主要领域： 历史与传记（01-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
开放式DR 软件作者：马修·M·洛珀；迈克尔J.布莱克 参考文献： 4种出版物（2018-2021） 相关软件： 张量流；图像网；3D-R2N2；沙佩内；Pythorch公司；亚当… 主要领域： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）
城邦 软件作者：巴莱亚尼，马西莫；康蒂，马西莫；法拉利，阿尔伯托；弗拉斯科拉，瓦莱里奥；Sangiovanni Vincentelli，阿尔伯托 参考文献： 6份出版物（2002-2007） 相关软件： 多时性；糠；米本奇；MediaBench公司 主要领域： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
回购 软件作者：卡拉卡，O.，Darivianakis，G.，Beuchat，P.，Georghiou，A.，Lygeros，J。 参考文献： 6种出版物（2021-2022） 相关软件： TSSO；一尘不染；诗；CVXPY公司；生态系统；稀疏BSO 主要领域： 组合数学（05-XX）；代数几何（14-XX）；群论与概化（20-XX）
玫瑰花结 软件作者：托拉克，E.，波迪克，R。 参考文献： 6种出版物（2016-2021） 相关软件： github；FlashMeta；合金*；YACC公司；Qlose公司；垫片… 主要领域： 计算机科学（68-XX）；运筹学，数学规划（90-XX）
SReachTools公司 软件作者：维诺德，亚伯拉罕P。；格里森，约瑟夫D。；Oishi，Meeko M.K。 参考文献： 6种出版物（2019-2022） 相关软件： 浮士德2；邮电部；粗壮的；ProbReach公司；棱镜；GitHub… 主要领域： 计算机科学（68-XX）；系统论；控制（93-XX）
阿米科 软件作者：布兰切特，贾斯敏·克里斯蒂安；博兹，艾默里克；洛赫比勒，安德烈亚斯；波佩斯库，安德烈；特劳特尔，德米特里 参考文献： 5种出版物（2017-2020） 相关软件： 霍尔；伊莎贝尔/霍尔；瘦身；阿格达；成本；存档正式证据… 主要领域： 计算机科学（68-XX）；博弈论、经济学、金融学和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）
两性离子 软件作者：Lowry，M.R.，Philpot，A.，Pressburger，T.，Underwood，I 参考文献： 3种出版物（1998-2010） 相关软件： 蛤；牡蛎；霍尔；火花；濑户；VCC… 主要领域： 计算机科学（68-XX）
阿斯特里克斯/欧布尔克斯 软件作者：Ochotta，E.S.，Rutenbar，R.A.，Carley，L.R 参考文献： 4种出版物（2007-2014） 相关软件： CGL公司 主要领域： 计算机科学（68-XX）；光学，电磁理论（78-XX）；运筹学，数学规划（90-XX）