×

Found 688 Documents (Results 1–100)

Decomposing the univalence axiom. (English) Zbl 1528.03110

Abel, Andreas (ed.) et al., 23rd international conference on types for proofs and programs, TYPES 2017, May 24 – June 1, 2017, Budapest, Hungary. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 104, Article 6, 19 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Cartesian cubical computational type theory: constructive reasoning with paths and equalities. (English) Zbl 07533331

Ghica, Dan R. (ed.) et al., 27th EACSL annual conference on computer science logic, CSL 2018, Birmingham, United Kingdom, September 4–8, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 119, Article 6, 17 p. (2018).
MSC:  03B70
PDFBibTeX XMLCite
Full Text: DOI

Finitary higher inductive types in the groupoid model. (English) Zbl 1525.03058

Silva, Alexandra (ed.), Proceedings of the 33rd conference on the mathematical foundations of programming semantics (MFPS XXXIII), Ljubljana, Slovenia, June 12–15, 2017. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 336, 119-134 (2018).
MSC:  03B38 03B70
PDFBibTeX XMLCite
Full Text: DOI

A simplicial complex model for dynamic epistemic logic to study distributed task computability. (English) Zbl 1498.03045

Orlandini, Andrea (ed.) et al., Proceedings of the ninth international symposium on games, automata, logics, and formal verification, GandALF 2018, Saarbrücken, Germany, September 26–28, 2018. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 277, 73-87 (2018).
PDFBibTeX XMLCite
Full Text: Link

Internal universes in models of homotopy type theory. (English) Zbl 1462.03010

Kirchner, Hélène (ed.), 3rd international conference on formal structures for computation and deduction, FSCD 2018, July 9–12, 2018, Oxford, United Kingdom. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 108, Article 22, 17 p. (2018).
MSC:  03B38 55U35
PDFBibTeX XMLCite
Full Text: DOI arXiv

A syntax for higher inductive-inductive types. (English) Zbl 1462.68022

Kirchner, Hélène (ed.), 3rd international conference on formal structures for computation and deduction, FSCD 2018, July 9–12, 2018, Oxford, United Kingdom. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 108, Article 20, 18 p. (2018).
MSC:  68N18 03B38 55U35
PDFBibTeX XMLCite
Full Text: DOI

Free higher groups in homotopy type theory. (English) Zbl 1453.03003

Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 599-608 (2018).
MSC:  03B38 55U35
PDFBibTeX XMLCite
Full Text: DOI arXiv Link

Cellular cohomology in homotopy type theory. (English) Zbl 1452.55016

Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 521-529 (2018).
MSC:  55U35 03B38 55N20
PDFBibTeX XMLCite
Full Text: DOI arXiv

On higher inductive types in cubical type theory. (English) Zbl 1452.03036

Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 255-264 (2018).
MSC:  03B38 55U35
PDFBibTeX XMLCite
Full Text: DOI arXiv

Higher groups in homotopy type theory. (English) Zbl 1452.03034

Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 205-214 (2018).
MSC:  03B38 55U35
PDFBibTeX XMLCite
Full Text: DOI arXiv

Impredicative encodings of (higher) inductive types. (English) Zbl 1452.03030

Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 76-85 (2018).
MSC:  03B38 55U35 18N40
PDFBibTeX XMLCite
Full Text: DOI arXiv

Modular functors, cohomological field theories, and topological recursion. (English) Zbl 1448.81439

Liu, Chiu-Chu Melissa (ed.) et al., Topological recursion and its influence in analysis, geometry, and topology. 2016 AMS von Neumann symposium on topological recursion and its influence in analysis, geometry, and topology, Charlotte, NC, USA, July 4–8, 2016. Providence, RI: American Mathematical Society (AMS). Proc. Symp. Pure Math. 100, 1-58 (2018).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Some fundamental groups in arithmetic geometry. (English) Zbl 1451.14064

de Fernex, Tommaso (ed.) et al., Algebraic geometry: Salt Lake City 2015. 2015 summer research institute in algebraic geometry, University of Utah, Salt Lake City, UT, USA, July 13–31, 2015. Proceedings. Part 2. Providence, RI: American Mathematical Society (AMS); Cambridge, MA: Clay Mathematics Institute. Proc. Symp. Pure Math. 97, 2, 169-179 (2018).
MSC:  14F35 11G25 14F30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Little disks operads and Feynman diagrams. (English) Zbl 1441.18027

Sirakov, Boyan (ed.) et al., Proceedings of the international congress of mathematicians, ICM 2018, Rio de Janeiro, Brazil, August 1–9, 2018. Volume II. Invited lectures. Hackensack, NJ: World Scientific; Rio de Janeiro: Sociedade Brasileira de Matemática (SBM). 1241-1261 (2018).
PDFBibTeX XMLCite
Full Text: DOI

Spatial refinements and Khovanov homology. (English) Zbl 1447.57016

Sirakov, Boyan (ed.) et al., Proceedings of the international congress of mathematicians, ICM 2018, Rio de Janeiro, Brazil, August 1–9, 2018. Volume II. Invited lectures. Hackensack, NJ: World Scientific; Rio de Janeiro: Sociedade Brasileira de Matemática (SBM). 1153-1173 (2018).
MSC:  57K18 55P42 57-02
PDFBibTeX XMLCite
Full Text: DOI arXiv

An approach for certifying homotopy continuation paths. Univariate case. (English) Zbl 1467.65056

