Spanish Conjetura de Keller Cited by user Wiki LIC on 27 Feb 2024 En geometría, la conjetura de Keller postula que en cualquier teselado del espacio euclídeo de n dimensiones mediante hipercubos idénticos, existen parejas de hipercubos…
Ukrainian Гіпотеза Келлера Cited by user Amakuha on 24 Sep 2023 Гіпотеза Келлера — гіпотеза, яку висунув, про те, що в будь-якій мозаїці в евклідовому просторі, яка складається з однакових гіперкубів, знайдуться два куби, що дотикаютьс…
English Computer-assisted proof Cited by user Dabed on 08 Oct 2021 A computer-assisted proof is a mathematical proof that has been at least partially generated by computer.