selected publications article Collaborative Use of KeTCindy and Free Computer Algebra Systems. Mathematics in Computer Science. 11:503-514. 2017-01-01