Kulemba

Chose chimene ma checkers amachita chimapita kudzera m'malo ena, ndipo izi ndi izi. Chosachita pano ndi simulations: izi ndi ntchito pa katoni pano.

imagwira ntchito pano

akuyembekezera

0 ms

to clear the queue

Kusintha kwa ndondomeko

Kuyenda

Zosagwira. A ntchito anatumiza pano amayamba mwamsanga.

Kuyembekezera (0 priority, 0 wopanda)

Cholakwika cholakwika.

M'mphepete mwa msewu, ndi zomwe sizoyenera

Mmodzi Lean ntchito imayenda nthawi imodzi (Mathlib ndi kumbukirani-osauka ndi ichi chosindikizira ndi kugawana), kotero pamene anthu ambiri apereke nthawi imodzi, pali liwiro.

Mtengo wa ndalama zomwe zimagulitsidwa pa intaneti umayamba pa $1. Izi ndi zonse za makina; palibe chinthu chosiyana chogula. Free run sichimangokhala chosatsegulidwa, chosatsegulidwa kapena chosatsegulidwa (koma chokhacho chokhacho), ndipo chimagwira ntchito, motero, m'njira yosatsegulidwa.

Mfundo imene imagwira ntchito m’njira imeneyi: anthu kulipira makina akulipira ndalama za ma checks amene aliyense wina amalandira kwa nthaŵi iliyonse. Kukakamizidwa kulemba ndi chinthu chokhacho chimene chimagula, ndipo chimagula chilichonse.

Kuwonjezera credit kuti apite m'gulu Kuwerengetsa kwanu

Yatha

Chida	Chithunzi	Kutenga	Kwa
`python`	ran	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`	ran	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`	ran	23.3 s	A very-well-poised 7F6 equal to 9Γ(1/3)⁹/64π⁶, via an absolutely convergent Mellin bridge
`python`	ran	83 ms	A very-well-poised 7F6 equal to 9Γ(1/3)⁹/64π⁶, via an absolutely convergent Mellin bridge
`pari`	ran	524 ms	A very-well-poised 7F6 equal to 9Γ(1/3)⁹/64π⁶, via an absolutely convergent Mellin bridge
`pari`	ran	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`	∎ anayesedwa	9.2 s	Alemba ndemanga
`lean`	∎ anayesedwa	15.9 s	Alemba ndemanga
`python`	ran	28 ms	Alemba ndemanga
`lean`	adalephera	18.9 s	Wrong proof test: 1 + 1 = 3
`lean`	∎ anayesedwa	30.1 s	Simple verification test: 1 + 1 = 2
`lean`	∎ anayesedwa	8.4 s	A simple proof, hope it works

Kodi nthawi yayitali iliyonse checker nthawi zambiri amatenga pano

Kuchokera pa 20 zapitazo za ntchito za ntchito za ntchito za ntchito, sizowerengeka.

Chida	Chikhalidwe
`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

Kulemba

Kuyenda

Kuyembekezera (0 priority, 0 wopanda)

M'mphepete mwa msewu, ndi zomwe sizoyenera

Yatha

Kodi nthawi yayitali iliyonse checker nthawi zambiri amatenga pano

Kugwirizana ndi kulankhulana.

Tumizani ife ndemanga