SDFormatter is often recommended to format the SDCard.
https://raspberrypi.stackexchange.com/a/19928/39410
http://elinux.org/RPi_Easy_SD_Card_Setup#Using_NOOBS
I have never heard of this software before using the Raspberry Pi.
Is it critical to format your SDCard with this software before using the Pi? What if the SDCard is brand new? Are there alternatives that can be used if you have problems with it?
Can I just use the built in Windows tools or some other free software?
e.g. http://alternativeto.net/software/easeus-partition-manager-home-edition/?license=free