Le caratteristiche di Cinderella
| Informazioni di riferimento
| si trovano in Internet a questo indirizzo
www.cinderella.de
da cui è possibile scaricare una versione demo, che contiene anche
il manuale. Il programma esiste anche in italiano, manuale compreso. |
|
| Autori
| iniziato nel 1992 da Jürgen Richter-Gebert e Henry Crapo,
su piattaforma Next |
| ripreso e rifatto dal 1996 da Jürgen Richter-Gebert e Ulrich
Kortenkamp, del Politecnico di Berlino |
|
| Linguaggio e sistemi operativi
| Scritto in JAVA; ottimizzato
mediante un tool di post-processing della IBM chiamato JAX |
| Funziona su tutte le piattaforme con una Java Virtual Machine 1.1, in
particolare anche in Windows e Linux |
|
| Che cosa manca
| Gli autori hanno puntato su alcuni aspetti particolari, importanti dal
punto di vista teorico, per cui attualmente mancano alcune funzioni
presenti in altri pacchetti analoghi:
| macro |
| supporto per la geometria analitica |
| traccia |
| calcolatrice |
|
|
| Che cosa ha di apprezzabile [visto
dall'esterno]
|
| Che cosa ha di particolare [all'interno]
| La storia di questo software, raccontata dagli autori in alcuni
documenti, illustra bene il fatto che scrivere un programma di questo
tipo obbliga a chiarimenti ed approfondimenti della teoria, che poi si
riflettono in semplificazione e velocizzazione del codice |
| La scelta finale che, a detta degli Autori, ha risolto parecchi
problemi, è stata quella di utilizzare un sistema di coordinate
omogenee complesse, ossia di rappresentare ogni punto mediante 3 numeri
complessi. Il passaggio al campo complesso ha consentito di tenere
traccia dei punti di intersezione anche quando non sono più reali e di
disegnare i luoghi in modo completo [esempio 2];
l'uso delle coordinate omogenee ha consentito di trattare normalmente i
casi particolari in cui un punto va all'infinito. |
| Il sistema di misura è stato generalizzato, secondo lo schema delle
geometrie di Cayley-Klein, in modo da renderlo uniforme per tutte le
geometrie |
| Esiste un meccanismo che riconosce la coincidenza di oggetti e la
relazione di appartenenza: può essere usato per dimostrare proprietà
delle figure o per controllare le risposte agli esercizi. È
interessante sapere che il meccanismo implementato è di tipo
probabilistico. Per chi vuole approfondire, c'è una breve illustrazione
nella tesi di dottorato del dr. U. Kortenkamp. |
|
|