How to use all available PWM for STM32

I own a NUCLEO-F429ZI board, and here and here I found the pins' map.

I wonder how to use all those PWM pins in my Arduino project. Should I use exactly those names? I.e.: pinMode(PA_2_ALT0, OUTPUT);.

I'm recommending to go to www.stm32duino.com. There is far better support for STM32 than here.