幻灯片 27篇文献引用(2013年-2023年) 软件作者: Iosif,R.,Rogalewicz,A.,Vojnar,T。 相关软件: HIP;推断;小脚… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
CoqMT公司 7份文件引用(2010–2020) 软件作者: Pierre-Yves支柱 相关软件: Coq;辅酶MTU;dedukti… 主要字段: 数学逻辑与基础(03-XX);场论与多项式(12-XX);代数几何(14-XX)…
预DeLo 2份文件引用(2015) 软件作者: 佐丹诺,L.,格利奥齐,V.,贾拉尔,A.,奥利维蒂,N.和波扎托,G.L 相关软件: DysToPic;精益TAP 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)