Formal entity graphs as complex networks: assessing centrality metrics of the archive of formal proofs

DOI10.1007/978-3-031-16681-5_10OpenAlexW4296118473MaRDI QIDQ6159378

Fabian Huch

Publication date: 2 June 2023

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-031-16681-5_10

zbMATH Keywords

dependency graphcomplex networksIsabellecentrality metricsformalization qualityarchive of formal proofsformal entity network

Mathematics Subject Classification ID

Computer science support for mathematical research and practice (68Vxx)

Related Items (2)

Formalization quality in Isabelle ⋮ Re-imagining the Isabelle archive of formal proofs

Cites Work

• Unnamed Item
• Group detection in complex networks: an algorithm and comparison of the state of the art
• Mining the Archive of Formal Proofs
• Power-Law Distributions in Empirical Data
• The Structure and Function of Complex Networks
• True scale-free networks hidden by finite size effects
• Collective dynamics of ‘small-world’ networks

This page was built for publication: Formal entity graphs as complex networks: assessing centrality metrics of the archive of formal proofs