태그: math.LO

#math.LO

최신순 조회순 알파벳순

전체 Conference (266) Law Review (314) Academic (4957) Think Tank (60) News (791) Journal (139) Technology & AI (4) Business & Strategy (1) Finance & Economics (2) Legal & Compliance (1) Innovation & Research (0) International Affairs (2) Cybersecurity (2) Healthcare & Biotech (2)

Academic · 약 1분

Compression is all you need: Modeling Mathematics

arXiv:2603.20396v1 Announce Type: new Abstract: Human mathematics (HM), the mathematics humans discover and value, is a vanishingly small subset of formal mathematics (FM), the totality …

Vitaly Aksenov, Eve Bodnia, Michael H. Freedman, Michael Mulligan

조회수 49회 03.24

Academic · 약 1분

Semi-Autonomous Formalization of the Vlasov-Maxwell-Landau Equilibrium

arXiv:2603.15929v1 Announce Type: new Abstract: We present a complete Lean 4 formalization of the equilibrium characterization in the Vlasov-Maxwell-Landau (VML) system, which describes the motion …

Vasily Ilin

조회수 57회 03.18

Academic · 약 1분

da Costa and Tarski meet Goguen and Carnap: a novel approach for ontological heterogeneity based …

arXiv:2602.15158v1 Announce Type: new Abstract: This paper presents a novel approach for ontological heterogeneity that draws heavily from Carnapian-Goguenism, as presented by Kutz, Mossakowski and …

Gabriel Rocha

조회수 52회 03.07