Cinderella
Cinderella, written in Java, is an interactive geometry software based on brand new mathematical theory.
Some of its features are:
- Modular design which makes it easy to adapt to the learning environment.
- With Cinderella you can have different "views" of the same construction. Manipulations can be done in each of them, and they
are all updated synchronously.
- With Cinderella you can visualize and measure in hyperbolic and spherical geometry, and it can be extend to other geometries while still using the
same flexible framework.
- Cinderella guarantees to
generate the complete and correct locus quickly. This relies heavily on the unique theory used for continuity of elements.
- Based on
continuity and randomized theorem proving, Cinderella can perform automatic theorem proving.
- Cinderella is designed for todays high-resolution displays and projectors and also output high quality, scalable postscript file as well.
|