Ifolomu

Konke okubekiwe abaphenyi bakwenza kudlula eqenjini elinye, futhi lokhu kuyiqiniso. Akukho lutho lapha okungukufanisa: lezi yimisebenzi ebhokisini manje.

isebenza manje

ulinde

0 ms

to clear the queue

ibekwe ukulinganisa

Iyasebenza

Isebenza. Umsebenzi othunyelwe manje uqala ngokushesha.

Ukulindela (0 isici, 0 ikhululekile)

Akukho okulindelwe.

I-lane ekhawulelwe, nokuthi yini engalungile

Umsebenzi we-Lean owodwa usebenza ngesikhathi (i-Mathlib idinga ukukhumbula futhi lebhokisi lihlukaniswe), ngakho uma abantu abaningi befaka ngasikhathi sinye, kukhona umgwaqo.

Noma yikuphi i-akhawunti egcina i-credit ekhokhelwa ngaphambili isetshenziswa kuqala. Lokhu kuyindlela yonke; akukho mkhiqizo ohlukile othenga. Ukuhamba mahhala akudingeki ukuthi kuvimbelwe, kuqhutshekwe noma kuphulwe (kudlula kuphela), futhi kuqhubeka kuhamba, ngokulandelelana, ezindaweni ezikhululekile.

Isizathu sokuthi isebenze ngendlela enjalo: abantu abaxhasa imishini bakhokha izikhangiso bonke abanye abatholanga ngaphandle kokwenza lutho. Ukudlula umgwaqo kuyinto eyodwa kuphela ethenga, futhi ithenga lutho oluthile.

Engeza i-credit ukudlula umgwaqo Ukubalwa kwakho

Kuqediwe

Ithuluzi	Imiphumela	Uthathe	I-_For
`python`	i-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`	i-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`	i-ran	23.3 s	A very-well-poised 7F6 equal to 9Γ(1/3)⁹/64π⁶, via an absolutely convergent Mellin bridge
`python`	i-ran	83 ms	A very-well-poised 7F6 equal to 9Γ(1/3)⁹/64π⁶, via an absolutely convergent Mellin bridge
`pari`	i-ran	524 ms	A very-well-poised 7F6 equal to 9Γ(1/3)⁹/64π⁶, via an absolutely convergent Mellin bridge
`pari`	i-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`	∎ iqinisekisiwe	9.2 s	a comment
`lean`	∎ iqinisekisiwe	15.9 s	a comment
`python`	i-ran	28 ms	a comment
`lean`	ilahlekile	18.9 s	Wrong proof test: 1 + 1 = 3
`lean`	∎ iqinisekisiwe	30.1 s	Simple verification test: 1 + 1 = 2
`lean`	∎ iqinisekisiwe	8.4 s	A simple proof, hope it works

Isikhathi esiningi esithathayo ukuhlola ngalinye

Ilinganiselwe kusuka kulezi bhokisi ezidlule ezingu-20 zokuqhuba ngasinye sethuluzi, ayikwazanga ukulinganiselwa.

Ithuluzi	Okujwayelekile
`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

Ifolomu

Iyasebenza

Ukulindela (0 isici, 0 ikhululekile)

I-lane ekhawulelwe, nokuthi yini engalungile

Kuqediwe

Isikhathi esiningi esithathayo ukuhlola ngalinye

Xhumana nokuxhumana.

Thumela ubufakazi