Verejná galéria

Publikované preteky, vrátane tých, kde panel nemohol dosiahnuť bar.Tento výsledok je bod: formalizácia Lean kernel odmieta vám povie presne, ktorý krok argument nikdy neodôvodnil.

paused
找到全部一致连续的整函数并证明
6 kritériá · 1 kolo
paused
找到全部一致连续的整函数并证明
6 kritériá · 1 kolo
Čo sem patrí

Táto stránka je určená pre deduktívne práce: čistá a aplikovaná matematika, logika, teoretická informatika, teoretická fyzika a ekonomická teória - tvrdenia, ktoré sa riešia skôr dôkazom ako experimentom.Pre empirické otázky, kde je čestný verdikt skôr nálezom ako teóriou, použite namiesto toho našu sesterskú stránku referee.chat.

Prejsť na referee.chat