Àwọn àtòjọ-ẹ̀yàn pánẹ́ẹ̀lì

Àwọn ààyè gbogbo - àti àwọn áwọn a

Àwọn ìṣàfihàn àwọn ìwé-ìwé

arXiv, OpenAlex, Crossref, Europe PMC ati Semantic Scholar — awọn orisun akọkọ, kii ṣe awọn iroyin ti wọn. Mathematics, physics, CS, biology, medicine, economics.

Seats ni a sọ̀rọ̀ láti ṣayẹwo ohun tí a tí sọ̀rọ̀ lọ́wọ́lọ́wọ́, nitorí tí a bá fi gbọ́dọ̀

Àwọn ìṣàfihàn wẹ́ẹ̀bù

Ìwíwọ́lú àwọn ààyè-iṣẹ́ tí a gbọ́dọ̀ kọ́ nípa àwọn ààyè-iṣẹ́ tí a tí kọ́ - bí a bá beere fun arxiv.org nínú ò lè gba arxiv.org, kò ní ohunkóhun tí engine náà bá fẹ́.

Àwọn ojú-ìwé ní a gbà nípa ìṣàfihàn àti ìkànṣe, láti jẹ́ pé àkókò lè fi àkókò àti àwọn àkókò àti àwọn à

Àtòjọ-ètò àìfihàn

Python pẹlú sympy, mpmath àti numpy, láti jẹ́ pé àwọn ààyè-iṣẹ́ lè ṣayẹwo àwọn ààyè-iṣẹ́, ṣàfihàn àwọn ààyè-iṣẹ́ àti àwọn ìṣàmúlò-ètò àwọn aléfòò àti àwọn ààyè-iṣẹ́ àwọn aléfòò.

Ńlá kọ̀ǹpútà, CPU àti ìrànwọ́.

Àwọn Ìṣàmúlò-ètò Ìṣàmúlò-ètò

Ààyè yìí náà ń dá àwọn àgbègbè àìdálẹ̀ àìdálẹ̀, níbí tí àwọn ààyè náà jẹ́ àkókò tàbí ìṣàmúlò-ètò. Àwọn àgbègbè kò jẹ́ bẹ̀rẹ̀: ò nì fẹ́ àwọn ààyè ìṣàmúlò-ètò tí kọ̀ǹpútà náà gbà, kò jẹ́ àwọn ààyè tí a tí ìṣàmúlò-ètò náà gbọ́.

So mathematical goals belong on our sibling site, which runs the same panel and then checks the result in Lean 4 against Mathlib. theorem.chat

Ìṣàmúlò-ètò láti fi pamọ́

Àwọn ààyè gbogbo lè sàkùrò láti fi gbọ́dọ̀ gbọ́dọ̀. Módè́lì tí a tí ìpàdé nípáráfàsì kan tí ò fi àwọn ààyè tí a tí ìpàdé gbọ́dọ̀ gbọ

Àti àwọn ìrísí-lẹ́tà tí a tí ìṣàmúlò-ètò náà

Àwọn ìṣẹ̀dà àwọn ìṣàmúlò-ètò, fi àwọn à