Results 51 to 60 of about 10,908 (97)

Combining Higher-Order Logic with Set Theory Formalizations. [PDF]

J Autom Reason, 2023
Kaliszyk C, Pąk K.
europepmc   +1 more source

Khovanov homotopy type, periodic links and localizations. [PDF]

Math Ann, 2021
Borodzik M, Politarczyk W, Silvero M.
europepmc   +1 more source

Graded hypoellipticity of BGG sequences. [PDF]

Ann Glob Anal Geom (Dordr), 2022
Dave S, Haller S.
europepmc   +1 more source

A Formalization of the Smith Normal Form in Higher-Order Logic. [PDF]

J Autom Reason, 2022
Divasón J, Thiemann R.
europepmc   +1 more source

Isotopy classes for 3-periodic net embeddings. [PDF]

Acta Crystallogr A Found Adv, 2020
Power SC, Baburin IA, Proserpio DM.
europepmc   +1 more source

Higher Algebraic K-Theory of Causality. [PDF]

Entropy (Basel)
Mahadevan S.
europepmc   +1 more source

Classicality of derived Emerton-Gee stack. [PDF]

Math Ann
Min Y.
europepmc   +1 more source

Relative assembly maps and the K-theory of Hecke algebras in prime characteristic. [PDF]

Math Ann
Lück W.
europepmc   +1 more source

Super Quantum Airy Structures. [PDF]

Commun Math Phys, 2020
Bouchard V, Ciosmak P, Hadasz L, Osuga K, Osuga K, Ruba B, Sułkowski P.   +6 more
europepmc   +1 more source

Sequential topological complexity of aspherical spaces and sectional categories of subgroup inclusions. [PDF]

Math Ann
Espinosa Baro A, Farber M, Mescher S, Oprea J.   +3 more
europepmc   +1 more source