We know the basic quantum laws for solids, but the equations become extremely complicated when many particles interact, so we usually cannot solve them exactly. That is why we need approximations and computational methods to make the problem manageable.