马特里布 10篇文献引用(2020–2022) 软件作者: 弗洛里斯·范·道恩(Floris van Doorn);加布里埃尔·埃布纳;罗伯特·刘易斯(Robert Y.Lewis)。;mathlib社区 相关软件: 精益;Coq;Isabelle/HOL… 主要字段: 数论(11-XX);场论与多项式(12-XX);代数几何(14-XX)…
TiML公司 引用于8份文件(2018–2022) 软件作者: Wang,P.,Wang,D.,Chlipala,A。 相关软件: TcT;z3;分离逻辑… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
阿格利特 3份文件引用(2010–2017) 软件作者: 杰米·莫根斯坦(Jamie Morgenstern);丹尼尔·李卡塔(Daniel R.Licata)。 相关软件: 层流;哈斯克尔;Ynot… 主要字段: 计算机科学(68-XX)
LightDP(光DP) 4份文件引用(2017–2023) 软件作者: 张丹凤;丹尼尔·基弗 相关软件: 私人LR;河豚;z3… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);概率论与随机过程(60-XX)…
鳄鱼 引用于2份文件(2011–2021) 软件作者: Colange,M。;Baarir,S。;Kordon,F。;蒂里·米格(Thierry-Mieg,Y.)。 相关软件: 海伦娜;AlPiNA;GreatSPN公司 主要字段: 计算机科学(68-XX)