Cinderella

O projeto Ciderella foi iniciado em 1992 por Jürgen Richter-Gebert e Henry Crapo sendo desenvolvido para a plataforma NeXT (uma plataforma proprietária que teve sua produção encerrada) até 1996, quando o pesquisador Ulrich Kortenkamp se juntou a equipe de desenvolvimento. Devido aos problemas de compatibilidade e portabilidade do NeXT, em 1996 o Cinderella foi totalmente reescrito utilizando a linguagem Java e, em 1999, teve sua primeira versão comercializada pela Springer-Verlag.

A versão atual do Cinderella é a 1.4, que apesar de ser muito semelhante aos seus antecessores, GSP e Cabri, apresenta algumas diferenças como: o suporte para múltiplas Geometrias (como euclideana, hiperbólica e outras) e a interação no formato livre (ação+seleção ou seleção+ação) na maioria das ferramentas. Contudo, a maior diferença é sua implementação em Java, o que permite usá-lo em qualquer plataforma e também diretamente em páginas Web. Além disso, um recurso pioneiro implementado neste programa, e que será discutido posteriormente no capítulo , é a autoria e a validação automática de exercícios.