Smart Mathematics