Recent user activities on SpeQ Mathematics