Ընթացիկ

Ձեր ընթերցողը կարող է մուտք գործել Ձեր էջը, բայց Ձեր էջը չի կարող մուտք գործել Ձեր էջը։

այժմ աշխատում է

սպասում

0 ms

Ընդունել

պահպանված է հաշվարկման համար

Աշխատանք

Անգործություն. Հիմա ներկայացված աշխատանքը անմիջապես սկսվում է։

սպասում (0 սկզբնական, 0 ազատ)

Ոչինչ չի սպասում։

արագընթաց ճանապարհը և ինչ է այն չի

Մի Lean աշխատանքը միաժամանակ աշխատում է (Mathlib-ը հիշողության կարիք ունի և այս տուփը կիսում է), այնպես որ, երբ մի քանի մարդիկ միաժամանակ ներկայացնում են, գոյություն ունի մի շարք:

Առաջին հերթին ծառայում են այն հաշիվները, որոնք ունեն վճարված վարկ։ Սա ամբողջ մեխանիզմն է, ոչ մի առանձին ապրանք չկա գնելու համար։ Ազատ երթևեկությունը երբեք չի արգելափակվում, արգելափակվում կամ նվազեցվում է (միայն անցնում է), և այն դեռևս ընթանում է, կարգով, ազատ ճանապարհին։

Այնպես որ, ահա թե ինչու է դա այդպես աշխատում. մեքենան ֆինանսավորող մարդիկ վճարում են այն չափանիշների համար, որոնք բոլորը ստանում են անվճար։ Հերթը բաց թողնելը միակ բանն է, որ գնում է, և այլ ոչինչ։

Ավելացնել գումար՝ տողը բաց թողնելու համար Ձեր հաշվարկները

Հենց վերջացավ

Ապրանք	Արդյունք	Took	Ընդհանուր
`python`	դաս	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`	դաս	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`	դաս	23.3 s	A very-well-poised 7F6 equal to 9Γ(1/3)⁹/64π⁶, via an absolutely convergent Mellin bridge
`python`	դաս	83 ms	A very-well-poised 7F6 equal to 9Γ(1/3)⁹/64π⁶, via an absolutely convergent Mellin bridge
`pari`	դաս	524 ms	A very-well-poised 7F6 equal to 9Γ(1/3)⁹/64π⁶, via an absolutely convergent Mellin bridge
`pari`	դաս	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`	∎ ստուգված	9.2 s	մեկնաբանություն
`lean`	∎ ստուգված	15.9 s	մեկնաբանություն
`python`	դաս	28 ms	մեկնաբանություն
`lean`	հրաժարվել է	18.9 s	Wrong proof test: 1 + 1 = 3
`lean`	∎ ստուգված	30.1 s	Simple verification test: 1 + 1 = 2
`lean`	∎ ստուգված	8.4 s	A simple proof, hope it works

Որքան ժամանակ է պահանջվում այստեղ յուրաքանչյուր ստուգողի համար

Մոտավորապես այս տուփի վերջին 20 գործողություններից յուրաքանչյուր գործիքների, ոչ գնահատական.

Ապրանք	Տիպիկ
`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

Ընթացիկ

Աշխատանք

սպասում (0 սկզբնական, 0 ազատ)

արագընթաց ճանապարհը և ինչ է այն չի

Հենց վերջացավ

Որքան ժամանակ է պահանջվում այստեղ յուրաքանչյուր ստուգողի համար

Միացեք զրույցին։

Առաջարկներ ուղարկել