美国铝业公司 22篇文献引用(2000–2023) 软件作者： Jackson，D。；谢赫特，I。；我·什利亚克特。 相关软件： 合金；自旋蛋白；查夫… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
测试时代 在16份文件中引用(2002–2020) 软件作者： 马里诺夫，D；库尔希德，南 相关软件： 科拉特；Symstra公司；TACO… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
轻轨系统 21篇文献引用(1998–2021) 软件作者： 大卫·艾维斯 相关软件： cdd；港口；正常（amp；N）… 主要字段： 代数几何（14-XX）；凸和离散几何（52-XX）；计算机科学（68-XX）…
UML2合金 6篇文献引用(2008–2015) 软件作者： Anastasakis，K.、Bordbar，B.、Georg，G.、Ray，I 相关软件： 霍尔效应；莫德；ATL… 主要字段： 计算机科学（68-XX）
合金* 7份文件引用(2017–2023) 软件作者： Milicevic，A.，Near，J.P.，Kang，E.，Jackson，D。 相关软件： z3；波尔多；GitHub… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；组合数学（05-XX）…
ATAT公司 3份文件引用(2010–2017) 软件作者： 阿克塞尔·范德沃勒 相关软件： PRMLT；青蒿；数字标识… 主要字段： 统计学（62-XX）；可变形固体力学（74-XX）；统计力学，物质结构（82-XX）
DynAlloy公司 2份文件引用(2007–2021) 软件作者： 马塞洛·弗里亚斯（Marcelo F.Frias）、胡安·加莱奥蒂（Juan P.Galeotti）、卡洛斯·洛佩斯·蓬博（Carlos López Pombo）、纳扎雷诺·阿吉雷（Nazareno Aguirre） 相关软件： MiniSat；JPF-SE；YOGI… 主要字段： 计算机科学（68-XX）
MDTri公司 3份文件引用(2017–2023) 软件作者： 彼得·格拉芙（Peter A.Graf）。；斯蒂芬·比卢普斯 相关软件： MultiMin；BOBYQA公司；野马… 主要字段： 运筹学、数学规划（90-XX）
波尔多葡萄酒 2份文件引用(2018–2023) 软件作者： 蒙塔加米，V.，雷赛德，D。 相关软件： 合金*；MiniSat；WhyLine… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
CD2合金 1份文件引用(2018) 软件作者： 沙哈尔·毛兹；简·奥利弗·林格特（Jan Oliver Ringert）；伯恩哈德·伦普 相关软件： MiniSat；WhyLine；Kodkod… 主要字段： 计算机科学（68-XX）
cddiff（cddiff） 1份文件引用(2018) 软件作者： 沙哈尔·毛兹；简·奥利弗·林格特（Jan Oliver Ringert）；伯恩哈德·伦普 相关软件： MiniSat；WhyLine；Kodkod… 主要字段： 计算机科学（68-XX）
CompoSAT公司 2份文件引用(2018–2022) 软件作者： Porncharoenwase，索拉维；蒂姆·纳尔逊（Tim Nelson）；克里希那穆尔蒂，施里拉姆 相关软件： MiniSat；科科德；梅斯4… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
杰克洛伊 1份文件引用(2012) 软件作者： Aboubakr Achraf El Ghazi、Mattias Ulbrich、Christoph Gladisch、Shmuel Tyszberowicz、Mana Taghdiri 相关软件： 雅典娜；凯洛伊；KeY… 主要字段： 计算机科学（68-XX）
CPIN网 1份文件引用(2021) 软件作者： 郭振飞；白瑞祥；雷振坤；姜浩；刘达；邹建超；严，程 相关软件： DnCNN；F3DAM；AlexNet… 主要字段： 可变形固体力学（74-XX）；生物学和其他自然科学（92-XX）
炸药2.0 在0个文档中引用 软件作者： 玛丽亚诺·莫斯卡托（Mariano M.Moscato）。；Lopez Pombo，Carlos G。；马塞洛·F·弗里亚斯。 相关软件： PVS公司 主要字段： –
凯洛伊 1份文件引用(2012) 软件作者： 马蒂亚斯·乌尔布里奇；乌尔里希·盖尔曼；艾尔·加齐（El Ghazi），阿布巴克·阿赫拉夫（Aboubakr Achraf）；马纳·塔赫迪里 相关软件： 雅典娜；JKelloy；KeY… 主要字段： 计算机科学（68-XX）
MCRpy公司 1份文件引用(2023) 软件作者： 保罗·塞伯特（Paul Seibert）；亚历山大·拉洛夫；Kalina，Karl A。；约阿希姆·古斯松；凯特琳·布格尼格；马丁·迪尔；马库斯·卡斯特纳 相关软件： 吉本；梦想3D；图像J… 主要字段： 可变形固体力学（74-XX）；生物学和其他自然科学（92-XX）
热4PFM 1份文件引用(2023) 软件作者： Jean-Luc Fattebert；斯蒂芬·德维特（Stephen DeWitt）；奥雷连·佩伦（Aurelein Perron）；约翰·特纳 相关软件： 第二条军规；增强C++库；助推… 主要字段： 经典热力学，传热（80-XX）；统计力学，物质结构（82-XX）
Whispec公司 1份文件引用(2018) 软件作者： Shao，D.，Khurshid，S.，Perry，D.E。 相关软件： MiniSat；WhyLine；Kodkod… 主要字段： 计算机科学（68-XX）
莫迪 在0个文档中引用 软件作者： G.J.Ackland、K.D'Mellow、S.L.Daraszewicz、D.J.Hepburn、M.Uhrin、K.Stratford 相关软件： – 主要字段： –