Interactive Theorem Proving: An Empirical Study of User Activity.

J. Stuart Aitken Philip D. Gray Thomas F. Melham Muffy Thomas

Published in: J. Symb. Comput. (1998)

Keyphrases

user activity
interactive theorem proving
user behavior
online social networks
social media
user activities
social networks
user clicks
learning algorithm
information sharing