Computerised mathematics: Tomash