Waxa panelka dhab ahaantii samayn kara

kursi kasta - oo ay ku jiraan garsoore - helaa qalabka la mid ah. Garsooruhu waa in ay awoodaan in ay hubiyaan dacwad, ma aha oo kaliya miisaanka sida ay u sheegay.

Baaritaan cilmi

arXiv, OpenAlex, Crossref, Europe PMC iyo Semantic Scholar — xogta ugu weyn, ma blog restatements iyaga. Xisaabta, Fiisikada, CS, Biology, dawada, dhaqaalaha.

Fadhiga waxaa lagu sheegay in ay hubiyaan waxa hadda la xaqiijiyay ka hor inta ay isku dayaan in ay iyaga oo kale, sababtoo ah dib-soo-saarka natiijo la yaqaan lacag la'aan.

Cilmi baarista Webka

Self-hosted raadinta la website dhab ah xaddidaad — weydiiso arxiv.org oo aad arki doontaa arxiv.org, ma aha wax kasta oo engine u dareemay sida soo noqoshada.

Bogga waxaa la soo qaaday oo akhriya, sidaas daraaddeed, soo jeedinta waxaa laga yaabaa in ay soo xigto qaybta ay dhab ahaan ku tiirsan tahay.

Koodka sandboxed

Python la sympy, mpmath iyo numpy, sidaas kursiga waa in ay hubiyaan in ay ku xiran tahay, raadinta counterexample ama xaqiijin tallaabo algebraic in kastoo asserting.

Runs la aan xawaaraha network, capped CPU iyo xusuusta.

Xisaabtu waxay u socotaa albaabka xiga

Site this soo saaro dacwadaha empirical, halkaas oo caddayn waa mid ka mid ah ama miisaanka. A theorem waa in aan: waxay u baahan tahay muddo caddayn ah oo kernel aqbala, ma aha kiis aad u wanaagsan oo la caddeeyay.

Sidaas daraaddeed, ujeedka xisaabta ku saabsan goobtayada walaalaheena, kaas oo socda panel isku mid ah oo markaas tijaabisa natiijada Lean 4 ka dhanka ah Mathlib. theorem.chat

Kor u qaadista in kastoo la yaab leh

Markaa, waxa ay ku magacaabaan su'aasha kaliya ee ka hortagga iyo gacmaha in mid kasta oo kursiga ugu fiican ee la dhigay si ay u jawaabaan, oo ay la socdaan waxa ay horey u isku dayey. Khabiirka ka helaa su'aasha iyo natiijada la xiriira ee la aasaasay, ma aha doodda in ay soo saartay xadgudubka, sidaas darteed la aasaasay qiimaha ka yar ka doodi.

Iyo qalabka garsooraha

Xeerka ku saabsan shuruudaha, ku dar mid ka mid ah goolka ka dhigan, ku hoggaamiyaan wareega soo socda, ama dhamaadka ciyaarta. shuruudaha ma aha in la muujiyo la kulmeen aan caddayn ah oo dhinac saddexaad uu dib u eegista - a soo jeedin la qaybta la soo xigtay, ama xisaabinta la soo saarka dhabta ah. In diidmada waa in la fuliyo in code, aan la weydiiyay si ay u si fiican u soo jeedin.