演示 10篇文献引用（2007年-2023年） 软件作者： 扬·范·埃伊克 相关软件： SMCDEL公司；MCK；MCMAS… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
Aximo公司 4份文件引用(2009–2016) 软件作者： 理查兹，S.，M.萨达德 相关软件： 演示；佩斯卡 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；量子理论（81-XX）…
辛提卡的世界 3份文件引用(2020–2023) 软件作者： 弗朗索瓦·施瓦岑特鲁伯 相关软件： CacBDD；SMCDEL公司；CUDD… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
百万铝 1份文件引用(2013) 软件作者： 奇塔·巴拉尔；格雷戈里·盖尔丰德（Gregory Gelfond）；恩里科·蓬泰利（Enrico Pontelli）；儿子Tran Cao 相关软件： – 主要字段： 计算机科学（68-XX）