တန်းစီ

အားလုံး checkers လုပ်ပါတစ်ဦးတန်းကနေသွား, နှင့်ဤသည်မှာဖြစ်ပါသည်. ဒီမှာဘာမှမ simulate: ဤသည် box ပေါ်တွင်အလုပ်အကိုင်များဖြစ်ကြသည်အခုတော့.

လုပ်ဆောင်နေသည်

စောင့်နေသည်

0 ms

တန်းစီခြင်းကိုရှင်းလင်းရန်

ကိန်းဂဏန်းများ ရေးဆွဲရန် ရပ်နားထားသည်

လုပ်ဆောင်နေသည်

အလိုအလျောက်။ အလုပ်တစ်ခုတင်သွင်းသည်အခုချက်ချင်းစတင်ပါသည်

စောင့်နေသည် (0 အဆင့်အတန်း, 0 လွတ်လပ်သည်)

စောင့်နေစရာမလိုပါ

မြန်နှုန်းမြင့်လမ်းကြောင်း, နှင့်၎င်းသည်မဟုတ်ပါဘူးဘာကို

တစ်ဦး Lean အလုပ်တစ်ချိန်က runs (Mathlib မှတ်ဉာဏ်- hungry ဖြစ်ပါတယ်နှင့်ဤ box ကိုမျှဝေသည်), ထို့ကြောင့်တစ်ချိန်ကအချို့သောလူတွေတစ်ချိန်တည်းမှာတင်သွင်းတဲ့အခါ, လိုင်းရှိပါတယ်.

ငွေကြေးပေးသွင်းထားသူများအတွက် ငွေစာရင်းများ ပထမဦးဆုံး ဖွင့်လှစ်ပေးပါသည်။ ဒါဟာတစ်ဦးလုံးကစက်မှုလုပ်ငန်းဖြစ်ပါသည်; ဝယ်ယူရန်သီးခြားထုတ်ကုန်မရှိ. အခမဲ့ run ကိုမပိတ်ဆို့ပါဘူး, throttled သို့မဟုတ်ဒါကမှညံ့ဖျင်း (သာကျော်လွန်), နှင့်၎င်းသည်အစဉ်အဆက် runs, အမိန့်, အခမဲ့လမ်းကြောင်းထဲမှာ.

အကြောင်းပြချက်ကဒီနည်းလမ်းအလုပ်လုပ်: စက်ကိုထောက်ပံ့ပေးသူလူတွေအားလုံးအခြားသူများကဘာမှအတွက်ရ checks များအတွက်ပေးချေနေကြတယ်. လိုင်းကို skipping ရောင်းချသောတစ်ခုတည်းသောအရာဖြစ်ပါသည်, နှင့်အခြားဘာမှမဝယ်.

လိုင်းကိုကျော်ဖို့ credit ထည့်ပါ သင်၏ compute

ပြီးပြီ

ကိရိယာများ	ရလဒ်	ရိုက်ယူ	များအတွက်
`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

တိုင်းတာမှုတစ်ခုစီသည် အများအားဖြင့် ဘယ်လောက်ကြာကြာ ကြာသည်

ဒီ box ရဲ့ နောက်ဆုံး 20 runs ကနေတိုင်းတာ, တစ်ခုချင်းစီ tool ကို, မခန့်မှန်း.

ကိရိယာများ	ပုံမှန်
`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 လွတ်လပ်သည်)

မြန်နှုန်းမြင့်လမ်းကြောင်း, နှင့်၎င်းသည်မဟုတ်ပါဘူးဘာကို

ပြီးပြီ

တိုင်းတာမှုတစ်ခုစီသည် အများအားဖြင့် ဘယ်လောက်ကြာကြာ ကြာသည်

စကားပြောဆိုမှုတွင် ပါဝင်ပါ

ကျွန်တော်တို့ကိုတုံ့ပြန်ချက်ပေးပို့