Computer reconstruction of the body of mathematics

by Adam Grabowski