Xidhiidh

Wax kasta oo checkers sameeyaan waxaa ka gudba mid ka mid ah liiska, iyo tani waa. waxba halkan waa isku-dhafka: kuwaas oo ah shaqooyinka on box hadda.

hadda socda

la sugayo

0 ms

to clear the queue

la dhigay si loo xisaabo

Socda

A shaqo soo gudbiyeen hadda bilaabataa si deg deg ah.

La sugayo (0 Horumarinta, 0 bilaash)

Waxba lama sugayo.

Jidka degdega ah, iyo waxa ay tahay

Mid ka mid ah shaqada Lean socda waqti (Mathlib waa xusuusta-qallalan oo sanduuqan waa la wadaagayaa), sidaas marka dad badan oo soo gudbiyaan isla markiiba, waxaa jira line.

Xisaab kasta oo leh credit la bixiyey hore ayaa la siiyaa hore. Taasi waa habka oo dhan; ma jiro wax soo saar kala duwan oo lagu iibiyo. A run free waa marnaba la xiray, throttled ama hoos u dhigay by (ugu yaraan ka hor), iyo weli waa la socdaa, si loo hubiyo, in laanta xorta ah.

Sababta ay u shaqeyso sidan: dadka maalgelinta mashiinka ayaa bixinaya lacagaha baaritaanka oo qof walba oo kale waxba ma helaan. Ka gudubka line waa waxa kaliya ee iibsada, oo waxba ma iibsato.

Ku dar credit si aad u dhaafto line Tirakoobkaaga

Ku dhammaaday

Alaab	Natiijo	Qaad	Si loo
`python`	qayb	3.8 s	Au's Conjecture 3.4(a) holds: $\sum_N\dim V_N(S_1)\,t^N=\frac{1}{(1-t)^3(1-t^2)^2}-\frac{t^2}{1-t}$ for the Example II WZ seed
`python`	qayb	1.3 s	Au's Conjecture 3.4(a) holds: $\sum_N\dim V_N(S_1)\,t^N=\frac{1}{(1-t)^3(1-t^2)^2}-\frac{t^2}{1-t}$ for the Example II WZ seed
`python`	qayb	23.3 s	A very-well-poised 7F6 equal to 9Γ(1/3)⁹/64π⁶, via an absolutely convergent Mellin bridge
`python`	qayb	83 ms	A very-well-poised 7F6 equal to 9Γ(1/3)⁹/64π⁶, via an absolutely convergent Mellin bridge
`pari`	qayb	524 ms	A very-well-poised 7F6 equal to 9Γ(1/3)⁹/64π⁶, via an absolutely convergent Mellin bridge
`pari`	qayb	135 ms	$\int_0^1\kappa(x)^2[x(1-x)]^{-2/3}\,dx=\frac{5\sqrt3\,\Gamma(1/3)^9}{2^{11/3}\pi^5}$ , via the CM newform $\eta(3\tau)^8$
`lean`	∎ la xaqiijiyay	9.2 s	Jawaab
`lean`	∎ la xaqiijiyay	15.9 s	Jawaab
`python`	qayb	28 ms	Jawaab
`lean`	la diiday	18.9 s	Wrong proof test: 1 + 1 = 3
`lean`	∎ la xaqiijiyay	30.1 s	Simple verification test: 1 + 1 = 2
`lean`	∎ la xaqiijiyay	8.4 s	A simple proof, hope it works

Sida dheer oo checker kasta caadi ahaan qaadaa halkan

Miisaanka laga bilaabo box this ee ugu dambeeyay 20 socda oo ah qalab kasta, aan la qiyaasi karin.

Alaab	Caadi ah
`lean`	13.7 s
`sage`	15.0 s
`pari`	329 ms
`smt`	22.5 s
`python`	3.2 s
`oeis`	7.5 s
`plot`	15.0 s

Xidhiidh

Socda

La sugayo (0 Horumarinta, 0 bilaash)

Jidka degdega ah, iyo waxa ay tahay

Ku dhammaaday

Sida dheer oo checker kasta caadi ahaan qaadaa halkan

Ka qayb gal wada hadalka.

Na soo dir jawaab celin