×

Found 615 Documents (Results 1–100)

Homotopy classification of elliptic problems associated with discrete group actions on manifolds with boundary. (Russian. English summary) Zbl 1463.58013

Ufim. Mat. Zh. 8, No. 3, 126-134 (2016); translation in Ufa Math. J. 8, No. 3, 122-129 (2016).
PDFBibTeX XMLCite
Full Text: DOI MNR

Godeaux surfaces with an Enriques involution and some stable degenerations. (English) Zbl 1400.14097

Casnati, Gianfranco (ed.) et al., From classical to modern algebraic geometry. Corrado Segre’s mastership and legacy. Basel: Birkhäuser/Springer (ISBN 978-3-319-32992-5/hbk; 978-3-319-32994-9/ebook). Trends in the History of Science, 451-473 (2016).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Modeling bounded rationality for sponsored search auctions. (English) Zbl 1396.91278

Kaminka, Gal A. (ed.) et al., ECAI 2016. 22nd European conference on artificial intelligence, The Hague, Netherlands, August 29 – September 2, 2016. Proceedings. Including proceedings of the accompanied conference on prestigious applications of intelligent systems (PAIS 2016). In 2 volumes. Amsterdam: IOS Press (ISBN 978-1-61499-671-2/pbk; 978-1-61499-672-9/ebook). Frontiers in Artificial Intelligence and Applications 285, 515-523 (2016).
MSC:  91B26 91-04 68W15
PDFBibTeX XMLCite
Full Text: DOI

Constructions with non-recursive higher inductive types. (English) Zbl 1394.03010

Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 595-604 (2016).
MSC:  03B15 03G30 55U40
PDFBibTeX XMLCite
Full Text: DOI Link

A mechanization of the Blakers-Massey connectivity theorem in homotopy type theory. (English) Zbl 1395.55011

Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 565-574 (2016).
MSC:  55P35 03B15 03B35 55P40 55U35
PDFBibTeX XMLCite
Full Text: DOI arXiv

Homotopy measures for representative trajectories. (English) Zbl 1397.68199

Sankowski, Piotr (ed.) et al., 24th annual European symposium on algorithms, ESA 2016, Aarhus, Denmark, August 22–24, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-015-6). LIPIcs – Leibniz International Proceedings in Informatics 57, Article 27, 17 p. (2016).
MSC:  68U05 68Q17 68Q25
PDFBibTeX XMLCite
Full Text: DOI

Inserting multiple edges into a planar graph. (English) Zbl 1388.68216

Fekete, Sándor (ed.) et al., 32nd international symposium on computational geometry, SoCG’16, Boston, MA, USA, June 14–17, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-009-5). LIPIcs – Leibniz International Proceedings in Informatics 51, Article 30, 15 p. (2016).
MSC:  68R10 68Q25
PDFBibTeX XMLCite
Full Text: DOI arXiv

Untangling planar curves. (English) Zbl 1387.57028

Fekete, Sándor (ed.) et al., 32nd international symposium on computational geometry, SoCG’16, Boston, MA, USA, June 14–17, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-009-5). LIPIcs – Leibniz International Proceedings in Informatics 51, Article 29, 16 p. (2016).
MSC:  57M50 57M15 57M25
PDFBibTeX XMLCite
Full Text: DOI arXiv

Category theory in Coq 8.5. (English) Zbl 1387.68208

Kesner, Delia (ed.) et al., 1st international conference on formal structures for computation and deduction, FSCD 2016, Porto, Portugal, June 22–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-010-1). LIPIcs – Leibniz International Proceedings in Informatics 52, Article 30, 18 p. (2016).
MSC:  68T15 03B15 03G30 18A99 55U40
PDFBibTeX XMLCite
Full Text: DOI arXiv

Galois action on the homology of Fermat curves. (English) Zbl 1416.11045

Eischen, Ellen E. (ed.) et al., Directions in number theory. Proceedings of the 2014 women in numbers, WIN3 workshop. Banff, Alberta, Canada, April 21–25, 2014. Cham: Springer. Assoc. Women Math. Ser. 3, 57-86 (2016).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Pure motives, mixed motives and extensions of motives associated to singular surfaces. (English. French summary) Zbl 1375.14005

Bost, J.-B. (ed.) et al., Autour des motifs. École d’été franco-asiatique de géométrie algébrique et de théorie des nombres. Volume III. Paris: Société Mathématique de France (SMF) (ISBN 978-2-85629-846-6/pbk). Panoramas et Synthèses 49, 65-100 (2016).
PDFBibTeX XMLCite
Full Text: arXiv

Adjoint logic with a 2-category of modes. (English) Zbl 1477.03267

Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4–7, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9537, 219-235 (2016).
MSC:  03G30 18N10 55U35
PDFBibTeX XMLCite
Full Text: DOI

Type theoretical databases. (English) Zbl 1474.68099

Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4–7, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9537, 117-129 (2016).
PDFBibTeX XMLCite
Full Text: DOI arXiv Link

Axioms for modelling cubical type theory in a topos. (English) Zbl 1370.03016

Regnier, Laurent (ed.) et al., 25th EACSL annual conference and 30th workshop on computer science logic, CSL’16, Marseille, France, August 29 – September 1, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-022-4). LIPIcs – Leibniz International Proceedings in Informatics 62, Article 24, 19 p. (2016).
MSC:  03B15 03G30 18B25 55U40
PDFBibTeX XMLCite
Full Text: DOI

Guarded cubical type theory: path equality for guarded recursion. (English) Zbl 1370.68052

Regnier, Laurent (ed.) et al., 25th EACSL annual conference and 30th workshop on computer science logic, CSL’16, Marseille, France, August 29 – September 1, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-022-4). LIPIcs – Leibniz International Proceedings in Informatics 62, Article 23, 17 p. (2016).
MSC:  68N30 03B15 03B70 03G30 55U40 68Q55 68T15
PDFBibTeX XMLCite
Full Text: DOI arXiv

The Seifert-van Kampen theorem in homotopy type theory. (English) Zbl 1370.03015

Regnier, Laurent (ed.) et al., 25th EACSL annual conference and 30th workshop on computer science logic, CSL’16, Marseille, France, August 29 – September 1, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-022-4). LIPIcs – Leibniz International Proceedings in Informatics 62, Article 22, 16 p. (2016).
MSC:  03B15 03B35 03G30 55U40
PDFBibTeX XMLCite
Full Text: DOI

Extending homotopy type theory with strict equality. (English) Zbl 1370.03014

Regnier, Laurent (ed.) et al., 25th EACSL annual conference and 30th workshop on computer science logic, CSL’16, Marseille, France, August 29 – September 1, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-022-4). LIPIcs – Leibniz International Proceedings in Informatics 62, Article 21, 17 p. (2016).
MSC:  03B15 03G30 55U40
PDFBibTeX XMLCite
Full Text: DOI arXiv

The directed homotopy hypothesis. (English) Zbl 1369.55013

Regnier, Laurent (ed.) et al., 25th EACSL annual conference and 30th workshop on computer science logic, CSL’16, Marseille, France, August 29 – September 1, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-022-4). LIPIcs – Leibniz International Proceedings in Informatics 62, Article 9, 16 p. (2016).
MSC:  55U10 18D20 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 3

Main Field

all top 3

Software