To Be Presented in the 11th Asian Technology Conference in Mathematics
December 12-16, 2006, Hong Kong SAR, China
Interactive Symbolic Geometry
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