info:eu-repo/grantAgreement/FCT/OE/PD%2FBD%2F135190%2F2017/PTComputability and complexity with real numbersPD/BD/135190/2017