Arreche, Carlos (ed.), Proceedings of the 43rd international symposium on symbolic and algebraic computation, ISSAC 2018, New York, NY, USA, July 16–19, 2018. New York, NY: Association for Computing Machinery (ACM). 399-406 (2018).
MSC:  65H20 65G40 68V15
PDFBibTeX XMLCite
Full Text: DOI

Exact algorithms for semidefinite programs with degenerate feasible set. (English) Zbl 1467.90031

Arreche, Carlos (ed.), Proceedings of the 43rd international symposium on symbolic and algebraic computation, ISSAC 2018, New York, NY, USA, July 16–19, 2018. New York, NY: Association for Computing Machinery (ACM). 191-198 (2018).
MSC:  90C22 68W40
PDFBibTeX XMLCite
Full Text: DOI arXiv

Monodromy solver. Sequential and parallel. (English) Zbl 1467.65055

Arreche, Carlos (ed.), Proceedings of the 43rd international symposium on symbolic and algebraic computation, ISSAC 2018, New York, NY, USA, July 16–19, 2018. New York, NY: Association for Computing Machinery (ACM). 87-94 (2018).
MSC:  65H20 14Q20 68W20
PDFBibTeX XMLCite
Full Text: DOI arXiv

Optimal morphs of planar orthogonal drawings. (English) Zbl 1489.68209

Speckmann, Bettina (ed.) et al., 34th international symposium on computational geometry, SoCG 2018, June 11–14, 2018, Budapest, Hungary. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 99, Article 42, 14 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Further results concerning the Andrews-Curtis-conjecture and its generalizations. (English) Zbl 1435.57015

Metzler, Wolfgang (ed.) et al., Advances in two-dimensional homotopy and combinatorial group theory. Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Ser. 446, 27-35 (2018).
PDFBibTeX XMLCite
Full Text: DOI

Topological realisations of absolute Galois groups. (English) Zbl 1439.14074

Cogdell, James W. (ed.) et al., Cohomology of arithmetic groups. On the occasion of Joachim Schwermer’s 66th birthday, Bonn, Germany, June 2016. Cham: Springer. Springer Proc. Math. Stat. 245, 201-288 (2018).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Flagged higher categories. (English) Zbl 1423.18002

Ayala, David (ed.) et al., Topology and quantum theory in interaction. NSF-CBMS regional conference in the mathematical sciences: topological and geometric methods in QFT, Montana State University, Bozeman, MT, USA, July 31 – August 4, 2017. Proceedings. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 718, 137-173 (2018).
MSC:  18A05 55U35 55P65
PDFBibTeX XMLCite
Full Text: DOI arXiv

A guide for computing stable homotopy groups. (English) Zbl 1426.55014

Ayala, David (ed.) et al., Topology and quantum theory in interaction. NSF-CBMS regional conference in the mathematical sciences: topological and geometric methods in QFT, Montana State University, Bozeman, MT, USA, July 31 – August 4, 2017. Proceedings. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 718, 89-136 (2018).
PDFBibTeX XMLCite
Full Text: DOI arXiv

An introduction to spin systems for mathematicians. (English) Zbl 1426.57049

Ayala, David (ed.) et al., Topology and quantum theory in interaction. NSF-CBMS regional conference in the mathematical sciences: topological and geometric methods in QFT, Montana State University, Bozeman, MT, USA, July 31 – August 4, 2017. Proceedings. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 718, 15-47 (2018).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Co-t-structures: the first decade. (English) Zbl 1423.18043

Martsinkovsky, Alex (ed.) et al., Surveys in representation theory of algebras. Maurice Auslander distinguished lectures and international conference, Woods Hole Oceanographic Institute, Woods Hole, MA, USA, April 26 – May 1, 2017, April 29 – May 4, 2015, April 18–23, 2013. Selected lectures. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 716, 25-36 (2018).
MSC:  18E30 18-02 18-03 01A61
PDFBibTeX XMLCite
Full Text: DOI arXiv

Derived noncommutative schemes, geometric realizations, and finite dimensional algebras. (English. Russian original) Zbl 1430.14006

Russ. Math. Surv. 73, No. 5, 865-918 (2018); translation from Usp. Mat. Nauk 73, No. 5, 123-182 (2018).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Deformation theory of Lie bialgebra properads. (English) Zbl 1487.17042

Andersen, Jørgen Ellegaard (ed.) et al., Geometry and physics. A festschrift in honour of Nigel Hitchin. Volume 1. Oxford: Oxford University Press. 219-247 (2018).
PDFBibTeX XMLCite
Full Text: arXiv

Preservation of the coincidence point existence property under some discrete transformations of a pair of mappings of metric spaces. (English. Russian original) Zbl 1429.54050

Proc. Steklov Inst. Math. 303, Suppl. 1, S79-S86 (2018); translation from Tr. Inst. Mat. Mekh. (Ekaterinburg) 23, No. 4, 292-300 (2017).
MSC:  54H25 47H14 55P99
PDFBibTeX XMLCite
Full Text: DOI

Smoothing alternating direction methods for fully nonsmooth constrained convex optimization. (English) Zbl 1423.90187

Giselsson, Pontus (ed.) et al., Large-scale and distributed optimization. Contributions of the workshop, Lund, Sweden, June 14–16, 2017. Cham: Springer. Lect. Notes Math. 2227, 57-95 (2018).
MSC:  90C25 90C08
PDFBibTeX XMLCite
Full Text: DOI arXiv Link

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 3

Main Field