An integrated environment for interactive exploration of mathematical concepts and problem solving