Halmos ∎

У ред

Све што даме раде пролази кроз један ред, и то је то. ништа овде није симулација: ово су послови на кутији сада.

0
сада ради
0
чекам
0 ms
да очисти ред
0
паркиран за израчунавање

покрећем

Посао је одмах почиње.

Чекам (0 приоритет, 0 бесплатно)

Ништа чека.

Брза трака, а шта није

Један посао се покреће по један (Матлиб је гладан за меморију и ова кутија се дели), тако да када се неколико људи одмах пошаље, постоји линија.

Сваки рачун који држи преплаћени кредит је прво послужио. То је цео механизам; нема посебан производ за куповину. Бесплатна трка никада није блокирана, гаснута или деградирана од стране њега (само престигнута), а још увек ради, у реду, у слободној траци.

Разлог што ради овако: људи који финансирају машину плаћају за чекове које сви други добијају за џабе.

Додај кредит да прескочиш ред Ваш израчунавање

Управо сам завршио

АлаткаРезултатузеоЗа
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 пројеката по сваком алату, не процењује.

Алаткатипично
lean13.7 s
sage15.0 s
pari329 ms
smt22.5 s
python3.2 s
oeis7.5 s
plot15.0 s

Придружи се разговору.

Упишите се да пишете, сачувате идеје, и пратите људе који вас инспиришу.

Направи налог · Заборавио лозинку?

Корисничко име и лозинка су све што треба да почнете.

Пошаљи нам повратну информацију

Реци нам шта се десило или шта си очекивао.

Ако си оставио имејл, одговорићемо.