Mathematics in the Portuguese discoveries