Companies in mathematics (1) .