Adam Naumowicz

• Computer reconstruction of the body of mathematics