×

Found 2,920 Documents (Results 1–100)

Smooth homotopy of diffeological spaces: theory and applications to infinite-dimensional \(C^\infty \)-manifolds. (English) Zbl 07807754

Magnot, Jean-Pierre (ed.), Recent advances in diffeologies and their applications. AMS-EMS-SMF special session, Université de Grenoble-Alpes, Grenoble, France, July 18–20, 2022. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 794, 239-258 (2024).
PDFBibTeX XMLCite
Full Text: DOI

Smooth \(A_{\infty}\)-form on a diffeological loop space. (English) Zbl 07807753

Magnot, Jean-Pierre (ed.), Recent advances in diffeologies and their applications. AMS-EMS-SMF special session, Université de Grenoble-Alpes, Grenoble, France, July 18–20, 2022. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 794, 223-238 (2024).
PDFBibTeX XMLCite
Full Text: DOI arXiv

From curves to words and back again: geometric computation of minimum-area homotopy. (English) Zbl 07789731

Morin, Pat (ed.) et al., Algorithms and data structures. 18th international symposium, WADS 2023, Montreal, QC, Canada, July 31 – August 2, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14079, 605-619 (2023).
MSC:  68P05 68Wxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

The topology of dissipative systems. (English) Zbl 07763420

Hujdurović, Ademir (ed.) et al., European congress of mathematics. Proceedings of the 8th congress, 8ECM, Portorož, Slovenia, June 20–26, 2021. Berlin: European Mathematical Society (EMS). 907-925 (2023).
PDFBibTeX XMLCite
Full Text: DOI

Convex bodies all whose sections (projections) are equal. (English) Zbl 07763418

Hujdurović, Ademir (ed.) et al., European congress of mathematics. Proceedings of the 8th congress, 8ECM, Portorož, Slovenia, June 20–26, 2021. Berlin: European Mathematical Society (EMS). 857-883 (2023).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Smooth compactifications in derived non-commutative geometry. (English) Zbl 1523.14034

Hujdurović, Ademir (ed.) et al., European congress of mathematics. Proceedings of the 8th congress, 8ECM, Portorož, Slovenia, June 20–26, 2021. Berlin: European Mathematical Society (EMS). 535-551 (2023).
PDFBibTeX XMLCite
Full Text: DOI

Non-linear homomorphisms of algebras of functions are induced by thick morphisms. (English) Zbl 1520.58001

Krasil’shchik, I. S. (ed.) et al., The diverse world of PDEs. Algebraic and cohomological aspects. Alexandre Vinogradov memorial conference. Diffieties, cohomological physics, and other animals, Independent University of Moscow and Moscow State University, Moscow, Russia, December 13–17, 2021. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 789, 115-130 (2023).
MSC:  58A50 58A99 70G45
PDFBibTeX XMLCite
Full Text: DOI arXiv

Dominant energy condition and spinors on Lorentzian manifolds. (English) Zbl 1528.53063

Gromov, Mikhail L. (ed.) et al., Perspectives in scalar curvature. Vol. 2. Singapore: World Scientific. 519-592 (2023).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Algebraic \(K\)-theory and generalized stable homotopy theory. (English) Zbl 1511.55012

Connes, A. (ed.) et al., Cyclic cohomology at 40. Achievements and future prospects. Proceedings of the conference, virtual, Toronto, ON, Canada, September 27 – October 1, 2021. Providence, RI: American Mathematical Society (AMS). Proc. Symp. Pure Math. 105, 161-184 (2023).
PDFBibTeX XMLCite
Full Text: DOI

Cyclic theory and the pericyclic category. (English) Zbl 1509.55013

Connes, A. (ed.) et al., Cyclic cohomology at 40. Achievements and future prospects. Proceedings of the conference, virtual, Toronto, ON, Canada, September 27 – October 1, 2021. Providence, RI: American Mathematical Society (AMS). Proc. Symp. Pure Math. 105, 103-122 (2023).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Homotopy analysis method (HAM) for differential equations pertaining to the mixed convection boundary-layer flow over a vertical surface embedded in a porous medium. (English) Zbl 07819636

Malyarenko, Anatoliy (ed.) et al., Stochastic processes, statistical methods, and engineering mathematics. SPAS 2019, Västerås, Sweden, September 30 – October 2, 2019. Cham: Springer. Springer Proc. Math. Stat. 408, 703-717 (2022).
MSC:  76D10 76D09 76B99
PDFBibTeX XMLCite
Full Text: DOI

