结块_lpr 6篇文献引用(2021–2023) 软件作者： Tan，Yong Kiam；Heule，Marijn J.H。；玛格努斯·奥·米林。 相关软件： DRAT-饰件；CaDiCaL；Paracooba… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
miRTarBase（miRTarBase） 3份文件引用(2013–2018) 软件作者： Chou CH、Chang NW、Shrestha S、Hsu SD、Lin YL、Lee WH、Yang CD、Hong HC、Wei TY、Tu SJ、Tsai TR、Ho SY、Jian TY、Wu HY、Chen PR、Lin NC、Huang HT、Yang TL、Pai CY、Tai CS、Chen WL、Huang CY、Liu CC、Weng SL、Liao KW、Hsu WL、Huang HD 相关软件： HIPPIE；字符串；大卫… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；统计学（62-XX）；运筹学，数学规划（90-XX）…
EDOPTLAB公司 2份文件引用(2013–2015) 软件作者： R“udiger莱因哈特；Armin霍夫曼；Tobias Gerlach 相关软件： Matlab公司 主要字段： 总体主题；藏品（00-XX）；数值分析（65-XX）；运筹学、数学规划（90-XX）
MapleAmpharos公司 1份文件引用(2021) 软件作者： 赛义德·内贾蒂；纽瑟姆，扎克；约瑟夫·斯科特（Joseph Scott）；梁家辉；凯瑟琳·格博提斯（Catherine Gebotys）；Poupart，帕斯卡；Ganesh，维杰 相关软件： Transalg；飞溅；AmPharoS… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）