PrologCheck（序言检查） 引用于3份文件(2014–2022) 软件作者： 阿马拉尔（Cláudio）；马里奥弗洛里多；维托尔·桑托斯·科斯塔 相关软件： K校准仪；K工具；快速检查… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
重置ip 1份文件引用(2022) 软件作者： 马蒂亚斯·伯杰（Mathias Berger）；戴维·拉杜（David Radu）；杜波依斯，安托万；潘季奇，赫沃杰；尤里·德沃金；卢瓦尔（Louveaux）、昆廷（Quentin）；达米安·恩斯特 相关软件： JuMP；windpowerlib；朱莉娅… 主要字段： 运筹学，数学编程（90-XX）