However, whereas Van Bendegem and Van Kerkhove conclude by saying that experimental methods and an empirical basis form an indispensible backdrop for mathematical practice, Baker goes the other way and says that the fact that mathematicians use experiments in the context of discovery is “compatible with the view that mathematics is a priori and deductive at its core”.
Source: wiktionary