(Co)homology groups and categorified eigenvalues. (English) Zbl 1511.18014

Mladenov, Ivaïlo M. (ed.), Geometry, integrability and quantization. Volume 23. Sofia: Bulgarian Academy of Sciences, Institute for Nuclear Research and Nuclear Energy. Geometry, Integrability and Quantization 23, 59-74 (2022).
MSC:  18G35 18M05 55U15
PDFBibTeX XMLCite
Full Text: DOI arXiv Link

Locating the closest singularity in a polynomial homotopy. (English) Zbl 1507.14084

Boulier, François (ed.) et al., Computer algebra in scientific computing. 24th international workshop, CASC 2022, Gebze, Turkey, August 22–26, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13366, 333-352 (2022).
MSC:  14Q65 68W30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Dynamics of relativistic particles with torsion in certain non-flat spacetimes. (English) Zbl 1517.83002

Albujer, Alma L. (ed.) et al., Developments in Lorentzian geometry. Selected papers based on the presentations at the 10th international meeting on Lorentzian geometry, GeLoCor 2021, Cordoba, Spain, February 1–5, 2021. Cham: Springer. Springer Proc. Math. Stat. 389, 273-283 (2022).
PDFBibTeX XMLCite
Full Text: DOI

Loop Grassmannians of quivers and affine quantum groups. (English) Zbl 1498.14127

Baranovsky, Vladimir (ed.) et al., Representation theory and algebraic geometry. A conference celebrating the birthdays of Sasha Beilinson and Victor Ginzburg, Chicago, IL, USA, August 21–25, 2017. Cham: Birkhäuser. Trends Math., 347-392 (2022).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Combinatorial conditions for directed collapsing. (English) Zbl 1503.57026

Gasparovic, Ellen (ed.) et al., Research in computational topology 2. Proceedings of the second women in computational topology, WinCompTop, research collaboration workshop, Mathematical Sciences Institute, MSI, Australian National University, ANU, Canberra, Australia, July 1–5, 2019. Cham: Springer. Assoc. Women Math. Ser. 30, 167-189 (2022).
MSC:  57Q05
PDFBibTeX XMLCite
Full Text: DOI arXiv

Homotopy limits of model categories, revisited. (English) Zbl 1482.55021

Balchin, Scott (ed.) et al., Equivariant topology and derived algebra. Based on the conference, Trondheim, Norway, 2019. In honour of Professor J. P. C. Greenlees’ 60th birthday. Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Ser. 474, 314-338 (2022).
PDFBibTeX XMLCite
Full Text: DOI Link

Bi-incomplete Tambara functors. (English) Zbl 1484.55008

Balchin, Scott (ed.) et al., Equivariant topology and derived algebra. Based on the conference, Trondheim, Norway, 2019. In honour of Professor J. P. C. Greenlees’ 60th birthday. Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Ser. 474, 276-313 (2022).
MSC:  55P42 55P91
PDFBibTeX XMLCite
Full Text: DOI arXiv Link

An introduction to algebraic models for rational \(G\)-spectra. (English) Zbl 1490.55006

Balchin, Scott (ed.) et al., Equivariant topology and derived algebra. Based on the conference, Trondheim, Norway, 2019. In honour of Professor J. P. C. Greenlees’ 60th birthday. Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Ser. 474, 119-179 (2022).
MSC:  55P91 19A22
PDFBibTeX XMLCite
Full Text: DOI arXiv Link

Chromatic fracture cubes. (English) Zbl 1485.55012

Balchin, Scott (ed.) et al., Equivariant topology and derived algebra. Based on the conference, Trondheim, Norway, 2019. In honour of Professor J. P. C. Greenlees’ 60th birthday. Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Ser. 474, 100-118 (2022).
MSC:  55P42 18G99 19D55
PDFBibTeX XMLCite
Full Text: DOI arXiv Link

Comparing dualities in the \(K(n)\)-local category. (English) Zbl 1490.55003

Balchin, Scott (ed.) et al., Equivariant topology and derived algebra. Based on the conference, Trondheim, Norway, 2019. In honour of Professor J. P. C. Greenlees’ 60th birthday. Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Ser. 474, 1-38 (2022).
PDFBibTeX XMLCite
Full Text: DOI arXiv Link

Finding optimal results in the homotopy analysis method to solve fuzzy integral equations. (English) Zbl 1483.65215

