Alessandro Linzi

linzialessandro

https://sites.google.com/view/alessandro-linzi/home

AI & ML interests

None yet

Recent Activity

authored a paper 7 days ago

Finite-field Krasner quotients: isomorphism thresholds, characteristics, and censuses

authored a paper 11 months ago

L-Mosaics and Bounded Join-Semilattices in Isabelle/HOL

View all activity

Organizations

None yet

linzialessandro 's datasets

None public yet