波塞冬 32篇文献引用(2020–2023) 软件作者： 格拉西，L。；Kales，D。；Khovratovich，D。；罗伊，A。；Rechberger，C。；肖夫内格，M。 相关软件： MiMC；GitHub；万岁… 主要字段： 组合数学（05-XX）；代数几何（14-XX）；计算机科学（68-XX）…
EDRAX公司 16篇文献引用(2020–2023) 软件作者： Chepurnoy，A.，Papamanthou，C.，Zhang，Y 相关软件： GitHub；皮诺奇；vSQL… 主要字段： 计算机科学（68-XX）；量子理论（81-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
EthVer公司 1份文件引用(2021) 软件作者： 尤卡斯·马祖雷克 相关软件： 曼蒂科尔；甲氰菊酯；Why3… 主要字段： 博弈论、经济学、金融和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）