效率 30篇文献引用(2013–2023) 软件作者： 安德烈·鲍尔（Andrej Bauer）；普雷特纳，马蒂亚 相关软件： 科卡；github；毫升… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
兔子 引用于19份文件(2003–2023) 软件作者： Martin Boesgaard、Mette Vesterager、Thomas Pedersen、Jesper Christiansen、Ove Scavenius 相关软件： eSTREAM；索塞曼英国；谷物… 主要字段： 数论（11-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）…
高标签2 10篇文献引用（2009年至2021年） 软件作者： —— 相关软件： 粮食；RAKAPOSHI；OpenCL… 主要字段： 总体主题；藏品（00-XX）；组合数学（05-XX）；交换代数（13-XX）…
卡斯特雷姆 2份文件引用(2014–2018) 软件作者： 达斯，苏拉夫；迪潘维塔·罗伊乔杜里 相关软件： eSTREAM；CAR30；谷物 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
VBF公司 2份文件引用（2016年至2017年） 软件作者： 何塞·安东尼奥·阿尔瓦雷斯-库贝罗，佩德罗·祖菲里亚 相关软件： KASUMI；SageMath；VBFlib… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；信息与通信理论，电路（94-XX）
减压阀E 1份文件引用(2022) 软件作者： Škrlj，布拉日；季埃洛斯基，萨索；拉夫拉奇，纳达；佩特科维奇（Matej Petković） 相关软件： UMAP；缓解F；Tensor2传感器… 主要字段： 计算机科学（68-XX）