L'Algebrista è un software di manipolazione simbolica che esegue solo ed esclusivamente i passaggi indicati dall'utente. Con esso è possibile trasformare espressioni algebriche usando regole, assiomi e teoremi, sotto forma di bottoni. I teoremi, una volta dimostrati possono diventare nuovi bottoni ed essere usati a loro volta.
L'Algebrista