Бүртгэл

Бүх зүйл нэг урт дараалалд явагддаг. Энэ бол бүх зүйл. Энд ямар ч төсөөлөл байхгүй. Энэ нь одоогийн хайрцагт байгаа ажлууд юм.

Одоо ажиллаж байна

хүлээж байна

0 ms

Бүх зүйлийг цэвэрлэх

тооцоолохын тулд зогсоосон

Ажиллаж байна

Үгүй. Одоо илгээсэн ажил шууд эхэлнэ.

хүлээж байна (0 тэргүүлэх, 0 чөлөөт)

Хэн ч хүлээхгүй.

Хурдан зам, юу биш вэ

Нэг Lean ажил нэг удаад нэг удаа ажиллана (Mathlib нь санах ой их шаарддаг ба энэ хайрцаг нь хуваагдсан), тиймээс хэд хэдэн хүн нэг дор илгээх үед, нэг шугам үүснэ.

Бүх дансанд урьдчилсан төлбөртэй кредит байгаа бол эхлээд үйлчлүүлнэ. Энэ бол бүх механизм юм. Өөр худалдан авах бүтээгдэхүүн байхгүй. Хязгааргүй хурд нь хэзээ ч хязгаарлагдахгүй, хязгаарлагдахгүй, эсвэл буурахгүй (зөвхөн хурд нь нэмэгддэг) ба үргэлжлүүлэн, эрэмбэ дараатайгаар, хязгааргүй хурдаар явна.

Энэ нь ийм байдлаар ажилладаг шалтгаан нь: машинд хөрөнгө оруулсан хүмүүс бусад хүмүүст үнэгүй олгогддог чекийн төлбөрийг төлдөг. Хуваалцах нь зөвхөн худалдан авалт хийдэг, харин өөр юу ч худалдаж авдаггүй.

Хуваалцах Таны тооцоо

Одоо л дууссан

Тоног төхөөрөмж	Үр дүн	Тоглоом	Тоглоомын нэр
`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 чөлөөт)

Хурдан зам, юу биш вэ

Одоо л дууссан

Энэ нь нэг тоглогч хэр удаан тоглох вэ гэдгийг харуулна

Ярилцлагад оролцоорой.

Сэтгэгдэл илгээнэ үү