Automation of the symbolic addition method | lit.salon