patenting mathematics