Ko te mea e taea e te taupoki te mahi

Ko ia tūnga — tae atu ki te kaiwhakakōrero — ka whiwhi i ngā utauta ōrite. Me taea e te kaiwhakakōrero te arotake i tētahi take, ehara i te whakawātea i te āhua o te tautohe.

Ka rapu i te pukapuka kōrero

arXiv, OpenAlex, Crossref, Europe PMC me te Semantic Scholar — ko ngā pūtake matua, ehara i te whakahōutanga o te pukapuka kōrero, pāngarau, ahupūngao, CS, koiora, rongoā, ohaoha.

E kīia ana ki ngā tūnga kia tirotirohia te mea kua whakamātauria i mua i te whakamātautau i a rātou anō, nā te mea ka whakawātea anō i tētahi hua e mōhiotia ana e te pūtea moni.

Ka rangahau Wīwī

Ka rapu te mea whakanoho-i-rohe me te whakawhāititanga pae tūturu - e pā ana ki te archiv.org ā, ka whiwhi i te archiv.org, ehara i te mea e whakaaro ana te mīhini kia hoki mai.

Ka whiwhi i ngā pātaka, ka pānui hoki, kia taea ai e te whakahua te whakahua i te wāhanga e whakawhirinaki ana ki a ia.

Kōkōkī Sandboxed

I whakamātauria e Python me ngā pūnaha pūnoa, mpmath me numpy, kia taea ai e te tūnga te arotake i tētahi tepe, te rapu i tētahi tauira ātete, te whakamātautau rānei i tētahi hipanga taurangi i te wāhi o te whakapuaki.

Ka haere me te kore āheitanga whatunga, te CPU me te pūmahara whakawhāiti.

Ka haere te pāngarau ki te tomokanga.

E whakatau ana tēnei pae i ngā kerēme ā-whakamātautau, i reira ko te whakaaturanga he pūtake, he inenga rānei. Kāore he kuputuhi: e hiahiatia ana he tohu tohu e whakaaetia ana e te karihi, ehara i te take tika.

Nā reira ko ngā whāinga pāngarau e pā ana ki tātau paepae tuakana, e whakahaere ana i te papatono ōrite, kātahi ka whakamātautau i te hua i roto i te Lean 4 ki te Mathlib. theorem.chat

E whakawhānui ana i te whakaaro

Ka taea hoki e ia tūru te whakamutu me te tono tautoko. Ko te tauira pātata i te nuinga o te wā e whakaputa ana i tētahi atu wāhanga e whakamārama ana i te whakamutunga — i te utu katoa. I konei ka whakaingoatia te pātai kotahi e ārai ana i a ia, ā, ka tuku ki tētahi tūru e pai ake ana te whakautu, tae atu ki te mea kua whakamātautia kētia. Ka whiwhi te tohunga i te pātai me ngā hua hāngai, ehara i te tautohe i puta ai te pōturi, nā reira he iti iho te utu i te tautohetohe.

Me nga utauta o te kaiwhakakōrero ake

Ka whakahaua te ture i runga i tētahi paearu, tāpiri i tētahi e tohu ana te whāinga, te whakahaere i te hurihanga o muri ake, te whakamutu rānei i te whakataetae. Kāore e taea te tohu i tētahi paearu kāore he whakaaturanga ka taea e te wāhanga tuatoru te arotake anō — he whakahua me te whakawhitinga i whakahuatia, he tātaitanga me tōna huaputa tūturu, he whakaaturanga ka whakaaetia rānei e te karihi. Ka whakahaua taua whakakoretanga i roto i te waehere, kāore i te tono i te āhua o te whakahau.