IN-003 — CAS: calcolo simbolico e algoritmi