matematiksel formülasyon