Stack Overflow says: See also the Wikipedia article. You can also use Wolfram Alpha, which, e.g., confirms the above math by calculating 10 EV to be 2560 lux.

But if you have an illuminance reading in Lux and want to covert to EV it's a bit more difficult. Log(Lux / 2.5) / Log(2)=EV for ISO 100