We discuss and demonstrate a new technology that incorporates computer algebra into interactive geometry. This allows geometrical quantities to be specified, not only by numbers but, by algebraic variables and quantities. Once this is done, any output will be symbolic. Hence one can not just test a numerical example of a result but actually prove the result mathematically. We will discuss the main aspects of the technology and illustrate it with examples from simple algebra to algebraic geometry.