.Two IBM-developed algorithms have actually been actually formally formalized within the world's ver...