Nasibullin, R. G. Hardy-type inequalities for the Jacobi weight with applications. (English. Russian original) Zbl 07637847 Sib. Math. J. 63, No. 6, 1121-1139 (2022); translation from Sib. Mat. Zh. 63, No. 6, 1313-1333 (2022). MSC: 30-XX 26Dxx 30Fxx 30Cxx PDF BibTeX XML Cite \textit{R. G. Nasibullin}, Sib. Math. J. 63, No. 6, 1121--1139 (2022; Zbl 07637847); translation from Sib. Mat. Zh. 63, No. 6, 1313--1333 (2022) Full Text: DOI OpenURL
Deniz, E.; Kanas, S.; Orhan, H. Univalence criteria and quasiconformal extension of a general integral operator. (English) Zbl 07600596 Ukr. Math. J. 74, No. 1, 27-39 (2022) and Ukr. Mat. Zh. 74, No. 1, 24-35 (2022). MSC: 30C45 30C62 PDF BibTeX XML Cite \textit{E. Deniz} et al., Ukr. Math. J. 74, No. 1, 27--39 (2022; Zbl 07600596) Full Text: DOI OpenURL
Kudryavtseva, O. S.; Solodov, A. P. Generalization of the Landau and Becker-Pommerenke inequalities. (English. Russian original) Zbl 07594422 Dokl. Math. 106, No. 1, 251-253 (2022); translation from Dokl. Ross. Akad. Nauk, Mat. Inform. Protsessy Upr. 505, 46-49 (2022). MSC: 30C55 PDF BibTeX XML Cite \textit{O. S. Kudryavtseva} and \textit{A. P. Solodov}, Dokl. Math. 106, No. 1, 251--253 (2022; Zbl 07594422); translation from Dokl. Ross. Akad. Nauk, Mat. Inform. Protsessy Upr. 505, 46--49 (2022) Full Text: DOI OpenURL
Abdulhadi, Zayid; Hajj, Layan El On the univalence of poly-analytic functions. (English) Zbl 1486.30129 Comput. Methods Funct. Theory 22, No. 1, 169-181 (2022). MSC: 30G20 PDF BibTeX XML Cite \textit{Z. Abdulhadi} and \textit{L. E. Hajj}, Comput. Methods Funct. Theory 22, No. 1, 169--181 (2022; Zbl 1486.30129) Full Text: DOI arXiv OpenURL
Beig, Subzar; Ravichandran, Vaithiyanathan Directional convexity of combinations of harmonic half-plane and strip mappings. (English) Zbl 1486.31001 Commun. Korean Math. Soc. 37, No. 1, 125-136 (2022). MSC: 31A05 30C45 PDF BibTeX XML Cite \textit{S. Beig} and \textit{V. Ravichandran}, Commun. Korean Math. Soc. 37, No. 1, 125--136 (2022; Zbl 1486.31001) Full Text: DOI arXiv OpenURL
Bordg, Anthony The interpretation lifting theorem for C-systems. (English) Zbl 1483.18003 Theory Appl. Categ. 38, 214-231 (2022). Reviewer: Sergejs Solovjovs (Praha) MSC: 18C10 18C50 18F20 PDF BibTeX XML Cite \textit{A. Bordg}, Theory Appl. Categ. 38, 214--231 (2022; Zbl 1483.18003) Full Text: arXiv Link OpenURL
Pescar, V.; Sasu, A. On an integral operator. (English) Zbl 07648819 Acta Univ. Apulensis, Math. Inform. 68, 99-107 (2021). MSC: 30C45 PDF BibTeX XML Cite \textit{V. Pescar} and \textit{A. Sasu}, Acta Univ. Apulensis, Math. Inform. 68, 99--107 (2021; Zbl 07648819) Full Text: DOI OpenURL
Tabareau, Nicolas; Tanter, Éric; Sozeau, Matthieu The marriage of univalence and parametricity. (English) Zbl 1499.68379 J. ACM 68, No. 1, Paper No. 5, 44 p. (2021). MSC: 68V15 03B35 03B38 PDF BibTeX XML Cite \textit{N. Tabareau} et al., J. ACM 68, No. 1, Paper No. 5, 44 p. (2021; Zbl 1499.68379) Full Text: DOI arXiv OpenURL
Coquand, Thierry; Ruch, Fabian; Sattler, Christian Constructive sheaf models of type theory. (English) Zbl 07547339 Math. Struct. Comput. Sci. 31, No. 9, 979-1002 (2021). MSC: 03B38 PDF BibTeX XML Cite \textit{T. Coquand} et al., Math. Struct. Comput. Sci. 31, No. 9, 979--1002 (2021; Zbl 07547339) Full Text: DOI arXiv OpenURL
Altenkirch, Thorsten Martin Hofmann’s contributions to type theory: groupoids and univalence. (English) Zbl 1496.03003 Math. Struct. Comput. Sci. 31, No. 9, 953-957 (2021). MSC: 03-03 01A70 03B38 PDF BibTeX XML Cite \textit{T. Altenkirch}, Math. Struct. Comput. Sci. 31, No. 9, 953--957 (2021; Zbl 1496.03003) Full Text: DOI OpenURL
Mustafa, Nizami; Korkmaz, Semra Univalence criteria of the certain integral operators. (English) Zbl 1489.30021 Commun. Fac. Sci. Univ. Ank., Sér. A1, Math. Stat. 70, No. 1, 216-228 (2021). MSC: 30C45 30A10 33C05 33C20 PDF BibTeX XML Cite \textit{N. Mustafa} and \textit{S. Korkmaz}, Commun. Fac. Sci. Univ. Ank., Sér. A1, Math. Stat. 70, No. 1, 216--228 (2021; Zbl 1489.30021) Full Text: DOI OpenURL
Park, Ji Hyang; Srivastava, Hari Mohan; Cho, Nak Eun Univalence and convexity conditions for certain integral operators associated with the Lommel function of the first kind. (English) Zbl 07536396 AIMS Math. 6, No. 10, 11380-11402 (2021). MSC: 30C45 33C10 PDF BibTeX XML Cite \textit{J. H. Park} et al., AIMS Math. 6, No. 10, 11380--11402 (2021; Zbl 07536396) Full Text: DOI OpenURL
Cristea, Mihai A note on the injectivity of some Sobolev mappings on non-convex domains. (English) Zbl 07523855 Math. Rep., Buchar. 23(73), No. 1-2, 123-129 (2021). MSC: 26B10 30C45 PDF BibTeX XML Cite \textit{M. Cristea}, Math. Rep., Buchar. 23(73), No. 1--2, 123--129 (2021; Zbl 07523855) OpenURL
Ignaciuk, Szymon; Parol, Maciej A gap condition for the zeros of a certain class of finite products. (English) Zbl 1499.30097 Proc. Rom. Acad., Ser. A, Math. Phys. Tech. Sci. Inf. Sci. 22, No. 1, 19-24 (2021). MSC: 30C45 PDF BibTeX XML Cite \textit{S. Ignaciuk} and \textit{M. Parol}, Proc. Rom. Acad., Ser. A, Math. Phys. Tech. Sci. Inf. Sci. 22, No. 1, 19--24 (2021; Zbl 1499.30097) OpenURL
Solodov, Aleksei P. The exact domain of univalence on the class of holomorphic maps of a disc into itself with an interior and a boundary fixed points. (English. Russian original) Zbl 1486.30062 Izv. Math. 85, No. 5, 1008-1035 (2021); translation from Izv. Ross. Akad. Nauk, Ser. Mat. 85, No. 5, 190-218 (2021). MSC: 30C55 30C75 PDF BibTeX XML Cite \textit{A. P. Solodov}, Izv. Math. 85, No. 5, 1008--1035 (2021; Zbl 1486.30062); translation from Izv. Ross. Akad. Nauk, Ser. Mat. 85, No. 5, 190--218 (2021) Full Text: DOI OpenURL
Çetin, Nursel A new complex generalized Bernstein-Schurer operator. (English) Zbl 1488.30219 Carpathian J. Math. 37, No. 1, 81-89 (2021). MSC: 30E10 41A25 41A28 30C45 PDF BibTeX XML Cite \textit{N. Çetin}, Carpathian J. Math. 37, No. 1, 81--89 (2021; Zbl 1488.30219) Full Text: DOI OpenURL
Bărbatu, Camelia; Breaz, Daniel Univalence criteria for a general integral operator. (English) Zbl 1488.30045 Carpathian J. Math. 37, No. 1, 23-33 (2021). MSC: 30C45 30C75 PDF BibTeX XML Cite \textit{C. Bărbatu} and \textit{D. Breaz}, Carpathian J. Math. 37, No. 1, 23--33 (2021; Zbl 1488.30045) Full Text: DOI OpenURL
Kudryavtseva, O. S. Inequality of Schwarz type for holomorphic self-maps of a disk with fixed points. (English. Russian original) Zbl 1476.30083 Russ. Math. 65, No. 7, 35-42 (2021); translation from Izv. Vyssh. Uchebn. Zaved., Mat. 2021, No. 7, 43-51 (2021). MSC: 30C55 PDF BibTeX XML Cite \textit{O. S. Kudryavtseva}, Russ. Math. 65, No. 7, 35--42 (2021; Zbl 1476.30083); translation from Izv. Vyssh. Uchebn. Zaved., Mat. 2021, No. 7, 43--51 (2021) Full Text: DOI OpenURL
Altenkirch, Thorsten; Boulier, Simon; Kaposi, Ambrus; Sattler, Christian; Sestini, Filippo Constructing a universe for the setoid model. (English) Zbl 07410416 Kiefer, Stefan (ed.) et al., Foundations of software science and computation structures. 24th international conference, FOSSACS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12650, 1-21 (2021). MSC: 68Nxx 68Qxx PDF BibTeX XML Cite \textit{T. Altenkirch} et al., Lect. Notes Comput. Sci. 12650, 1--21 (2021; Zbl 07410416) Full Text: DOI OpenURL
Hötzel Escardó, Martín Injective types in univalent mathematics. (English) Zbl 1478.18025 Math. Struct. Comput. Sci. 31, No. 1, 89-111 (2021). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18N45 03B38 PDF BibTeX XML Cite \textit{M. Hötzel Escardó}, Math. Struct. Comput. Sci. 31, No. 1, 89--111 (2021; Zbl 1478.18025) Full Text: DOI arXiv OpenURL
Efraimidis, Iason Criteria for univalence and quasiconformal extension for harmonic mappings on planar domains. (English) Zbl 1475.30047 Ann. Fenn. Math. 46, No. 2, 1123-1134 (2021). MSC: 30C62 31A05 PDF BibTeX XML Cite \textit{I. Efraimidis}, Ann. Fenn. Math. 46, No. 2, 1123--1134 (2021; Zbl 1475.30047) Full Text: DOI arXiv OpenURL
Kapulkin, Krzysztof; Lumsdaine, Peter Lefanu The simplicial model of univalent foundations (after Voevodsky). (English) Zbl 1471.18025 J. Eur. Math. Soc. (JEMS) 23, No. 6, 2071-2126 (2021). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18N45 18C50 55U10 55U35 PDF BibTeX XML Cite \textit{K. Kapulkin} and \textit{P. L. Lumsdaine}, J. Eur. Math. Soc. (JEMS) 23, No. 6, 2071--2126 (2021; Zbl 1471.18025) Full Text: DOI arXiv OpenURL
Nasibullin, Ramil Avkhadiev-Backer type \(p\)-valent conditions for biharmonic functions. (English) Zbl 1468.31004 Anal. Math. Phys. 11, No. 2, Paper No. 80, 23 p. (2021). MSC: 31A30 31A05 PDF BibTeX XML Cite \textit{R. Nasibullin}, Anal. Math. Phys. 11, No. 2, Paper No. 80, 23 p. (2021; Zbl 1468.31004) Full Text: DOI OpenURL
Kazantsev, A. V.; Kinder, M. I. Avkhadiev-Lehto type constants in the study of the Gakhov class. (English. Russian original) Zbl 1469.30038 Russ. Math. 65, No. 3, 43-50 (2021); translation from Izv. Vyssh. Uchebn. Zaved., Mat. 2021, No. 3, 47-55 (2021). MSC: 30C55 30C35 PDF BibTeX XML Cite \textit{A. V. Kazantsev} and \textit{M. I. Kinder}, Russ. Math. 65, No. 3, 43--50 (2021; Zbl 1469.30038); translation from Izv. Vyssh. Uchebn. Zaved., Mat. 2021, No. 3, 47--55 (2021) Full Text: DOI OpenURL
Luo, Qinghong; Ponnusamy, Saminathan One parameter family of univalent polyharmonic mappings. (English) Zbl 1462.31006 Bull. Malays. Math. Sci. Soc. (2) 44, No. 2, 839-856 (2021). MSC: 31A30 PDF BibTeX XML Cite \textit{Q. Luo} and \textit{S. Ponnusamy}, Bull. Malays. Math. Sci. Soc. (2) 44, No. 2, 839--856 (2021; Zbl 1462.31006) Full Text: DOI OpenURL
Nunokawa, Mamoru; Sokół, Janusz On an extension of Ozaki’s condition. (English) Zbl 1462.30035 Georgian Math. J. 28, No. 2, 291-295 (2021). MSC: 30C45 30C80 PDF BibTeX XML Cite \textit{M. Nunokawa} and \textit{J. Sokół}, Georgian Math. J. 28, No. 2, 291--295 (2021; Zbl 1462.30035) Full Text: DOI OpenURL
Streicher, Thomas; Weinberger, Jonathan Simplicial sets inside cubical sets. (English) Zbl 1467.03007 Theory Appl. Categ. 37, 276-286 (2021). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 03B38 03G30 18F20 18N45 PDF BibTeX XML Cite \textit{T. Streicher} and \textit{J. Weinberger}, Theory Appl. Categ. 37, 276--286 (2021; Zbl 1467.03007) Full Text: arXiv Link OpenURL
Zhang, Peng-Fei; Dong, Xin-Han Starlikeness and convexity of Cauchy transforms on regular polygons. (English) Zbl 1462.30068 Bull. Aust. Math. Soc. 103, No. 2, 291-302 (2021). MSC: 30E20 30C45 PDF BibTeX XML Cite \textit{P.-F. Zhang} and \textit{X.-H. Dong}, Bull. Aust. Math. Soc. 103, No. 2, 291--302 (2021; Zbl 1462.30068) Full Text: DOI OpenURL
Bărbatu, Camelia; Breaz, Daniel Univalence criteria for a general integral operator. (English) Zbl 1499.30062 Filomat 34, No. 7, 2225-2234 (2020). MSC: 30C45 PDF BibTeX XML Cite \textit{C. Bărbatu} and \textit{D. Breaz}, Filomat 34, No. 7, 2225--2234 (2020; Zbl 1499.30062) Full Text: DOI OpenURL
Din, Muhey U.; Raza, Mohsan; Deniz, Erhan Univalence criteria for general integral operators involving normalized Dini functions. (English) Zbl 1499.30077 Filomat 34, No. 7, 2203-2216 (2020). MSC: 30C45 33C10 PDF BibTeX XML Cite \textit{M. U. Din} et al., Filomat 34, No. 7, 2203--2216 (2020; Zbl 1499.30077) Full Text: DOI OpenURL
Sheremeta, Myroslav On the univalence radii of successive Gelfond-Leont’ev-Sǎlǎgean and Gelfond-Leont’ev- derivatives. (English) Zbl 1499.30300 Visn. L’viv. Univ., Ser. Mekh.-Mat. 90, 84-91 (2020). MSC: 30D99 PDF BibTeX XML Cite \textit{M. Sheremeta}, Visn. L'viv. Univ., Ser. Mekh.-Mat. 90, 84--91 (2020; Zbl 1499.30300) Full Text: DOI OpenURL
Bărbatu, Camelia; Breaz, Daniel New univalence criteria for an integral operator with Mocanu’s and Şerb’s lemma. (English) Zbl 1488.30044 Carpathian J. Math. 36, No. 3, 373-379 (2020). MSC: 30C45 30C75 PDF BibTeX XML Cite \textit{C. Bărbatu} and \textit{D. Breaz}, Carpathian J. Math. 36, No. 3, 373--379 (2020; Zbl 1488.30044) Full Text: DOI OpenURL
Pescar, Virgil; Sasu, Adela On univalence of an integral operator. (English) Zbl 1488.30119 Bull. Transilv. Univ. Brașov, Ser. III, Math. Inform. Phys. 13(62), No. 2, 661-666 (2020). MSC: 30C45 PDF BibTeX XML Cite \textit{V. Pescar} and \textit{A. Sasu}, Bull. Transilv. Univ. Brașov, Ser. III, Math. Inform. Phys. 13(62), No. 2, 661--666 (2020; Zbl 1488.30119) Full Text: DOI OpenURL
Bărbatu, Camelia; Breaz, Daniel The univalence criteria for a general integral operator. (English) Zbl 1488.30043 An. Univ. Oradea, Fasc. Mat. 27, No. 2, 101-108 (2020). MSC: 30C45 30C75 PDF BibTeX XML Cite \textit{C. Bărbatu} and \textit{D. Breaz}, An. Univ. Oradea, Fasc. Mat. 27, No. 2, 101--108 (2020; Zbl 1488.30043) OpenURL
Bărbatu, C.; Breaz, D. New criteria for univalence of a general integral operator. (English) Zbl 1474.30057 Acta Univ. Apulensis, Math. Inform. 62, 29-41 (2020). MSC: 30C45 30C75 PDF BibTeX XML Cite \textit{C. Bărbatu} and \textit{D. Breaz}, Acta Univ. Apulensis, Math. Inform. 62, 29--41 (2020; Zbl 1474.30057) OpenURL
Nasibullin, Ramil G.; Shafigullin, Ilnar K. Avkhadiev-Becker type \(p\)-valent conditions for harmonic mappings of the unit disk and its exterior. (English) Zbl 1488.30155 Math. Rep., Buchar. 22(72), No. 1, 59-71 (2020). Reviewer: Yusuf Avci (İstanbul) MSC: 30C55 PDF BibTeX XML Cite \textit{R. G. Nasibullin} and \textit{I. K. Shafigullin}, Math. Rep., Buchar. 22(72), No. 1, 59--71 (2020; Zbl 1488.30155) OpenURL
Ignaciuk, Sz.; Parol, M. Zeros of complex polynomials and Kaplan classes. (English) Zbl 1474.30025 Anal. Math. 46, No. 4, 769-779 (2020). Reviewer: Yusuf Avci (Istanbul) MSC: 30C10 30C15 30C45 30C55 PDF BibTeX XML Cite \textit{Sz. Ignaciuk} and \textit{M. Parol}, Anal. Math. 46, No. 4, 769--779 (2020; Zbl 1474.30025) Full Text: DOI OpenURL
Zhang, Peng-Fei; Dong, Xin-Han Starlikeness and convexity of Cauchy transform on equilateral triangle. (English) Zbl 1462.30042 Complex Var. Elliptic Equ. 65, No. 9, 1590-1600 (2020). MSC: 30C45 30E20 PDF BibTeX XML Cite \textit{P.-F. Zhang} and \textit{X.-H. Dong}, Complex Var. Elliptic Equ. 65, No. 9, 1590--1600 (2020; Zbl 1462.30042) Full Text: DOI OpenURL
Adamowicz, Tomasz; Jääskeläinen, Jarmo; Koski, Aleksis The Radó-Kneser-Choquet theorem for \(p\)-harmonic mappings between Riemannian surfaces. (English) Zbl 1460.35119 Rev. Mat. Iberoam. 36, No. 6, 1779-1834 (2020). MSC: 35J47 58E20 35J70 35J92 30F99 PDF BibTeX XML Cite \textit{T. Adamowicz} et al., Rev. Mat. Iberoam. 36, No. 6, 1779--1834 (2020; Zbl 1460.35119) Full Text: DOI arXiv OpenURL
Kudryavtseva, Olga S.; Solodov, Alekseĭ P. Asymptotically sharp two-sided estimate for domains of univalence of holomorphic self-maps of a disc with an invariant diameter. (English. Russian original) Zbl 1461.30041 Sb. Math. 211, No. 11, 1592-1611 (2020); translation from Mat. Sb. 211, No. 11, 96-117 (2020). MSC: 30C45 30C55 PDF BibTeX XML Cite \textit{O. S. Kudryavtseva} and \textit{A. P. Solodov}, Sb. Math. 211, No. 11, 1592--1611 (2020; Zbl 1461.30041); translation from Mat. Sb. 211, No. 11, 96--117 (2020) Full Text: DOI OpenURL
Weaver, Matthew Z.; Licata, Daniel R. 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). MSC: 03B38 55U35 18N45 03F65 PDF BibTeX XML Cite \textit{M. Z. Weaver} and \textit{D. R. Licata}, in: 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; Zbl 1498.03038) Full Text: DOI OpenURL
Sattler, Christian; Vezzosi, Andrea 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 PDF BibTeX XML Cite \textit{C. Sattler} and \textit{A. Vezzosi}, in: 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; Zbl 1498.03034) Full Text: DOI arXiv OpenURL
Solodov, A. P. Strengthening of Landau’s theorem for holomorphic self-mappings of a disk with fixed points. (English. Russian original) Zbl 1451.30043 Math. Notes 108, No. 4, 626-628 (2020); translation from Mat. Zametki 108, No. 4, 638-640 (2020). MSC: 30C55 PDF BibTeX XML Cite \textit{A. P. Solodov}, Math. Notes 108, No. 4, 626--628 (2020; Zbl 1451.30043); translation from Mat. Zametki 108, No. 4, 638--640 (2020) Full Text: DOI OpenURL
Sugawa, Toshiyuki Aharonov invariants revisited. (English) Zbl 1441.30062 Anal. Math. Phys. 10, No. 3, Paper No. 29, 12 p. (2020). MSC: 30F45 30C55 PDF BibTeX XML Cite \textit{T. Sugawa}, Anal. Math. Phys. 10, No. 3, Paper No. 29, 12 p. (2020; Zbl 1441.30062) Full Text: DOI OpenURL
Nunokawa, Mamoru; Cho, Nak Eun; Kwon, Oh Sang; Sokół, Janusz Some sufficient conditions for univalence and close-to-convexity. (English) Zbl 1439.30031 J. Appl. Anal. 26, No. 1, 91-95 (2020). MSC: 30C45 30C55 PDF BibTeX XML Cite \textit{M. Nunokawa} et al., J. Appl. Anal. 26, No. 1, 91--95 (2020; Zbl 1439.30031) Full Text: DOI OpenURL
Amaba, Takafumi; Friedrich, Roland; Murayama, Takuya Univalence and holomorphic extension of the solution to \(\omega\)-controlled Loewner-Kufarev equations. (English) Zbl 1441.93118 J. Differ. Equations 269, No. 3, 2697-2704 (2020). MSC: 93C20 30C99 35C10 35Q99 PDF BibTeX XML Cite \textit{T. Amaba} et al., J. Differ. Equations 269, No. 3, 2697--2704 (2020; Zbl 1441.93118) Full Text: DOI arXiv OpenURL
Ladyman, James; Presnell, Stuart The hole argument in homotopy type theory. (English) Zbl 1436.83009 Found. Phys. 50, No. 4, 319-329 (2020). MSC: 83C05 83E05 00A30 PDF BibTeX XML Cite \textit{J. Ladyman} and \textit{S. Presnell}, Found. Phys. 50, No. 4, 319--329 (2020; Zbl 1436.83009) Full Text: DOI OpenURL
Christensen, J. Daniel; Peck Opie, Morgan; Rijke, Egbert; Scoccola, Luis Nerio Localization in homotopy type theory. (English) Zbl 1439.18023 High. Struct. 4, No. 1, 1-32 (2020). MSC: 18N45 18E35 03B38 55P60 PDF BibTeX XML Cite \textit{J. D. Christensen} et al., High. Struct. 4, No. 1, 1--32 (2020; Zbl 1439.18023) Full Text: arXiv OpenURL
Bhowmik, Bappaditya; Majee, Santana On harmonic univalent mappings with nonzero pole. (English) Zbl 1430.31001 J. Math. Anal. Appl. 482, No. 1, Article ID 123505, 13 p. (2020). MSC: 31A05 PDF BibTeX XML Cite \textit{B. Bhowmik} and \textit{S. Majee}, J. Math. Anal. Appl. 482, No. 1, Article ID 123505, 13 p. (2020; Zbl 1430.31001) Full Text: DOI OpenURL
Uemura, Taichi Cubical assemblies, a univalent and impredicative universe and a failure of propositional resizing. (English) Zbl 07561492 Dybjer, Peter (ed.) et al., 24th international conference on types for proofs and programs, TYPES 2018, Braga, Portugal, June 18–21, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 130, Article 7, 20 p. (2019). MSC: 03B70 68N30 PDF BibTeX XML Cite \textit{T. Uemura}, LIPIcs -- Leibniz Int. Proc. Inform. 130, Article 7, 20 p. (2019; Zbl 07561492) Full Text: DOI arXiv OpenURL
Coquand, Thierry; Huber, Simon; Sattler, Christian Homotopy canonicity for cubical type theory. (English) Zbl 07559277 Geuvers, Herman (ed.), 4th international conference on formal structures for computation and deduction, FSCD 2019, Dortmund, Germany, June 24–30, 2019. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 131, Article 11, 23 p. (2019). MSC: 03B70 68Qxx PDF BibTeX XML Cite \textit{T. Coquand} et al., LIPIcs -- Leibniz Int. Proc. Inform. 131, Article 11, 23 p. (2019; Zbl 07559277) Full Text: DOI OpenURL
Bucur, Roberta; Breaz, Daniel Univalence of certain integral operators involving \(q\)-Bessel functions. (English) Zbl 1499.30066 Filomat 33, No. 9, 2673-2682 (2019). MSC: 30C45 33C10 05A30 PDF BibTeX XML Cite \textit{R. Bucur} and \textit{D. Breaz}, Filomat 33, No. 9, 2673--2682 (2019; Zbl 1499.30066) Full Text: DOI OpenURL
Pescar, Virgil; Sasu, Adela The univalence of an integral operator. (English) Zbl 1488.30118 Bull. Transilv. Univ. Brașov, Ser. III, Math. Inform. Phys. 12(61), No. 2, 429-434 (2019). MSC: 30C45 PDF BibTeX XML Cite \textit{V. Pescar} and \textit{A. Sasu}, Bull. Transilv. Univ. Brașov, Ser. III, Math. Inform. Phys. 12(61), No. 2, 429--434 (2019; Zbl 1488.30118) Full Text: DOI OpenURL
Aldea, Constantin Lucian; Pescar, Virgil On univalence of a new integral operator. (English) Zbl 1488.30026 Bull. Transilv. Univ. Brașov, Ser. III, Math. Inform. Phys. 12(61), No. 2, 213-220 (2019). MSC: 30C45 PDF BibTeX XML Cite \textit{C. L. Aldea} and \textit{V. Pescar}, Bull. Transilv. Univ. Brașov, Ser. III, Math. Inform. Phys. 12(61), No. 2, 213--220 (2019; Zbl 1488.30026) Full Text: DOI OpenURL
Çetin, Nursel; Başcanbaz-Tunca, Gülen Approximation by a new complex generalized Bernstein operator. (English) Zbl 1488.30221 An. Univ. Oradea, Fasc. Mat. 26, No. 2, 127-139 (2019). MSC: 30E10 41A25 41A28 30C45 PDF BibTeX XML Cite \textit{N. Çetin} and \textit{G. Başcanbaz-Tunca}, An. Univ. Oradea, Fasc. Mat. 26, No. 2, 127--139 (2019; Zbl 1488.30221) OpenURL
Bărbatu, C.; Breaz, D. New univalence criteria for an integral operator with Mocanu’s and Şerb’s Lemma. (English) Zbl 1474.30056 Acta Univ. Apulensis, Math. Inform. 59, 101-109 (2019). MSC: 30C45 PDF BibTeX XML Cite \textit{C. Bărbatu} and \textit{D. Breaz}, Acta Univ. Apulensis, Math. Inform. 59, 101--109 (2019; Zbl 1474.30056) Full Text: DOI OpenURL
Ahuja, Om P.; Beig, Subzar; Ravichandran, V. Univalent harmonic functions generated by Ruscheweyh derivatives of analytic functions. (English) Zbl 1474.30041 Acta Univ. Apulensis, Math. Inform. 59, 13-24 (2019). MSC: 30C45 PDF BibTeX XML Cite \textit{O. P. Ahuja} et al., Acta Univ. Apulensis, Math. Inform. 59, 13--24 (2019; Zbl 1474.30041) Full Text: DOI OpenURL
Faisal, M. I. The study of univalence criteria linked with Pescar’s-typed univalence criteria. (English) Zbl 1452.30009 J. Adv. Math. Stud. 12, No. 3, 284-288 (2019). MSC: 30C45 30C55 PDF BibTeX XML Cite \textit{M. I. Faisal}, J. Adv. Math. Stud. 12, No. 3, 284--288 (2019; Zbl 1452.30009) OpenURL
Graf, S. Yu. Nehari type theorems and uniform local univalence of harmonic mappings. (English. Russian original) Zbl 1442.31002 Russ. Math. 63, No. 12, 49-60 (2019); translation from Izv. Vyssh. Uchebn. Zaved., Mat. 2019, No. 12, 57-70 (2019). MSC: 31A05 53A10 PDF BibTeX XML Cite \textit{S. Yu. Graf}, Russ. Math. 63, No. 12, 49--60 (2019; Zbl 1442.31002); translation from Izv. Vyssh. Uchebn. Zaved., Mat. 2019, No. 12, 57--70 (2019) Full Text: DOI OpenURL
Altenkirch, Thorsten; Boulier, Simon; Kaposi, Ambrus; Tabareau, Nicolas Setoid type theory – a syntactic translation. (English) Zbl 1434.03034 Hutton, Graham (ed.), Mathematics of program construction. 13th international conference, MPC 2019, Porto, Portugal, October 7–9, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11825, 155-196 (2019). MSC: 03B38 03B40 03F25 PDF BibTeX XML Cite \textit{T. Altenkirch} et al., Lect. Notes Comput. Sci. 11825, 155--196 (2019; Zbl 1434.03034) Full Text: DOI OpenURL
Muir, Stacey Convolutions of normalized harmonic mappings. (English) Zbl 1480.31002 Comput. Methods Funct. Theory 19, No. 4, 583-599 (2019). MSC: 31A05 PDF BibTeX XML Cite \textit{S. Muir}, Comput. Methods Funct. Theory 19, No. 4, 583--599 (2019; Zbl 1480.31002) Full Text: DOI OpenURL
Kudryavtseva, O. S.; Solodov, A. P. Two-sided estimate of univalence domains for holomorphic mappings of the unit disk into itself keeping its diameter. (English. Russian original) Zbl 1433.30061 Russ. Math. 63, No. 7, 80-83 (2019); translation from Izv. Vyssh. Uchebn. Zaved., Mat. 2019, No. 7, 91-95 (2019). MSC: 30C55 PDF BibTeX XML Cite \textit{O. S. Kudryavtseva} and \textit{A. P. Solodov}, Russ. Math. 63, No. 7, 80--83 (2019; Zbl 1433.30061); translation from Izv. Vyssh. Uchebn. Zaved., Mat. 2019, No. 7, 91--95 (2019) Full Text: DOI OpenURL
Sevodin, M. A. Construction of sufficient univalent conditions in domains convex in a sector of directions. (English) Zbl 1433.30063 Lobachevskii J. Math. 40, No. 9, 1417-1422 (2019). MSC: 30C62 30C55 PDF BibTeX XML Cite \textit{M. A. Sevodin}, Lobachevskii J. Math. 40, No. 9, 1417--1422 (2019; Zbl 1433.30063) Full Text: DOI OpenURL
Ignaciuk, Szymon; Parol, Maciej Criteria of univalence for a certain integral operator. (English) Zbl 1433.30035 Ann. Univ. Mariae Curie-Skłodowska, Sect. A 73, No. 1, 27-31 (2019). MSC: 30C45 30C55 PDF BibTeX XML Cite \textit{S. Ignaciuk} and \textit{M. Parol}, Ann. Univ. Mariae Curie-Skłodowska, Sect. A 73, No. 1, 27--31 (2019; Zbl 1433.30035) Full Text: DOI OpenURL
Çetin, Nursel A new generalization of complex Stancu operators. (English) Zbl 1427.30063 Math. Methods Appl. Sci. 42, No. 16, 5582-5594 (2019). MSC: 30E10 41A25 41A28 30C45 PDF BibTeX XML Cite \textit{N. Çetin}, Math. Methods Appl. Sci. 42, No. 16, 5582--5594 (2019; Zbl 1427.30063) Full Text: DOI OpenURL
Ladyman, James; Presnell, Stuart Universes and univalence in homotopy type theory. (English) Zbl 07124569 Rev. Symb. Log. 12, No. 3, 426-455 (2019). MSC: 03-XX PDF BibTeX XML Cite \textit{J. Ladyman} and \textit{S. Presnell}, Rev. Symb. Log. 12, No. 3, 426--455 (2019; Zbl 07124569) Full Text: DOI OpenURL
Bărbatu, C.; Breaz, D. The univalence conditions for a general integral operator. (English) Zbl 1438.30034 Acta Univ. Apulensis, Math. Inform. 57, 133-145 (2019). MSC: 30C45 PDF BibTeX XML Cite \textit{C. Bărbatu} and \textit{D. Breaz}, Acta Univ. Apulensis, Math. Inform. 57, 133--145 (2019; Zbl 1438.30034) OpenURL
Kudryavtseva, Ol’ga Sergeevna; Solodov, Alekseĭ Petrovich Two-sided estimates for domains of univalence for classes of holomorphic self-maps of a disc with two fixed points. (English. Russian original) Zbl 1425.30024 Sb. Math. 210, No. 7, 1019-1042 (2019); translation from Mat. Sb. 210, No. 7, 120-144 (2019). MSC: 30C55 PDF BibTeX XML Cite \textit{O. S. Kudryavtseva} and \textit{A. P. Solodov}, Sb. Math. 210, No. 7, 1019--1042 (2019; Zbl 1425.30024); translation from Mat. Sb. 210, No. 7, 120--144 (2019) Full Text: DOI OpenURL
Sheremeta, M. M. Locally univalence of Dirichlet series satisfying a linear differential equation of second order with exponential coefficients. (English) Zbl 1428.30005 Mat. Stud. 51, No. 2, 152-158 (2019). MSC: 30B50 34M05 PDF BibTeX XML Cite \textit{M. M. Sheremeta}, Mat. Stud. 51, No. 2, 152--158 (2019; Zbl 1428.30005) Full Text: DOI OpenURL
Bezem, Marc; Coquand, Thierry; Huber, Simon The univalence axiom in cubical sets. (English) Zbl 07096712 J. Autom. Reasoning 63, No. 2, 159-171 (2019). MSC: 03B38 PDF BibTeX XML Cite \textit{M. Bezem} et al., J. Autom. Reasoning 63, No. 2, 159--171 (2019; Zbl 07096712) Full Text: DOI arXiv OpenURL
El Hajj, Layan Logharmonic mappings on linearly connected domains. (English) Zbl 1426.31001 Anal. Math. Phys. 9, No. 2, 829-837 (2019). Reviewer: V. Ravichandran (Delhi) MSC: 31A05 30C55 30C45 PDF BibTeX XML Cite \textit{L. El Hajj}, Anal. Math. Phys. 9, No. 2, 829--837 (2019; Zbl 1426.31001) Full Text: DOI OpenURL
Chuaqui, Martin; Efraimidis, Iason A class of Weierstrass-Enneper lifts of harmonic mappings. (English) Zbl 1481.31001 Comput. Methods Funct. Theory 19, No. 2, 237-251 (2019). MSC: 31A05 PDF BibTeX XML Cite \textit{M. Chuaqui} and \textit{I. Efraimidis}, Comput. Methods Funct. Theory 19, No. 2, 237--251 (2019; Zbl 1481.31001) Full Text: DOI arXiv OpenURL
Bordg, Anthony On a model invariance problem in homotopy type theory. (English) Zbl 1428.18043 Appl. Categ. Struct. 27, No. 3, 311-322 (2019). MSC: 18N45 03B38 03G30 55U35 18N40 PDF BibTeX XML Cite \textit{A. Bordg}, Appl. Categ. Struct. 27, No. 3, 311--322 (2019; Zbl 1428.18043) Full Text: DOI arXiv OpenURL
Nunokawa, Mamoru; Cho, Nak Eun; Kwon, Oh Sang; Sokół, Janusz On the starlikeness of \(p\)-valent functions. (English) Zbl 1414.30016 Turk. J. Math. 43, No. 1, 143-150 (2019). MSC: 30C45 PDF BibTeX XML Cite \textit{M. Nunokawa} et al., Turk. J. Math. 43, No. 1, 143--150 (2019; Zbl 1414.30016) Full Text: DOI OpenURL
Klis, Anna A. On the openness of unique pure-strategy Nash equilibrium. (English) Zbl 07622091 B. E. J. Theor. Econ. 19, No. 1, Article ID 20170065, 9 p. (2018). MSC: 91-XX PDF BibTeX XML Cite \textit{A. A. Klis}, B. E. J. Theor. Econ. 19, No. 1, Article ID 20170065, 9 p. (2018; Zbl 07622091) Full Text: DOI OpenURL
Coquand, Thierry Inner models of univalence. (English) Zbl 1452.03035 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). 11-12 (2018). MSC: 03B38 PDF BibTeX XML Cite \textit{T. Coquand}, in: 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). 11--12 (2018; Zbl 1452.03035) Full Text: DOI OpenURL
Uyanik, Neslihan; Owa, Shigeyoshi A note on univalency for analytic function. (English) Zbl 1433.30059 Adv. Math., Sci. J. 7, No. 2, 45-49 (2018). MSC: 30C45 30C80 PDF BibTeX XML Cite \textit{N. Uyanik} and \textit{S. Owa}, Adv. Math., Sci. J. 7, No. 2, 45--49 (2018; Zbl 1433.30059) Full Text: Link OpenURL
Pescar, Virgil; Sasu, Adela Properties of an integral operator. (English) Zbl 1438.30084 Bull. Transilv. Univ. Brașov, Ser. III, Math. Inform. Phys. 11(60), No. 1, 115-120 (2018). MSC: 30C45 PDF BibTeX XML Cite \textit{V. Pescar} and \textit{A. Sasu}, Bull. Transilv. Univ. Brașov, Ser. III, Math. Inform. Phys. 11(60), No. 1, 115--120 (2018; Zbl 1438.30084) OpenURL
Páll-Szabó, Ágnes Orsolya Univalence criteria for the generalized Sălăgean and Ruscheweyh operator. (English) Zbl 1438.30080 Bull. Transilv. Univ. Brașov, Ser. III, Math. Inform. Phys. 11(60), No. 1, 107-114 (2018). MSC: 30C45 PDF BibTeX XML Cite \textit{Á. O. Páll-Szabó}, Bull. Transilv. Univ. Brașov, Ser. III, Math. Inform. Phys. 11(60), No. 1, 107--114 (2018; Zbl 1438.30080) OpenURL
Kaliraj, A. Sairam Injectivity of Sections of close-to-convex harmonic mappings with functions convex in one direction as analytic part. (English) Zbl 1428.31004 Probl. Anal. Issues Anal. 7(25), No. 2, 131-143 (2018). MSC: 31A05 30C45 PDF BibTeX XML Cite \textit{A. S. Kaliraj}, Probl. Anal. Issues Anal. 7(25), No. 2, 131--143 (2018; Zbl 1428.31004) Full Text: DOI arXiv MNR OpenURL
Ayala, David; Francis, John 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 PDF BibTeX XML Cite \textit{D. Ayala} and \textit{J. Francis}, Contemp. Math. 718, 137--173 (2018; Zbl 1423.18002) Full Text: DOI arXiv OpenURL
Selvakumaran, Kuppathai Appasamy; Szász, Róbert Certain geometric properties of an integral operator involving Bessel functions. (English) Zbl 1422.30029 Kyungpook Math. J. 58, No. 3, 507-517 (2018). MSC: 30C45 PDF BibTeX XML Cite \textit{K. A. Selvakumaran} and \textit{R. Szász}, Kyungpook Math. J. 58, No. 3, 507--517 (2018; Zbl 1422.30029) Full Text: DOI OpenURL
Frasin, B. A. Sufficient conditions for the univalence of an integral operator. (English) Zbl 1415.30010 Asia Pac. J. Math. 5, No. 1, 85-91 (2018). MSC: 30C45 PDF BibTeX XML Cite \textit{B. A. Frasin}, Asia Pac. J. Math. 5, No. 1, 85--91 (2018; Zbl 1415.30010) Full Text: Link OpenURL
Aktaş, İbrahim; Baricz, Árpád; Orhan, Halit Bounds for radii of starlikeness and convexity of some special functions. (English) Zbl 1424.30019 Turk. J. Math. 42, No. 1, 211-226 (2018). MSC: 30C45 30C15 33C10 PDF BibTeX XML Cite \textit{İ. Aktaş} et al., Turk. J. Math. 42, No. 1, 211--226 (2018; Zbl 1424.30019) Full Text: DOI arXiv OpenURL
Saǧsöz, Fatma On univalence of integral operators. (English) Zbl 1415.30016 Commun. Fac. Sci. Univ. Ank., Sér. A1, Math. Stat. 67, No. 2, 139-146 (2018). MSC: 30C45 PDF BibTeX XML Cite \textit{F. Saǧsöz}, Commun. Fac. Sci. Univ. Ank., Sér. A1, Math. Stat. 67, No. 2, 139--146 (2018; Zbl 1415.30016) Full Text: DOI OpenURL
Din, Muhey U.; Srivastava, Hari Mohan; Raza, Mohsan Univalence of certain integral operators involving generalized Struve functions. (English) Zbl 1409.30011 Hacet. J. Math. Stat. 47, No. 4, 821-833 (2018). MSC: 30C45 33C10 30C20 30C75 PDF BibTeX XML Cite \textit{M. U. Din} et al., Hacet. J. Math. Stat. 47, No. 4, 821--833 (2018; Zbl 1409.30011) Full Text: DOI OpenURL
Tang, Tiantian; Geng, Mi; Liu, Jinlin Univalence criteria related with Ruscheweyh derivative. (Chinese. English summary) Zbl 1424.30097 J. Yangzhou Univ., Nat. Sci. Ed. 21, No. 2, 10-12 (2018). MSC: 30C55 PDF BibTeX XML Cite \textit{T. Tang} et al., J. Yangzhou Univ., Nat. Sci. Ed. 21, No. 2, 10--12 (2018; Zbl 1424.30097) Full Text: DOI OpenURL
Aldawish, Ibtisam; Darus, Maslina Univalence preserving integral operator defined by generalized hypergeometric functions. (English) Zbl 1409.30005 Nonlinear Funct. Anal. Appl. 23, No. 3, 539-549 (2018). MSC: 30C45 30C55 PDF BibTeX XML Cite \textit{I. Aldawish} and \textit{M. Darus}, Nonlinear Funct. Anal. Appl. 23, No. 3, 539--549 (2018; Zbl 1409.30005) OpenURL
Guillot, Adolfo Quadratic differential equations in three variables without multivalued solutions. I. (English) Zbl 1407.34124 SIGMA, Symmetry Integrability Geom. Methods Appl. 14, Paper 122, 46 p. (2018). Reviewer: Mykola Grygorenko (Kyïv) MSC: 34M99 34M55 34M35 PDF BibTeX XML Cite \textit{A. Guillot}, SIGMA, Symmetry Integrability Geom. Methods Appl. 14, Paper 122, 46 p. (2018; Zbl 1407.34124) Full Text: DOI arXiv OpenURL
Sevodin, M. A. On univalent conditions in domains belonging to one of the Rahmanov classes. (English) Zbl 1404.30025 Lobachevskii J. Math. 39, No. 6, 835-840 (2018). MSC: 30C55 PDF BibTeX XML Cite \textit{M. A. Sevodin}, Lobachevskii J. Math. 39, No. 6, 835--840 (2018; Zbl 1404.30025) Full Text: DOI OpenURL
Nasibullin, R. G. Avkhadiev-Becker type univalence conditions for biharmonic mappings. (English) Zbl 1401.31013 Lobachevskii J. Math. 39, No. 6, 794-802 (2018). MSC: 31A30 PDF BibTeX XML Cite \textit{R. G. Nasibullin}, Lobachevskii J. Math. 39, No. 6, 794--802 (2018; Zbl 1401.31013) Full Text: DOI OpenURL
Isaev, Valery Model structures on categories of models of type theories. (English) Zbl 1478.03084 Math. Struct. Comput. Sci. 28, No. 10, 1695-1722 (2018). Reviewer: Jonathan Weinberger (Darmstadt) MSC: 03G30 03B38 18C10 PDF BibTeX XML Cite \textit{V. Isaev}, Math. Struct. Comput. Sci. 28, No. 10, 1695--1722 (2018; Zbl 1478.03084) Full Text: DOI arXiv OpenURL
Abdulhadi, Zayid; Muhanna, Yusuf Abu; Ponnusamy, Saminathan Dirichlet problem, univalency and Schwarz lemma for biharmonic mappings. (English) Zbl 1401.31009 Mediterr. J. Math. 15, No. 4, Paper No. 187, 1-16 (2018). MSC: 31A30 31A25 PDF BibTeX XML Cite \textit{Z. Abdulhadi} et al., Mediterr. J. Math. 15, No. 4, Paper No. 187, 1--16 (2018; Zbl 1401.31009) Full Text: DOI arXiv OpenURL
Grayson, Daniel R. An introduction to univalent foundations for mathematicians. (English) Zbl 1461.03012 Bull. Am. Math. Soc., New Ser. 55, No. 4, 427-450 (2018). MSC: 03B38 03B35 03G30 18A15 55U35 PDF BibTeX XML Cite \textit{D. R. Grayson}, Bull. Am. Math. Soc., New Ser. 55, No. 4, 427--450 (2018; Zbl 1461.03012) Full Text: DOI arXiv OpenURL
Ahrens, Benedikt; Lumsdaine, Peter Lefanu; Voevodsky, Vladimir Categorical structures for type theory in univalent foundations. (English) Zbl 1496.03053 Log. Methods Comput. Sci. 14, No. 3, Paper No. 18, 18 p. (2018). MSC: 03B38 03F50 18C50 03B70 55U40 68V15 PDF BibTeX XML Cite \textit{B. Ahrens} et al., Log. Methods Comput. Sci. 14, No. 3, Paper No. 18, 18 p. (2018; Zbl 1496.03053) Full Text: DOI arXiv OpenURL
Cohen, Cyril; Coquand, Thierry; Huber, Simon; Mörtberg, Anders Cubical type theory: a constructive interpretation of the univalence axiom. (English) Zbl 1434.03036 Uustalu, Tarmo (ed.), 21st international conference on types for proofs and programs, TYPES 2015, May 18–21, 2015, Tallinn, Estonia. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 69, Article 5, 34 p. (2018). MSC: 03B38 03F50 55U35 18C50 PDF BibTeX XML Cite \textit{C. Cohen} et al., LIPIcs -- Leibniz Int. Proc. Inform. 69, Article 5, 34 p. (2018; Zbl 1434.03036) Full Text: DOI arXiv OpenURL
Altenkirch, Thorsten; Kaposi, Ambrus Towards a cubical type theory without an interval. (English) Zbl 1434.03035 Uustalu, Tarmo (ed.), 21st international conference on types for proofs and programs, TYPES 2015, May 18–21, 2015, Tallinn, Estonia. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 69, Article 3, 27 p. (2018). MSC: 03B38 55U35 PDF BibTeX XML Cite \textit{T. Altenkirch} and \textit{A. Kaposi}, LIPIcs -- Leibniz Int. Proc. Inform. 69, Article 3, 27 p. (2018; Zbl 1434.03035) Full Text: DOI OpenURL
Liu, ZhiHong; Ponnusamy, Saminathan Radius of fully starlikeness and fully convexity of harmonic linear differential operator. (English) Zbl 1391.30022 Bull. Korean Math. Soc. 55, No. 3, 819-835 (2018). MSC: 30C45 31C05 PDF BibTeX XML Cite \textit{Z. Liu} and \textit{S. Ponnusamy}, Bull. Korean Math. Soc. 55, No. 3, 819--835 (2018; Zbl 1391.30022) Full Text: arXiv Link OpenURL
Huusko, Juha-Matti; Vesikko, Toni On Becker’s univalence criterion. (English) Zbl 1439.30038 J. Math. Anal. Appl. 458, No. 1, 781-794 (2018). MSC: 30C55 30H30 PDF BibTeX XML Cite \textit{J.-M. Huusko} and \textit{T. Vesikko}, J. Math. Anal. Appl. 458, No. 1, 781--794 (2018; Zbl 1439.30038) Full Text: DOI arXiv Link OpenURL
Buchholtz, Ulrik; Rijke, Egbert The real projective spaces in homotopy type theory. (English) Zbl 1452.03033 Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20–23, 2017. Piscataway, NJ: IEEE Press. Article No. 86, 8 p. (2017). MSC: 03B38 55U35 55P20 PDF BibTeX XML Cite \textit{U. Buchholtz} and \textit{E. Rijke}, in: Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20--23, 2017. Piscataway, NJ: IEEE Press. Article No. 86, 8 p. (2017; Zbl 1452.03033) Full Text: arXiv Link OpenURL