... And all the mathematical knowledge required to understand bolsano-weirstrass minimal polynomial theorem (and all the related others) which is the basis of

... And all the mathematical knowledge required to understand bolsano-weirstrass minimal polynomial theorem (and all the related others) which is the basis of tons of floating point computations? Mathematical proof of accuracy of floating point computations?