Development and user testing of new user interfaces for mathematics and programming tools رسالة دكتوراه