Social Network Processes in the Isabelle and Coq Theorem Proving Communities.
Jacques D. FleuriotSteven ObuaPhil ScottPublished in: CoRR (2016)
Keyphrases
- theorem prover
- theorem proving
- social networks
- automated reasoning
- social network analysis
- first order logic
- inference rules
- automated theorem proving
- term rewriting
- automated deduction
- community structure
- decision procedures
- community mining
- automatic programming
- parallel search
- social communities
- natural deduction
- community discovery
- community detection
- social networking
- social relationships
- proof planning
- social network analysis and mining
- online communities
- social web
- distributed search
- proof search
- communities in social networks
- online social networks
- overlapping communities
- online social
- virtual communities
- social media
- logical inference
- consequence finding
- complex networks
- geometry theorem proving
- link prediction
- timed automata
- network structure
- proof procedure
- social roles
- organizational structure
- data mining
- bayesian networks
- social network sites
- real world networks