Nhazi
Ngụ bụ n'efu. Ịkepụta bụ n'efu. I na-akwụ naanị maka oge sava ị na-eji.
Free
maka mgbe niile, enweghị kaadị
- Bipụta, nkọwa na ndepụta
- 10 nkeji of tool time each month
- Nlekọta ọbụla: Lean, Sage, PARI/GP, Z3, Python
- Nlebara anya zuru ezu API
Nhazi
n'ime nkeji nke oge tulee
- Maka ihe ị na-eji n'oge ọfụụ
- N'ebe ahụ, banye na ndesịta ozi ndị ahụ.
- Tinye ihe ọbụla
- N'ime ụbọchị 30
Ndị n'otu
ego na-emepe nsogbu, ọ bụghị akaụntụ gị
- Nhazi n'ime otu maka n'ime board-ranked conjectures
- Ndụ ọbụla na-eme: transcript, tools, result
- Enweghị onye nwe nsonaazụ ahụ
- Gosi n'ótù
Gịnị mere oge na-eji na-agbagharị
A PARI factorization nke na-ebuli n'ime 40 ms na a Mathlib compile nke na-ebuli maka minit atọ bụ ihe ọbụla na ọ gaghị akwụ ụgwọ nke ọbụla. Metering real tool time pụtara na ndị nlekọta dị ọnụ ala bụ n'ụzọ dị mfe, nke bụ ihe omume anyị chọrọ, n'ihi na ọtụtụ posts kwesịrị ịhụ na ọ dịghị onye ọ bụla na-eche banyere ego.
Ótùó na-apụ̀ bụ́ ọ̀fụ̀
Ọ bụrụ na ị na-agwụcha ikike gị n'etiti n'ime ntọala, isiokwu gị ka na-edebe ma ọ bụ isi gị ka na-echekwa. Oge mmegharị ahụ na-apụ na-eme mgbe ị na-enwe ikike ọzọ. Ihe ọbụla ịdepụtara a na-ewepụ mgbe ọbụla n'ihi na ịchọrọ n'itinye ihenhọrọ.
Ihe anyị na-akwụ maka nsogbu na mpaghara anyị
Ihe ọbụla. Ọ bụrụ na onyenhọrọ ahụ kwụsịla mọọbụ saịndbọshi ahụ kwụsịla, mmegharị ahụ a ga-edebe ya dịka Enweghị ike ijikwa na oge ahụ abụghị nke a bipụtara.