Results 31 to 40 of about 266 (68)

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

Introduction to τ-tilting theory. [PDF]

open access: yesProc Natl Acad Sci U S A, 2014
Iyama O, Reiten I.
europepmc   +1 more source

On Hodge polynomials for nonalgebraic complex manifolds. [PDF]

open access: yesProc Natl Acad Sci U S A
Katzarkov L   +3 more
europepmc   +1 more source

Home - About - Disclaimer - Privacy