Find link

language:

Find link is a tool written by Edward Betts.

searching for Computer-assisted proof 9 found (50 total)

Interval arithmetic (8,146 words) [view diff] no match in snippet view article find links to article

Interval arithmetic (also known as interval mathematics; interval analysis or interval computation) is a mathematical technique used to mitigate rounding

Perkel graph (174 words) [view diff] no match in snippet view article find links to article

to (i+1,k) when (k-j)3 = 26i. Coolsaet, K. and Degraer, J. "A Computer Assisted Proof of the Uniqueness of the Perkel Graph." Designs, Codes and Crypt

Feigenbaum function (2,025 words) [view diff] exact match in snippet view article find links to article

collaboration with the author." Iii, Oscar E. Lanford (May 1982). "A computer-assisted proof of the Feigenbaum conjectures". Bulletin (New Series) of the American

Feigenbaum constants (1,294 words) [view diff] exact match in snippet view article find links to article

thesis). University of Melbourne. Lanford III, Oscar (1982). "A computer-assisted proof of the Feigenbaum conjectures". Bull. Amer. Math. Soc. 6 (3): 427–434

Equichordal point problem (930 words) [view diff] exact match in snippet view article find links to article

which the curve may exist. They outlined a feasible strategy for a computer-assisted proof. Their method consists of obtaining extremely accurate approximations

Barnette's conjecture (1,194 words) [view diff] exact match in snippet view article find links to article

doi:10.1016/0012-365X(82)90079-6, MR 0676860 Kardoš, F. (2020), "A computer-assisted proof of the Barnette-Goodey Conjecture: not only fullerene graphs are

Mathematical constant (3,556 words) [view diff] exact match in snippet view article find links to article

Publishers. ISBN 0-632-00768-0. Lanford III, Oscar (1982). "A computer-assisted proof of the Feigenbaum conjectures". Bull. Amer. Math. Soc. 6 (3): 427–434

Pentagonal tiling (2,688 words) [view diff] exact match in snippet view article find links to article

are considered distinct. In July 2017 Michaël Rao completed a computer-assisted proof showing that there are no other types of convex pentagons that

Balanced number partitioning (3,242 words) [view diff] exact match in snippet view article find links to article

Korst, J.; van Leeuwen, J.; Spieksma, F. C. R. (2012-02-01). "Computer-assisted proof of performance ratios for the Differencing Method". Discrete Optimization