Allahviranloo, Tofigh (ed.) et al., Advances in fuzzy integral and differential equations. Cham: Springer. Stud. Fuzziness Soft Comput. 412, 173-195 (2022).
PDFBibTeX XMLCite
Full Text: DOI

Solutions of differential equations for prediction of COVID-19 cases by homotopy perturbation method. (English) Zbl 1475.92160

Saba, Tanzila (ed.) et al., Intelligent computing applications for COVID-19. Predictions, diagnosis, and prevention. Boca Raton, FL: CRC Press. Innov. Health Inform. Healthc.: Using Artif. Intell. Smart Comput., 49-65 (2022).
MSC:  92D30 65H20
PDFBibTeX XMLCite
Full Text: DOI

On geometric structure of phase portraits of some piecewise linear dynamical systems. (English) Zbl 07782899

Hvedri, Inassaridze (ed.), Tbilisi – mathematics. Special issue. Dedicated to the memory of Roin Nadiradze. Berlin: De Gruyter/Sciendo. Tbilisi Math. J. Collect. Spec. Issues 2, 49-56 (2021).
MSC:  37C79 37C25 37C29
PDFBibTeX XMLCite
Full Text: DOI

Notes on Chow rings of flag varieties \(G/B\) and classifying spaces \(BG\). (English) Zbl 07782897

Hvedri, Inassaridze (ed.), Tbilisi – mathematics. Special issue. Dedicated to the memory of Roin Nadiradze. Berlin: De Gruyter/Sciendo. Tbilisi Math. J. Collect. Spec. Issues 2, 5-29 (2021).
PDFBibTeX XMLCite
Full Text: DOI

Homotopy type theory in Isabelle. (English) Zbl 07699429

Cohen, Liron (ed.) et al., 12th international conference on interactive theorem proving, ITP 2021, Rome, Italy, virtual conference, June 29 – July 1, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 193, Article 12, 8 p. (2021).
MSC:  68V15
PDFBibTeX XMLCite
Full Text: DOI arXiv

Bounding ramification by covers and curves. (English) Zbl 1510.14016

Kechris, A. (ed.) et al., Nine mathematical challenges. An elucidation. Proceedings of the Linde Hall inaugural math symposium, California Institute of Technology, Pasadena, CA, USA, February 22–24, 2019. Providence, RI: American Mathematical Society (AMS). Proc. Symp. Pure Math. 104, 31-43 (2021).
MSC:  14F35 11S15
PDFBibTeX XMLCite
Full Text: DOI arXiv

Tight models of de-Rham algebras of highly connected manifolds. (English) Zbl 1502.55011

Dearricott, Owen (ed.) et al., Differential geometry in the large. Proceedings of the Australian-German workshop on differential geometry in the large, Creswick, Australia, February 4–15, 2019. Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Ser. 463, 260-281 (2021).
MSC:  55P62 58A12
PDFBibTeX XMLCite
Full Text: DOI

Approximable triangulated categories. (English) Zbl 1497.18024

Igusa, Kiyoshi (ed.) et al., Representations of algebras, geometry and physics, Maurice Auslander distinguished lectures and international conference, Woods Hole Oceanographic Institute, Woods Hole, MA, USA, April 25–30, 2018. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 769, 111-155 (2021).
MSC:  18G80 18-02
PDFBibTeX XMLCite
Full Text: DOI arXiv

Thin homotopy and the holonomy approach to gauge theories. (English) Zbl 1495.53071

Galaz-García, Fernando (ed.) et al., Mexican mathematicians in the world. Trends and recent contributions. IV meeting. Reunión de matemáticos mexicanos en el mundo, Casa Matemática Oaxaca, Oaxaca, Mexico, June 10–15, 2018. Providence, RI: American Mathematical Society (AMS); México: Sociedad Matemática Mexicana. Contemp. Math. 775, 233-253 (2021).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Heat transfer of MHD channel flow of viscoelastic (PTT) fluid. (English) Zbl 1510.80010

Paikray, Susanta Kumar (ed.) et al., New trends in applied analysis and computational mathematics. Proceedings of the international conference on advances in mathematics and computing, ICAMC 2020, Odisha, India, February 7–8, 2020. Singapore: Springer. Adv. Intell. Syst. Comput. 1356, 45-57 (2021).
PDFBibTeX XMLCite
Full Text: DOI

