Abstract Mathematical Tools and Machines for Mathematics