Information about Geographic Areas - Revenues by Geographic Area (Detail) - USD ($) $ in Thousands	3 Months Ended		9 Months Ended
	Oct. 31, 2019	Oct. 31, 2018	Oct. 31, 2019	Oct. 31, 2018
Revenues by geography
Total revenues	$ 280,921	$ 224,731	$ 792,573	$ 629,887
Americas
Revenues by geography
Total revenues	153,005	126,262	430,441	352,697
Europe
Revenues by geography
Total revenues	79,832	59,371	226,026	164,943
Asia Pacific
Revenues by geography
Total revenues	39,057	31,880	110,560	91,532
Rest of world
Revenues by geography
Total revenues	$ 9,027	$ 7,218	$ 25,546	$ 20,715