Results 1 to 4 of about 4 (4)

The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar. [PDF]

open access: yesJ Autom Reason, 2018
Bancerek G   +6 more
europepmc   +1 more source

Orientation in operator algebras. [PDF]

open access: yesProc Natl Acad Sci U S A, 1998
Alfsen EM, Shultz FW.
europepmc   +1 more source

Modular geodesics and wedge domains in non-compactly causal symmetric spaces. [PDF]

open access: yesAnn Glob Anal Geom (Dordr)
Morinelli V, Neeb KH, Ólafsson G.
europepmc   +1 more source
Home - About - Disclaimer - Privacy