\(\mathbb{A}^1\)-homotopy theory and contractible varieties: a survey. (English) Zbl 1478.14001

Neumann, Frank (ed.) et al., Homotopy theory and arithmetic geometry – motivic and Diophantine aspects. LMS-CMI research school, London, UK, July 9–13, 2018. Lecture notes. Cham: Springer. Lect. Notes Math. 2292, 145-212 (2021).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Cohomological methods in intersection theory. (English) Zbl 1478.14003

Neumann, Frank (ed.) et al., Homotopy theory and arithmetic geometry – motivic and Diophantine aspects. LMS-CMI research school, London, UK, July 9–13, 2018. Lecture notes. Cham: Springer. Lect. Notes Math. 2292, 49-105 (2021).
PDFBibTeX XMLCite
Full Text: DOI arXiv

An introduction to \(\mathbb{A}^1\)-enumerative geometry. Based on lectures by Kirsten Wickelgren delivered at the LMS-CMI research school “Homotopy theory and arithmetic geometry – motivic and Diophantine aspects”. (English) Zbl 1478.14002

Neumann, Frank (ed.) et al., Homotopy theory and arithmetic geometry – motivic and Diophantine aspects. LMS-CMI research school, London, UK, July 9–13, 2018. Lecture notes. Cham: Springer. Lect. Notes Math. 2292, 11-47 (2021).
PDFBibTeX XMLCite
Full Text: DOI

Homotopy theory and arithmetic geometry – motivic and Diophantine aspects: an introduction. (English) Zbl 1478.14004

Neumann, Frank (ed.) et al., Homotopy theory and arithmetic geometry – motivic and Diophantine aspects. LMS-CMI research school, London, UK, July 9–13, 2018. Lecture notes. Cham: Springer. Lect. Notes Math. 2292, 1-9 (2021).
PDFBibTeX XMLCite
Full Text: DOI

A study of an epidemic SIR model via homotopy analysis method in the sense of Caputo-fractional system. (English) Zbl 1487.34103

N’Guérékata, Gaston M. (ed.) et al., Studies in evolution equations and related topics. Cham: Springer. STEAM-H, Sci. Technol. Eng. Agric. Math. Health, 51-67 (2021).
PDFBibTeX XMLCite
Full Text: DOI

Finding conformal and isometric immersions of surfaces. (English) Zbl 1493.53009

Hoffmann, Tim (ed.) et al., Minimal surfaces: integrable systems and visualisation. M:iv workshops, 2016–19. Cham: Springer. Springer Proc. Math. Stat. 349, 13-33 (2021).
MSC:  53A07 49Q10 57R42
PDFBibTeX XMLCite
Full Text: DOI arXiv

Operations on metric thickenings. (English) Zbl 1487.55006

Spivak, David I. (ed.) et al., Proceedings of the 3rd annual international applied category theory conference 2020, ACT 2020, Cambridge, USA, July 6–10, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 333, 261-275 (2021).
PDFBibTeX XMLCite
Full Text: arXiv Link

Homotopic digital rigid motion: an optimization approach on cellular complexes. (English) Zbl 1484.68265

Lindblad, Joakim (ed.) et al., Discrete geometry and mathematical morphology. First international joint conference, DGMM 2021, Uppsala, Sweden, May 24–27, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12708, 189-201 (2021).
PDFBibTeX XMLCite
Full Text: DOI HAL

A note on representation variety of abelian groups and Reidemeister torsion. (English) Zbl 1483.57029

Ashyralyev, Allaberen (ed.) et al., Functional analysis in interdisciplinary applications II. Collected papers based on the presentations at the mini-symposium, held as part of the fourth international conference on analysis and applied mathematics, ICAAM, September 6–9, 2018. Cham: Springer. Springer Proc. Math. Stat. 351, 171-181 (2021).
MSC:  57Q10
PDFBibTeX XMLCite
Full Text: DOI

Numerical analysis of coupled time-fractional differential equations arising in epidemiological models. (English) Zbl 1472.92214

Mishra, Jyoti (ed.) et al., Mathematical modeling and soft computing in epidemiology. Boca Raton, FL: CRC Press. Inf. Technol. Manag. Oper. Res. Pract., 173-198 (2021).
MSC:  92D30 34A08 65H20
PDFBibTeX XMLCite
Full Text: DOI

A mathematical fractional model to study the hepatitis B virus infection. (English) Zbl 1472.92193

