×

Found 139 Documents (Results 1–100)

Unsolvability of the quintic formalized in dependent type theory. (English) Zbl 07699425

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 8, 18 p. (2021).
MSC:  68V15
Full Text: DOI

A survey on the hypertranscendence of the solutions of the Schröder’s, Böttcher’s and Abel’s equations. (English) Zbl 1504.30031

Bostan, Alin (ed.) et al., Transcendence in algebra, combinatorics, geometry and number theory. TRANS19 – transient transcendence in Transylvania, Brașov, Romania, May 13–17, 2019. Revised and extended contributions. Cham: Springer. Springer Proc. Math. Stat. 373, 91-125 (2021).
MSC:  30D05 30D15 37F10

A note on the Fredholm theory of singular integral operators with Cauchy and Mellin kernels. II. (English) Zbl 1473.45003

Bastos, M. Amélia (ed.) et al., Operator theory, functional analysis and applications. Proceedings of the 30th international workshop on operator theory and its applications, IWOTA 2019, Lisbon, Portugal, July 22–26, 2019. Cham: Birkhäuser. Oper. Theory: Adv. Appl. 282, 353-392 (2021).
Full Text: DOI

Invertibility issues for Toeplitz plus Hankel operators and their close relatives. (English) Zbl 07393027

Bastos, M. Amélia (ed.) et al., Operator theory, functional analysis and applications. Proceedings of the 30th international workshop on operator theory and its applications, IWOTA 2019, Lisbon, Portugal, July 22–26, 2019. Cham: Birkhäuser. Oper. Theory: Adv. Appl. 282, 113-156 (2021).

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 3

Main Field

all top 3

Software