效率 30篇文献引用(2013–2023) 软件作者: 安德烈·鲍尔(Andrej Bauer);普雷特纳,马蒂亚 相关软件: 科卡;github;ML… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)
塞尔夫 4份文件引用(2008–2023) 软件作者: 安德斯·沙克·奈尔森(Anders Schack-Nielsen);卡斯滕·舒尔曼 相关软件: 洛利;混合的;PLT兑换… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
备忘录 1份文件引用(2018) 软件作者: Simon Wimmer、Shuwei Hu、Tobias Nipkow 相关软件: 验证此;Isabelle/HOL;Coq公司 主要字段: 计算机科学(68-XX);运筹学,数学编程(90-XX)