Group Cohomology in the Lean Community Library.

Amelia Livingston

Published in: ITP (2023)

Keyphrases

data mining
genetic algorithm
group members
social groups
real time
databases
decision making
database systems
knowledge sharing
online communities
web communities
cross platform
social awareness