Scifaro

中文

Isabelle 与 Coq 定理证明社区中的社交网络过程

社会与信息网络 2016-09-23 v1 人工智能计算机科学中的逻辑物理与社会

作者: Jacques Fleuriot , Steven Obua , Phil Scott

在 arXiv 上查看 ↗ PDF ↗

摘要

我们识别了 Isabelle 和 Coq 社区中的主要参与者，并描述了他们如何影响和作用于其同行。本工作探索了社交网络分析的特定基础，我们期望这些基础在 ProofPeer 项目的背景下是有用的，该项目正在开发一种基于协作和社交互动的交互式定理证明新模型。

关键词

社交网络分析 Isabelle Coq 定理证明社区 ProofPeer 项目交互式定理证明

引用

@article{arxiv.1609.07127,
  title  = {Social Network Processes in the Isabelle and Coq Theorem Proving Communities},
  author = {Jacques Fleuriot and Steven Obua and Phil Scott},
  journal= {arXiv preprint arXiv:1609.07127},
  year   = {2016}
}

备注

15 pages, 13 figures, Research supported by EPSRC grant EP/L011794/1