Analisi, riscrittura e ottimizzazione di un software di manipolazione di equazioni con Rust

L'azienda Novaeka Srl ha sviluppato un prototipo di un software che manipola simbolicamente sistemi di equazioni per prepararli alla loro risoluzione simbolica. Questa tesi tratta l'analisi di tale prototipo, con conseguente riscrittura nel linguaggio di programmazione Rust e adattamento dei pattern utilizzati. Infine vengono trattate le ottimizzazioni applicate per ridurre i tempi di esecuzione e altri miglioramenti qualitativi.