Research areas involved in the project  

Matematica discreta e computazionale
Associative rings and algebras 

Matematica discreta e computazionale
Category theory; homological algebra 

Matematica discreta e computazionale
Commutative algebra 

Matematica discreta e computazionale
Mathematical logic and foundations 

Matematica discreta e computazionale
Graph theory 