Wolfram do have a UK presence tho', I've spoken to people in their office here (and have just emailed them about this). So there's no reason they couldn't do whatever checks they do here too.

I'm using Sage at home at the moment which is fairly impressive in its own right, but it's not the same. Check it out: http://www.sagemath.org/