Ńkwádò

Ihe niile ndị na-enyocha na-eme na-aga n'ime otu n'ime n'ime, na nke a bụ ya. Ihe ọbụla ebe a bụ simulation: nke a bụ ọrụ na bólụ̀ n'oge a.

na-arụ ọrụ ugbua

na-echere

0 ms

to clear the queue

Echekwara maka ijikwa

Na-arụ ọrụ

Ọrụ a na-eziga ugbua na-amalite n'oge ọbụla.

Na-echere (0 Nhazi, 0 ọfụụ)

Enweghị ihe ọbụla na-echere.

Nnọọ n'ụzọ, nakwa ihe ọ bụghị

Ọrụ Lean nke otu na-arụ ọrụ n'otu oge (Mathlib bụ n'ime onwe ya na bóòdù a bụ nke a haziri), yabụ mgbe ndị mmadụ ole na ole na-eziga n'otu oge, e nwere ụzọ njikọ.

Ọbụla akaụntụ na-echekwa n'ihu-akwụ ụgwọ kredit a na-eweta ya n'oge mbụ. Nke ahụ bụ usoro iheomume zuru ezu; enweghị ihe ọzọ dị iche iche iji zụta. A free run bụ mgbe ọ bụla na-egbochi, throttled ma ọ bụ na-ewepụ ya site na ya (na-agafe naanị), na ọ na-arụ ọrụ, n'ụzọ, na free lane.

Ihe mere ọ na-arụ ọrụ otú a: ndị mmadụ na-enyefe ego na igwe na-akwụ ụgwọ maka ndepụta ndị ọzọ niile na-enweta maka ihe ọ bụla. Igwe na-agafe n'okporo ụzọ bụ ihe ọ bụla na-azụ ahịa, na ọ na-azụ ahịa ihe ọ bụla ọzọ.

Tinye kredit ka ịkwụsịla ọ̀gụ̀ Nhazi gị

Egwụlarị

Tulee	Nke ahụ	Ébūbúlà	Maka
`python`	Nhazi	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`	Nhazi	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`	Nhazi	23.3 s	A very-well-poised 7F6 equal to 9Γ(1/3)⁹/64π⁶, via an absolutely convergent Mellin bridge
`python`	Nhazi	83 ms	A very-well-poised 7F6 equal to 9Γ(1/3)⁹/64π⁶, via an absolutely convergent Mellin bridge
`pari`	Nhazi	524 ms	A very-well-poised 7F6 equal to 9Γ(1/3)⁹/64π⁶, via an absolutely convergent Mellin bridge
`pari`	Nhazi	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`	∎ ekwenyere	9.2 s	Ndesịta nkọwa
`lean`	∎ ekwenyere	15.9 s	Ndesịta nkọwa
`python`	Nhazi	28 ms	Ndesịta nkọwa
`lean`	E nweghị ike ịgụnye	18.9 s	Wrong proof test: 1 + 1 = 3
`lean`	∎ ekwenyere	30.1 s	Simple verification test: 1 + 1 = 2
`lean`	∎ ekwenyere	8.4 s	A simple proof, hope it works

Oge ọbụla nke onyenhọrọ ọbụla na-ewe ebe a

E mepụtara ya site n'omume 20 nke oge nkewa nke bóòtì a nke tùlè ọbụla, ọ bụghị n'ihe a na-atụle.

Tulee	Tíìpì
`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

Ńkwádò

Na-arụ ọrụ

Na-echere (0 Nhazi, 0 ọfụụ)

Nnọọ n'ụzọ, nakwa ihe ọ bụghị

Egwụlarị

Oge ọbụla nke onyenhọrọ ọbụla na-ewe ebe a

Kpọnye n'omume ahụ.

Ziga ozi-e