Making mathematical problem solving exploratory and social-synergizing computer algebra systems with semantic and web-2.0 technology. - Rahul Breh; Vivek Kumar (Bangalore Compute Conf., 2010)