Computer-assisted proofs - tools, methods and applications