<--- Back to Details
First PageDocument Content
Mathematical analysis / Ergodic theory / Differential topology / Mathematics / Computability theory / Lie algebras / Non-associative algebras / Hopf decomposition / Orbifold
Date: 2015-03-02 09:06:39
Mathematical analysis
Ergodic theory
Differential topology
Mathematics
Computability theory
Lie algebras
Non-associative algebras
Hopf decomposition
Orbifold

Proving Non-termination Using Max-SMT? Daniel Larraz1 , Kaustubh Nimkar2 , Albert Oliveras1 , Enric Rodr´ıguez-Carbonell1 , and Albert Rubio1 1 Universitat Polit`ecnica de Catalunya, Barcelona

Add to Reading List

Source URL: www.lsi.upc.edu

Download Document from Source Website

File Size: 152,25 KB

Share Document on Facebook

Similar Documents

Cycles and Subschemes 14Cxx [1] Timothy G. Abbott, Kiran S. Kedlaya, and David Roe, Bounding Picard numbers of surfaces using p-adic cohomology, Anita Buckley and Bal´azs Szendr¨oi, Orbifold Riemann-Roch for

Cycles and Subschemes 14Cxx [1] Timothy G. Abbott, Kiran S. Kedlaya, and David Roe, Bounding Picard numbers of surfaces using p-adic cohomology, Anita Buckley and Bal´azs Szendr¨oi, Orbifold Riemann-Roch for

DocID: 1voxn - View Document

A panaroma of the fundamental group of the modular orbifold A. Muhammed Uluda˘g∗and Ayberk Zeytin∗∗ Department of Mathematics, Galatasaray University ˙ C

A panaroma of the fundamental group of the modular orbifold A. Muhammed Uluda˘g∗and Ayberk Zeytin∗∗ Department of Mathematics, Galatasaray University ˙ C

DocID: 1tBnz - View Document

On Topological Minors in Random Simplicial Complexes∗ Anna Gundert† Uli Wagner‡  arXiv:1404.2106v2 [math.CO] 4 May 2015

On Topological Minors in Random Simplicial Complexes∗ Anna Gundert† Uli Wagner‡ arXiv:1404.2106v2 [math.CO] 4 May 2015

DocID: 1rnFz - View Document

Daniel Huson  Bibliography Jan-2015

Daniel Huson Bibliography Jan-2015

DocID: 1rhZV - View Document

165  Documenta Math. On the Leading Terms of Zeta Isomorphisms and p-Adic L-functions in Non-Commutative Iwasawa Theory

165 Documenta Math. On the Leading Terms of Zeta Isomorphisms and p-Adic L-functions in Non-Commutative Iwasawa Theory

DocID: 1rfLe - View Document