Matematikte formüller, deney, gözlem, sezgi ve mantıksal akıl yürütme yoluyla bulunur. Bu süreçte genellikle şu adımlar izlenir: Gözlem: İlk olarak, belirli bir problem veya durumla ilgili gözlemler yapılır. Desen Arama: Bu gözlemler arasında düzen veya tekrar eden desenler araştırılır. Akıl Yürütme: Gözlemlerden çıkarılan sonuçlar, matematiksel bir ifadeye, yani formüle dönüştürülür. Tümevarım ve Tümdengelim: Formüller, tümevarım (belirli örneklerden genellemelere ulaşma) ve tümdengelim (soyut kurallar ve aksiyomlardan hareketle yeni sonuçlar türetme) yöntemleriyle de bulunabilir. Genelleme: Daha önce bulunan formüller, yeni formüllerin genellemesi olarak da ortaya çıkabilir. Örneğin, Pisagor Teoremi, farklı dik üçgenler üzerinde yapılan ölçüm ve deneylerin sonucunda, hipotenüsün karesinin diğer iki kenarın karelerinin toplamına eşit olduğu gözlemiyle bulunmuştur.