लाम

जाँचकर्ताले गर्ने सबै कुरा एक लाम मार्फत जान्छ, र यो हो । यहाँ केही पनि नक्कल छैन: यी अहिले बाकसमा कार्यहरू हुन् ।

अहिले चलिरहेको छ

प्रतिक्षा गर्दै

0 ms

लाम खाली गर्नुहोस्

गणनाका लागि पार्क गरिएको

चलिरहेको

निस्क्रिय । पेश गरिएको काम अहिले तत्काल सुरु हुन्छ ।

प्रतिक्षा गर्दै (0 प्राथमिकता, 0 स्वतन्त्र)

केही पनि प्रतिक्षा गर्दैन ।

छिटो लेन, र यो के होइन

एक Lean काम एक समय मा चल्छ (Mathlib स्मृति-प्यास छ र यो बाकस साझेदारी छ), त्यसैले धेरै मानिसहरू एकै पटक पेश गर्दा, त्यहाँ एक लाइन छ।

यसमा कुनै पनि ऋणको ब्याजदरको आधारमा ऋणको ब्याजदर निर्धारण गरिन्छ । त्यो सम्पूर्ण तंत्र हो; त्यहाँ कुनै छुट्टै उत्पादन किन्न छ. एक मुक्त रन कहिल्यै रोकिएको छ, throttled वा यो द्वारा degradated (केवल overtaken), र यो अझै पनि चल्छ, आदेश मा, मुक्त लेन मा.

कारण यो यसरी काम गर्दछ: मिसिन को कोष मानिसहरू सबै अन्य केहि लागि प्राप्त जाँच लागि भुक्तानी छन्. लाइन skipping कि किन्न मात्र कुरा हो, र यो अन्य केही किन्न.

रेखा फड्काउन क्रेडिट थप्नुहोस् तपाईँको गणना

भर्खरै समाप्त भयो

उपकरण	परिणाम	लिएको	यसको लागि
`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

प्रत्येक जाँचकर्ताले यहाँ सामान्यतया कति समय लिन्छ

प्रत्येक उपकरणको यो बाकसको अन्तिम २० चलबाट मापन गरिएको, अनुमान गरिएको छैन ।

उपकरण	सामान्य
`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 स्वतन्त्र)

छिटो लेन, र यो के होइन

भर्खरै समाप्त भयो

प्रत्येक जाँचकर्ताले यहाँ सामान्यतया कति समय लिन्छ

वार्तालापमा सामेल हुनुहोस् ।

हामीलाई प्रतिक्रिया पठाउनुहोस्