| Differential calculus reflects pauzny counterexample because modern music is not memorized. | Дифференциальное исчисление отражает паузный контрпример, потому что современная музыка не запоминается. |
| Computational experiments have shown that, if a counterexample exists, it would have to have more than 177 vertices. | Вычислительные эксперименты показали, что если контрпример существует, он будет иметь более 177 вершин. |
| 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 рациональными или нет, но Федериго Энрикес нашёл контрпример (поверхность Энрикеса). |
| 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. | Если ищется контрпример или нужно произвести доказательство, требующее перебора большого объёма, может быть использована техника распределённых вычислений для распределения вычисления между компьютерами. |
| In the other directions, Kelmans showed that a counterexample could be transformed into a counterexample to the original Barnette conjecture. | В другом направлении Келман показал, что конртпример этому утверждению можно преобразовать в контрпример оригинальной гипотезы Барнетта. |