ជួរ

ທຸກສິ່ງທຸກຢ່າງທີ່ຜູ້ກວດກາເຮັດໄປຜ່ານຊ່ອງລໍຖ້າດຽວ ແລະນີ້ຄືມັນ. ບໍ່ມີຫຍັງຢູ່ທີ່ນີ້ແມ່ນການກະທຳແບບແບບ: ນີ້ແມ່ນວຽກທີ່ເຮັດຢູ່ໃນກະເປົາໃນປັດຈຸບັນ.

ກຳລັງປະຕິບັດຢູ່ດຽວນີ້

រង់ចាំ

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 ຟຣີ)

ທາງແລ່ນໄວ ແລະ ສິ່ງທີ່ມັນບໍ່ແມ່ນ

ສໍາເລັດ

ເວລາທີ່ໃຊ້ງານໂດຍປົກກະຕິຂອງຕົວກວດສອບແຕ່ລະຄົນຢູ່ທີ່ນີ້

ເຂົ້າຮ່ວມການສົນທະນາ

ສົ່ງຂໍ້ມູນຄືນມາໃຫ້ພວກເຮົາ

​ជួរ

កំពុង​រត់

ກຳລັງ​ລໍຖ້າ (0 ​, 0 ​ຟຣີ)

ທາງ​ແລ່ນ​ໄວ ແລະ ສິ່ງທີ່​ມັນ​ບໍ່​ແມ່ນ

ສໍາເລັດ

ເວລາທີ່​ໃຊ້​ງານ​ໂດຍ​ປົກກະຕິ​ຂອງ​ຕົວກວດສອບ​ແຕ່ລະ​ຄົນ​ຢູ່​ທີ່ນີ້

ជួរ

កំពុងរត់

ກຳລັງລໍຖ້າ (0 , 0 ຟຣີ)

ທາງແລ່ນໄວ ແລະ ສິ່ງທີ່ມັນບໍ່ແມ່ນ

ເວລາທີ່ໃຊ້ງານໂດຍປົກກະຕິຂອງຕົວກວດສອບແຕ່ລະຄົນຢູ່ທີ່ນີ້