Ufolo

Zonke izinto ezichaziweyo ezizenza zihamba ngefolo, kwaye le yiyo. Akukho nto apha ifana: ezi zimisebenzi kwibhokisi ngoku.

Isebenza ngoku

ulinde

0 ms

to clear the queue

ibekwe kwindawo yobalo

Isebenza

Ayisebenzi. Umsebenzi othunyelwe ngoku uqala ngokukhawuleza.

Ilinde (0 Iinketho zelizwe, 0 i-free)

Akukho nto ilindelwe.

I-lane ekhawulezayo, nento engakholeli

Umsebenzi omnye we Lean uqhuba ngexesha (Mathlib ifuna uvimba wolwazi kwaye le bhokisi inikezelwa), ngoko xa abantu abaninzi bethumela ngaxeshanye, kukho umgca.

Nayiphi na iakhawunti egcina ityala elihlawulwe ngaphambili linikezelwa kuqala. Le yinkqubo epheleleyo; akukho mveliso ehlukileyo yokuthenga. Ukuhamba simahla akuyi kuthintelwa, kuqhutywa okanye kunyulwa (kugqitywa kuphela), kwaye iqhubeka ihamba, ngokulandelelana, kwindlela ekhululekileyo.

Isizathu sokuba isebenze ngendlela enjalo: abantu abaxhasa i-machine bahlawulisa i-cheque abathe bafumanayo bonke abanye ngaphandle kokwenza nto. Ukuyeka umgca kukuphela kwento ethengayo, kwaye ayithengi nto enye.

Yongeza ityala ukuyeka umgca I-calc yakho

Igqityiwe

Isixhobo	I-Index	I-Took	I-
`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`	i-	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

Ixesha elininzi elithathayo ukukhangela okuthile apha

Ilinganiselwe kwibhokisi yesibini ye-20 egqibeleleyo yesixhobo ngasinye, ayiqikelelo.

Isixhobo	I-Graphic
`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

Ufolo

Isebenza

Ilinde (0 Iinketho zelizwe, 0 i-free)

I-lane ekhawulezayo, nento engakholeli

Igqityiwe

Ixesha elininzi elithathayo ukukhangela okuthile apha

Unxibelelwano

Thumela iimpendulo