Cinderella was initially developed by Jürgen Richter-Gebert and Henry Crapo and was used to input incidence theorems and conjectures for automatic theorem proving using the binomial proving method by Richter-Gebert.
In 1996, the software was rewritten in Java from scratch by Jürgen Richter-Gebert and Ulrich Kortenkamp.
This version won the Multimedia Innovation Award at Learntec '97 in Karlsruhe, Germany.
It includes a physics simulation engine (with real gravity on Apple computers) and a scripting language.
It is currently mainly used in universities in Germany but its ease of use makes it suitable for usage at primary and secondary level as well.