Mishra, Jyoti (ed.) et al., Mathematical modeling and soft computing in epidemiology. Boca Raton, FL: CRC Press. Inf. Technol. Manag. Oper. Res. Pract., 273-290 (2021).
MSC:  92D30 34A08 65H20
PDFBibTeX XMLCite
Full Text: DOI

Fundamental groups and path lifting for algebraic varieties. (English) Zbl 1468.14047

Fernández de Bobadilla, Javier (ed.) et al., Singularities and their interaction with geometry and low dimensional topology. In honor of András Némethi on the occasion of his 60th birthday. Selected papers based on the presentations at the conference “Némethi60: geometry and topology of singularities”, Budapest, Hungary, May 27–31, 2019. Basel: Birkhäuser/Springer. Trends Math., 97-116 (2021).
MSC:  14F35 14A15 14F45
PDFBibTeX XMLCite
Full Text: DOI arXiv

Homotopy analysis method for oscillatory systems with cubic and trigonometric non-linearity. (English) Zbl 1507.65136

Mukherjee, Shaibal (ed.) et al., Computational mathematics, nanoelectronics, and astrophysics. Selected papers based on the presentations at the international conference, CMNA 2018, Indore, India, November 1–3, 2018. Singapore: Springer. Springer Proc. Math. Stat. 342, 25-45 (2021).
MSC:  65L99
PDFBibTeX XMLCite
Full Text: DOI

An efficient approach for the model of thrombin receptor activation mechanism with Mittag-Leffler function. (English) Zbl 1464.34072

Hammouch, Zakia (ed.) et al., Nonlinear analysis: problems, applications and computational methods. Proceedings of the 6th international congress of the Moroccan Society of Applied Mathematics, Beni-Mellal, Morocco, November 7–9, 2019. Cham: Springer. Lect. Notes Netw. Syst. 168, 44-60 (2021).
PDFBibTeX XMLCite
Full Text: DOI

Homotopy reconstruction via the Čech complex and the Vietoris-Rips complex. (English) Zbl 07760183

Cabello, Sergio (ed.) et al., 36th international symposium on computational geometry, SoCG 2020, Zürich, Switzerland (virtual conference), June 23–26, 2020. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 164, Article 54, 19 p. (2020).
MSC:  68U05
PDFBibTeX XMLCite
Full Text: DOI arXiv

Combinatorial properties of self-overlapping curves and interior boundaries. (English) Zbl 07760170

Cabello, Sergio (ed.) et al., 36th international symposium on computational geometry, SoCG 2020, Zürich, Switzerland (virtual conference), June 23–26, 2020. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 164, Article 41, 17 p. (2020).
MSC:  68U05 68U03 68-06
PDFBibTeX XMLCite
Full Text: DOI

Coherence for monoidal groupoids in HoTT. (English) Zbl 07756113

Bezem, Marc (ed.) et al., 25th international conference on types for proofs and programs. TYPES 2019, June 11–14, 2019, Oslo, Norway. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 175, Article 8, 20 p. (2020).
MSC:  03B70 68N30
PDFBibTeX XMLCite
Full Text: DOI

From cubes to twisted cubes via graph morphisms in type theory. (English) Zbl 07756110

Bezem, Marc (ed.) et al., 25th international conference on types for proofs and programs. TYPES 2019, June 11–14, 2019, Oslo, Norway. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 175, Article 5, 18 p. (2020).
MSC:  03B70 68N30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Unifying cubical models of univalent type theory. (English) Zbl 07650827

Fernández, Maribel (ed.) et al., 28th EACSL annual conference on computer science logic, CSL 2020, Barcelona, Spain, January 13–16, 2020. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 152, Article 14, 17 p. (2020).
MSC:  68-XX 03B70
PDFBibTeX XMLCite
Full Text: DOI

Robust numerical tracking of one path of a polynomial homotopy on parallel shared memory computers. (English) Zbl 07635852

Boulier, François (ed.) et al., Computer algebra in scientific computing. 22nd international workshop, CASC 2020, Linz, Austria, September 14–18, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12291, 563-582 (2020).
MSC:  68W30
PDFBibTeX XMLCite
Full Text: DOI arXiv

A numerical approach for computing Euler characteristics of affine varieties. (English) Zbl 1503.65112

