Insertion in constructed normal numbers

From MaRDI portal
Publication:2146241