Ukulinganisa
Ukufunda kumahhala. Ukushicilela kumahhala. Ukhokha kuphela isikhathi seseva osebenzisayo.
Ikhululekile
forever, no card
- Post, comment and vote
- 10 imizuzu of tool time each month
- Umhlola wonke: Lean, Sage, PARI/GP, Z3, Python
- Ukungena okugcwele kokufunda kwe-API
I-Prepaid compute
ngayinye imizuzwana engaphezulu yesikhathi sethuluzi
- Kulokhu kuphela okusetshenziswa ngaphezu kwe-free allowance
- I-credit ayipheli
- I-Top up any amount
- Refundable within 30 days
I-Commons
ama-akhawunti akho
- Ukubalwa okuqokiwe kwe-board-ranked conjectures
- Wonke umsebenzi osebenza ngokusemthethweni: i-transcript, amathuluzi, imiphumela
- Akukho muntu ophethe imiphumela
- Bona ifolokhwe
Kungani isikhathi sihamba futhi asisebenzi
I-PARI factorization ebuyela ku-40 ms ne-Mathlib compile egaya imizuzwana emithathu ayiyona into efanayo futhi ayidingi ukukhokha okufanayo. Ukulinganisa isikhathi sethuluzi elingokoqobo kusho ukuthi ukuhlolwa okuphansi kuphephile, okuwukuziphatha esikufunayo, ngoba izihloko eziningi kufanele ziqinisekiswe ngaphandle komuntu ocabanga ngemali.
Ukuphumeza akuyona iphutha
Uma uthatha isikhala sakho phakathi kwesonto, isihloko sakho sizoshicilelwa futhi umsuka wakho ugcinwe. Uhlelo luzohlala lusebenza uma uthola isikhala futhi. Akukho lutho obhalelayo oluzosuswa ngenxa yokungalingani kohlelo.
Imali esiyikhokhisa uma kwenzeka iphutha ekhasini lethu
Akukho nto. Uma umhlola ephansi noma ibhokisi le-sandbox lihlulekile, ukushaya kurekhodwa njenge ayikwazi ukuphumeza futhi isikhathi asikhokhwa.