Bigatti, Anna Maria (ed.) et al., Mathematical software – ICMS 2020. 7th international conference, Braunschweig, Germany, July 13–16, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12097, 51-60 (2020).
MSC:  65H14 14Q15 14Q65
PDFBibTeX XMLCite
Full Text: DOI

Approximate analytical solutions generalized Lane-Emden-Fowler equations. (English) Zbl 1493.34087

Mladenov, Ivaïlo M. (ed.) et al., Proceedings of the 21st international conference on geometry, integrability and quantization, Varna, Bulgaria, June 3–8, 2019. Sofia: Avangard Prima; Sofia: Bulgarian Academy of Sciences, Institute of Biophysics and Biomedical Engineering. Geom. Integrability Quantization 21, 302-309 (2020).
PDFBibTeX XMLCite
Full Text: DOI

Affine-contractor approach to handle nonlinear dynamical problems in uncertain environment. (English) Zbl 1521.65035

Chakraverty, Snehashish (ed.), Mathematical methods in interdisciplinary sciences. Hoboken, NJ: John Wiley & Sons. 215-237 (2020).
PDFBibTeX XMLCite
Full Text: DOI

Higher Auslander algebras of type \(\mathbb{A}\) and the higher Waldhausen \(\mathsf{S}\)-constructions. (English) Zbl 1456.18011

Šťovíček, Jan (ed.) et al., Representation theory and beyond. Workshop and 18th international conference on representations of algebras, ICRA 2018, Prague, Czech Republic, August 13–17, 2018. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 758, 249-265 (2020).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Higher symmetries in abstract stable homotopy theories. (English) Zbl 1469.55015

Šťovíček, Jan (ed.) et al., Representation theory and beyond. Workshop and 18th international conference on representations of algebras, ICRA 2018, Prague, Czech Republic, August 13–17, 2018. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 758, 91-193 (2020).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Polyhedral products and features of their homotopy theory. (English) Zbl 1476.55024

Miller, Haynes (ed.), Handbook of homotopy theory. Boca Raton, FL: CRC Press. CRC Press/Chapman Hall Handb. Math. Ser., 103-144 (2020).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Numerical equality tests for rational maps and signatures of curves. (English) Zbl 07300066

Mantzaflaris, Angelos (ed.), Proceedings of the 45th international symposium on symbolic and algebraic computation, ISSAC ’20, Kalamata, Greece, July 20–23, 2020. New York, NY: Association for Computing Machinery (ACM). 154-161 (2020).
MSC:  68W30
PDFBibTeX XMLCite
Full Text: DOI

Constructing higher inductive types as groupoid quotients. (English) Zbl 1498.03036

Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 929-943 (2020).
MSC:  03B38 18N10 55U35
PDFBibTeX XMLCite
Full Text: DOI

A constructive model of directed univalence in bicubical sets. (English) Zbl 1498.03038

Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 915-928 (2020).
PDFBibTeX XMLCite
Full Text: DOI

Sequential colimits in homotopy type theory. (English) Zbl 1498.03035

Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 845-858 (2020).
MSC:  03B38 55U35 18N45
PDFBibTeX XMLCite
Full Text: DOI

Partial univalence in \(n\)-truncated type theory. (English) Zbl 1498.03034

Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 807-819 (2020).
MSC:  03B38 55U35 18N45
PDFBibTeX XMLCite
Full Text: DOI arXiv

Coherence via well-foundedness. Taming set-quotients in homotopy type theory. (English) Zbl 1498.03033

Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 662-675 (2020).
MSC:  03B38 55U35 20E05
PDFBibTeX XMLCite
Full Text: DOI arXiv

The integers as a higher inductive type. (English) Zbl 1498.03028

Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 67-73 (2020).
MSC:  03B38 55U35 18N45
PDFBibTeX XMLCite
Full Text: DOI arXiv

A higher structure identity principle. (English) Zbl 1498.03027

Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 53-66 (2020).
PDFBibTeX XMLCite
Full Text: DOI arXiv

IFOHAM – a generalization of the Picard-Lindelöf iteration method. (IFOHAM – a generalization of the Picard-Lindelöff iteration method.) (English) Zbl 1454.65054

Pinelas, Sandra (ed.) et al., Differential and difference equations with applications. Selected papers based on the presentations at the fourth international conference, ICDDEA 2019, Lisbon, Portugal, July 1–5, 2019. Cham: Springer. Springer Proc. Math. Stat. 333, 497-516 (2020).
MSC:  65L99 34C15 65L05
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software