ActivePapers: a platform for publishing and archiving computer-aided research · Study