Il Micromondo Manipolatore Simbolico consente di manipolare
simbolicamente espressioni numeriche nel dominio dei numeri
razionali al fine di dimostrarne alcune proprietà.
Nel Micromondo Manipolatore Simbolico è possibile
digitare il testo di una espressione da manipolare. Tale
manipolazione avviene utilizzando tasti (presenti nella
parte destra dell’interfaccia) che fanno riferimento
ad assiomi. Per realizzare la manipolazione occorre selezionare
la parte dell’espressione sulla quale si vuole applicare
un determinato assioma. Di volta in volta, selezionata una
parte dell’espressione, vengono resi disponibili dal
sistema solo gli assiomi che possono essere applicati alla
parte di espressione selezionata.
Le rappresentazioni realizzate nel Micromondo Manipolatore
possono essere copiate per essere incollate nel Foglio Soluzione.