ProbLog（问题日志） 119篇文献引用(2007–2023) 软件作者： Joris Renkens；范登·布勒克（Van Den Broeck），盖伊（Guy）；齐格弗里德·尼杰森 相关软件： 棱镜；PITA；CP逻辑… 主要字段： 数理逻辑与基础（03-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
量化图 37篇文献引用(2006–2024) 软件作者： 林惇，O。；黄，尹在 相关软件： CAViaR；Tsclust；clusfind… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
Agena风险 14篇文献引用(2013–2023) 软件作者： 诺曼·芬顿；尼尔、马丁 相关软件： R；TETRAD公司；Elicitator… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
中国电子商务 12份文件引用(2012–2022) 软件作者： 安托万，V。；Quost，B。；马森，M.-H。；Den{oe}-ux，T。 相关软件： UCI-ml；科恩拉布；evclust… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
BUQO公司 9份文件引用（2019年-2023年） 软件作者： 奥黛丽·雷佩蒂；马塞洛·佩雷拉；伊夫·维奥 相关软件： UNLocBoX；螺旋；噪音2噪音… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
BRMaximin公司 6篇文献引用(2021–2023) 软件作者： 威廉·卡巴列罗（William N.Caballero）。；布赖恩·J·伦迪。；理查德·尤伯（Richard P.Uber）。 相关软件： 普里巴斯；挤压探测；差异Sharp… 主要字段： 运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
BW差异 5份文件引用(2017–2020) 软件作者： 顾洁；锡苏莱曼帕西奇 相关软件： 本德武；数学软件 主要字段： 代数几何（14-XX）；几个复变量与解析空间（32-XX）；偏微分方程（35-XX）…
摩卡 5份文件引用（2009年-2023年） 软件作者： Loera，Jesús A.De；大卫·C·霍斯（David C.Haws）。；Jon Lee；奥海尔，艾莉森 相关软件： github；熊猫；JBool… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
ECgene公司 1份文件引用(2015) 软件作者： Kim，N.，Shin，S.，Lee，S。 相关软件： SLAM；BLAT；阿拉伯… 主要字段： 概率论与随机过程（60-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
LLFp公司 4份文件引用(2016–2019) 软件作者： Furio Honsell；路易吉·利库里；马克西莫维奇，佩塔；伊万·斯卡格内托 相关软件： Coq；MMT；Agda… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
琥珀色 2份文件引用(2022) 软件作者： 马塞尔·穆斯布鲁克；埃齐奥·巴托西；Joost-Pieter Katoen；劳拉·科瓦奇 相关软件： 依赖；SymPy；哈卡鲁… 主要字段： 计算机科学（68-XX）
混淆R 2份文件引用(2021–2022) 软件作者： Erlend Dancke Sandorf、Caspar合唱团、Sander van Cranenburgh 相关软件： 阿波罗 主要字段： 博弈论、经济学、金融和其他社会和行为科学（91-XX）
ROSCoq公司 2份文件引用(2015–2018) 软件作者： 阿南德，阿比舍克；克内珀，罗斯 相关软件： Coq公司 主要字段： 数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
通知 1份文件引用(2020) 软件作者： Moore DG、Valentini G、Walker SI、Levin M 相关软件： 口形；R（右） 主要字段： 流体力学（76-XX）；生物学和其他自然科学（92-XX）
谎言分析 1份文件引用(2021) 软件作者： Martin，F.、Bekkers，E.、Duits，R。 相关软件： Fiberfox公司 主要字段： 偏微分方程（35-XX）；微分几何（53-XX）；计算机科学（68-XX）…
nsiGGM公司 1份文件引用(2017) 软件作者： Kim，SungHwan；Jhong，Jae-Hwan；李俊俊；Koo，Ja-Yong；Lee，ByungYong；韩成元 相关软件： 玻璃制品 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）