| The Errera graph, on the other hand, provides a counterexample to Kempe's entire method. | Граф Эрреры, с другой стороны, даёт контрпример полному методу Кемпе. |
| He showed that the conjecture has a counterexample, which he estimated to be around 1.845× 10361. | Гипотеза была опровергнута в 1958 году Хейзелгроувом, показавшим, что существует контрпример, и оценившим его в примерно 1,845× 10361. |
| At one time it was unclear whether a complex surface such that q and P1 both vanish is rational, but a counterexample (an Enriques surface) was found by Federigo Enriques. | Одно время было неясно, являются комплексные поверхности с нулевыми q и P1 рациональными или нет, но Федериго Энрикес нашёл контрпример (поверхность Энрикеса). |
| 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. | Если ищется контрпример или нужно произвести доказательство, требующее перебора большого объёма, может быть использована техника распределённых вычислений для распределения вычисления между компьютерами. |