To Be Presented in the 11th Asian Technology Conference in Mathematics
December 12-16, 2006, Hong Kong SAR, China

Interactive Symbolic Geometry

Robin McLeod
Philip Todd

Saltire Software Inc


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.

close window Electronic Proceedings of ATCM
© ATCM, Inc. 2006