| Computational experiments have shown that, if a counterexample exists, it would have to have more than 177 vertices. | Вычислительные эксперименты показали, что если контрпример существует, он будет иметь более 177 вершин. |
| He showed that the conjecture has a counterexample, which he estimated to be around 1.845× 10361. | Гипотеза была опровергнута в 1958 году Хейзелгроувом, показавшим, что существует контрпример, и оценившим его в примерно 1,845× 10361. |
| P. G. Tait conjectured that all amphichiral knots had even crossing number, but a counterexample was found by Morwen Thistlethwaite et al. in 1998. | П. Г. Тэт высказал гипотезу, что все амфихиральные узлы имеют чётное число пересечений, но Морвен Тислуэйт в 1998 году нашёл контрпример. |
| A commentator who signed his name simply as "S" provided the counterexample of (e - 1/ t) t {\displaystyle \textstyle (e^{-1/t})^{t}}, and this quieted the debate for some time. | Обозреватель, который подписал свое имя просто как «S», предоставил контрпример (e - 1/ t) t {\displaystyle \scriptstyle (e^{-1/t})^{t}}, и это немного успокоило дебаты. |
| 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. | Если ищется контрпример или нужно произвести доказательство, требующее перебора большого объёма, может быть использована техника распределённых вычислений для распределения вычисления между компьютерами. |