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

Polytope Novikov homology. [PDF]

J Fixed Point Theory Appl, 2021
Pellegrini A.
europepmc   +1 more source

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

Spaces and sequences in the hippocampus: a homological perspective. [PDF]

J Comput Neurosci
Babichev A, Vashin V, Dabaghian Y.
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