| Computational experiments have shown that, if a counterexample exists, it would have to have more than 177 vertices. | Вычислительные эксперименты показали, что если контрпример существует, он будет иметь более 177 вершин. |
| Nagata published the conjecture in a 1959 paper in the American Journal of Mathematics, in which he presented a counterexample to Hilbert's 14th problem. | Нагата опубликовал гипотезу в статье 1959 года в журнале American Journal of Mathematics, в которой он привёл контрпример к 14-й гипотезе Гильберта. |
| The Perko pair gives a counterexample to a "theorem" claimed by Little in 1900 that the writhe of a reduced diagram of a knot is an invariant (see Tait conjectures), as the two diagrams for the pair have different writhes. | Пара Перко даёт контрпример «теоремы», объявленной Литтлом в 1900, что число закрученности приведённой диаграммы узла является инвариантом (см. Гипотезы Тэйта), так как две диаграммы пары имеют различные числа закрученности. |
| If a counterexample is being sought or a large-scale proof by exhaustion is being attempted, distributed computing techniques may be used to divide the calculations between multiple computers. | Если ищется контрпример или нужно произвести доказательство, требующее перебора большого объёма, может быть использована техника распределённых вычислений для распределения вычисления между компьютерами. |
| Furtwängler's conjecture is true for two- and three-dimensional space, but Hajós found a four-dimensional counterexample in 1938. | Гипотеза Фюртванглера верна для размерностей два и три, а вот для четырёхмерного пространства Шайош в 1938-м году нашёл контрпример. |