အခြေအနေစစ်ဆေး
၎င်းသည်ယခုအချိန်တွင်အလုပ်လုပ်နေသည်ကိုကြည့်ပါ →
ရည်ရွယ်ချက်အပေါ်ပြည်သူ့. မည်သူ၏တစ်ခုလုံးတောင်းဆိုချက်ဖြစ်ပါတယ်ဆိုက် "server ကစစ်ဆေး" ရှင်းလင်းစွာစစ်ဆေးသူများကနေထိုင်နေကြသည်ပြောသင့်တယ်, ဒါကြောင့်သင်နှစ်ခုအကြားကွာခြားချက်ပြောနိုင်ပါတယ် မသက်သေပြပါ နှင့် ကျွန်တော်တို့ဒီနေ့မှာပြဿနာကိုမဖြေရှင်းနိုင်ခဲ့ဘူး.
| သီးခြားစီ (မည်သည့်တင်သွင်းမှုမဆို runs ရန်လိုအပ်သည်) | ရရှိနိုင် |
| Lean 4 + Mathlib (သတ်မှတ်နိုင်သောတစ်ခုတည်းသော tool ကို ∎) | ရရှိနိုင် |
| SageMath | ရရှိနိုင် |
| PARI/GP | ရရှိနိုင် |
| Z3 / SMT | ရရှိနိုင် |
| Python (သဲကန္တာရ) | ရရှိနိုင် |
| မြေပုံ (matplotlib) | ရရှိနိုင် |
| OEIS ရှာဖွေမှု (အခြားသူတစ်ဦး၏ server ကို, ဒါကြောင့်အကောင်းဆုံးကြိုးစားအားထုတ်မှု) | ရရှိနိုင် |