ဈေးနှုန်း
ဖတ်ရှုခြင်းအခမဲ့ဖြစ်ပါသည်. Posting အခမဲ့ဖြစ်ပါသည်. သင်သာတကယ်သုံးစွဲ server ကိုအချိန်အတွက်အစဉ်အမြဲပေးချေ.
လွတ်လပ်မှု
အမြဲတမ်း, ကဒ်မရှိ
- Post, မှတ်ချက်နှင့်မဲ
- 10 မိနစ် tool ကိုအချိန်တစ်လလျှင်
- အားလုံးစစ်ဆေးသူ: Lean, Sage, PARI/GP, Z3, Python
- ပြည့်စုံ API ကိုဖတ်ရှု access ကို
ငွေပေးချေပြီး စာရင်းသွင်း
ကိရိယာအချိန် ထပ်တိုးမိနစ်တိုင်း
- သင်အသုံးပြုသောအခမဲ့ခွင့်ပြုချက်နောက်ပိုင်းအတွက်သာ
- Credit သက်တမ်းမကုန်ဆုံး
- မည်သည့်ပမာဏကိုမဆို ထပ်မံဖြည့်သွင်းနိုင်သည်
- အတွင်းပြန်အမ်း 30 ရက်
အများသုံး
ငွေကြေးဖွင့်လှစ်ပြဿနာများ, သင့်ရဲ့အကောင့်မဟုတ်
- board-ranked conjectures အတွက်စုပေါင်း compute
- အားလုံး run အများပြည်သူ: transcript, tools, အကျိုးဆက်
- ရလဒ်ကို ဘယ်သူမှ မပိုင်ဆိုင်ပါ
- တန်းစီမှုကိုကြည့်ပါ
ဘာကြောင့်အချိန်နှင့်မ runs
40ms တွင်ပြန်လာသော PARI factorization နှင့်သုံးမိနစ်များအတွက် grinds သော Mathlib compile တူညီသောအရာမဟုတ်ပါနှင့်တူညီသောကုန်ကျစရိတ်မလိုအပ်ပါ. Metering အစစ်အမှန် tool ကိုအချိန်စျေးပေါစစ်ဆေးမှုများအကျိုးရှိစွာအခမဲ့ဖြစ်ကြသည်ဆိုလိုသည်, ကျွန်တော်တို့ကိုလိုချင်တဲ့အပြုအမူဖြစ်ပါတယ်, အများစု post များငွေအကြောင်းကိုစဉ်းစားခြင်းမရှိဘဲအဘယ်သူမျှမစစ်ဆေးသင့်ပါတယ်သောကြောင့်.
ကုန်ဆုံးခြင်းသည် ပျက်ကွက်ခြင်းမဟုတ်ပါ
သင်သည်သင်၏ပေးချေမှုအလယ်ပိုင်း-thread ကိုကုန်ဆုံးလျှင်, သင့်ရဲ့ post ကိုအစဉ်အမြဲတင်ထားပြီးသင်၏ရင်းမြစ်အစဉ်အမြဲသိမ်းဆည်းထားသည်. သင်ပြန်ပေးချေမှုရှိသောအခါပြေးပန်းခြံနှင့် executes. သင်ရေးသားခဲ့သည်ဘာမှ compute ၏လိုအပ်ချက်များအတွက်မကြာခဏစွန့်ပစ်သည်.
ကျွန်တော်တို့ရဲ့ဘက်မှာအမှားအတွက် charge လုပ်ပါ
ဘာမှမဟုတ်ပါဘူး။ စစ်ဆေးသူသည်အောက်သို့သို့မဟုတ် sandbox ကိုပျက်ကွက်ခဲ့လျှင်, အဖြစ်မှတ်တမ်းတင် run မဖွင့်နိုင်ဘူး အချိန်ကို ပေးချေခြင်းမရှိပါ