鲁棒控制工具箱 软件作者：数学作品；巴拉斯·G·蒋·R·帕卡德·A·萨芬诺夫·M 参考文献： 152种出版物（1989-2022） 相关软件： Matlab语言；控制系统工具箱；Mu分析综合工具箱；LMI工具箱；亚尔米普；优化工具箱… 主要领域： 线性代数和多线性代数；矩阵理论（15-XX）；常微分方程组（34-XX）；数值分析（65-XX）
佩索阿 软件作者：罗伊，普里坦；保罗，塔布阿达；马朱姆达尔，鲁帕克 参考文献： 20种出版物（2011-2022） 相关软件： 苏格兰人；郁金香；科西马；Matlab语言；LTLMoP；中华民国… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融学和其他社会和行为科学（91-XX）
上云母 软件作者：克努特·阿克松；马丁·费边；雨果·弗洛达尔；罗比·马利克 参考文献： 21种出版物（2009-2022） 相关软件： 乌姆德斯；利比亚人；TCT；快速检查；梅森网络；自动调节… 主要领域： 数理逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）
苏格兰人 软件作者：伦格，马提亚斯；扎马尼，马吉德 参考文献： 19种出版物（2016-2022） 相关软件： 佩索阿；科西马；郁金香；中华民国；Matlab语言；索斯多尔… 主要领域： 数理逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）
郁金香 软件作者：Tichakorn Wongpiromsann，Ufuk Topcu，Necmiye Ozay，徐欢，Richard M.Murray 参考文献： 14种出版物（2016-2022） 相关软件： 佩索阿；科西马；苏格兰人；卡德；LTLMoP；中华民国… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融学和其他社会和行为科学（91-XX）
科西玛 软件作者：穆尔希，塞比；吉拉德，安托万；葛斯勒，格雷戈 参考文献： 12种出版物（2015-2022） 相关软件： 苏格兰人；佩索阿；郁金香；中华民国；表面活性剂；皮波曼… 主要领域： 计算机科学（68-XX）；运筹学，数学规划（90-XX）；系统论；控制（93-XX）
利比亚人 软件作者：伯纳德·奥皮茨、托马斯·摩尔、克劳斯·施密特 参考文献： 10种出版物（2010-2020） 相关软件： 乌姆德斯；害虫；穆迪夫；TCT；上云母；GitHub… 主要领域： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）
SReachTools公司 软件作者：维诺德，亚伯拉罕P。；格里森，约瑟夫D。；Oishi，Meeko M.K。 参考文献： 6种出版物（2019-2022） 相关软件： 浮士德2；邮电部；粗壮的；ProbReach公司；棱镜；GitHub… 主要领域： 计算机科学（68-XX）；系统论；控制（93-XX）
肌炎 软件作者：拉瓦艾，阿博法兹；哈立德，马哈茂德；苏加尼，萨德格；扎马尼，马吉德 参考文献： 3种出版物（2020-2021） 相关软件： 粗壮的；浮士德2；棱镜；暴风雨；表面活性剂；SReachTools… 主要领域： 计算机科学（68-XX）；运筹学，数学规划（90-XX）；系统论；控制（93-XX）
DryVR公司 软件作者：气、博伦；范楚楚；蒋明浩；密特拉，萨扬 参考文献： 3种出版物（2017-2021） 相关软件： S-塔利罗；德拉赫；汽车发动机；Dymola公司；乌帕；状态流… 主要领域： 计算机科学（68-XX）；系统论；控制（93-XX）
转基因 软件作者：辛琦；M、 H.康马什；M、 V.萨拉帕卡 参考文献： 3份出版物（2002-2008） 相关软件： 量子点 主要领域： 运筹学，数学规划（90-XX）；系统论；对照组（93-XX）；信息与通信理论，电路（94-XX）
LTLMoP公司 软件作者：卡梅隆·菲努坎；港源经；哈达斯·克雷斯·加兹特 参考文献： 3种出版物（2017-2020） 相关软件： 郁金香；佩索阿；皮波曼；事实证明；快速机架；蟒蛇学… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融学和其他社会和行为科学（91-XX）
nn控制器 软件作者：赵恒军；曾、夏；陈韬略；刘志明；伍德考克，吉姆 参考文献： 3种出版物（2021年） 相关软件： Reluplex公司；CLN2INV公司；AI2型；亚当；垫片；夏洛克… 主要领域： 计算机科学（68-XX）；系统论；控制（93-XX）
表面活性剂 软件作者：哈立德，马哈茂德；扎马尼，马吉德 参考文献： 3种出版物（2019-2020） 相关软件： 中华民国；苏格兰人；科西马；粗壮的；肌炎；SReachTools… 主要领域： 计算机科学（68-XX）；系统论；控制（93-XX）
CGMurphi公司 软件作者：德拉佩娜，朱塞佩；因特里吉拉，贝内代托；玛加兹尼，丹妮尔；伊戈尔，梅拉蒂；恩里科特朗奇 参考文献： 2个出版物（2013-2021） 相关软件： 乌帕阿尔提加 主要领域： 系统论；控制（93-XX）
Dsynth公司 软件作者：亚伯特，亚历山德罗；贝萨，尤里；卡塔鲁扎，达里奥；科尔代罗，卢卡斯；大卫，克里斯蒂娜；凯塞利，帕斯卡；科隆，丹尼尔 参考文献： 2种出版物（2017-2020） 相关软件： 佩索阿；Boost区间算法；缅甸中央银行；促进 主要领域： 系统论；控制（93-XX）
BDD2机具 软件作者：M。哈立德 参考文献： 出版1期（2019年） 相关软件： 理智；表面活性剂；中华民国；郁金香；苏格兰人；科西玛… 主要领域： 计算机科学（68-XX）；系统论；控制（93-XX）
达德拉 软件作者：Jared Mejia，Alex Devonport，Murat Arcak 参考文献： 0个出版物 相关软件： 阿里阿德涅；伊莎贝尔/霍尔；NL工具箱；朱利亚雷亚赫；蟒蛇 主要领域： –
追求 软件作者：贝尔萨尼，马塞洛M。；索尔多，马特奥；孟吉，克劳迪奥；佩利西翁，帕特里齐奥；罗西，马特奥 参考文献： 1份出版物（2020年） 相关软件： 努西姆；LTLMoP；github；活性氧；棱镜游戏；辛西娅… 主要领域： 计算机科学（68-XX）；系统论；控制（93-XX）