Τα λογισμικά της συμβολικής έκφρασης
Βασίζονται κυρίως στην γλώσσα προγραμματισμού logo και στην μαθηματική οντότητα που ονομάστηκε χελώνα από τον Papert. Στο όλο σύστημα δόθηκε το όνομα η γεωμετρία της χελώνας.
Αυτή είναι ένα σύστημα όπου μέσα από μια γλώσσα προγραμματισμού ειδικά σχεδιασμένη που να προσεγγίζει τον μαθηματικό τρόπο έκφρασης , ο μαθητής πλοηγεί την χελώνα στο επίπεδο. Σε κάθε αλλαγή η χελώνα αφήνει ίχνος , οπότε μπορεί να αναπαραστήσει γεωμετρικά σχήματα. Ο μαθητής σκέφτεται πρώτα τις ιδιότητες των σχημάτων και ψάχνει να βρει τρόπο μέσα από τις εντολές απλές η και σύνθετες για να το υλοποιήσει.
Συνδυάζει έτσι τις γεωμετρικές ιδιότητες με αλγεβρικές, κάνοντας χρήση της μεταβλητής. Αν δε κάνει και παραμετρική διαδικασία τότε μπορεί να ενεργοποιήσει το εργαλείο του μεταβολέα με το οποίο αλλάζουν οι τιμές των παραμέτρων , αλλάζοντας ταυτόχρονα δυναμικά και το σχήμα.. Μπορεί για παράδειγμα να κατασκευάσει ένα παραλληλόγραμμο με δύο μεταβλητές παραμέτρους για τις πλευρές του και με μία μόνο μεταβλητή- παράμετρο για την γωνία. Συνδυάζει την γεωμετρική ιδιότητα με την άλγεβρα.
Ο δυναμικός χειρισμός γεωμετρικών σχεδίων είτε στο περιβάλλον της δυναμικής γεωμετρίας είτε στην γεωμετρία της χελώνας εμπλέκει τους μαθητές σε νοητικές δραστηριότητες που έχουν γεωμετρικά χαρακτηριστικά.