×

Found 533 Documents (Results 1–100)

Limits and difficulties in the design of under-approximation abstract domains. (English) Zbl 07793021

Bouyer, Patricia (ed.) et al., Foundations of software science and computation structures. 25th international conference, FOSSACS 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2–7, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13242, 21-39 (2022).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
Full Text: DOI

Restricted partitions: the polynomial case. (English. Russian original) Zbl 1520.11085

Funct. Anal. Appl. 56, No. 4, 299-309 (2022); translation from Funkts. Anal. Prilozh. 56, No 4, 80-92 (2022).
MSC:  11N37 11B75 05C80
PDFBibTeX XMLCite
Full Text: DOI

Undecidability of equality for codata types. (English) Zbl 1519.68145

Cîrstea, Corina (ed.), Coalgebraic methods in computer science. 14th IFIP WG 1.3 international workshop, CMCS 2018, colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11202, 34-55 (2018).
MSC:  68Q65 03B70 68V20
PDFBibTeX XMLCite
Full Text: DOI Link

Nonlinear vibrations and the wave equation. (English) Zbl 1403.35004

SpringerBriefs in Mathematics; BCAM SpringerBriefs. Cham: Springer; Bilbao: BCAM – Basque Center for Applied Mathematics (ISBN 978-3-319-78514-1/pbk; 978-3-319-78515-8/ebook). x, 102 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI

On the asymptotics of the element counting function in an additive arithmetic semigroup with exponential counting function of prime generators. (English. Russian original) Zbl 1366.11105

Funct. Anal. Appl. 50, No. 4, 291-307 (2016); translation from Funkts. Anal. Prilozh. 50, No. 4, 55-75 (2016).
MSC:  11N45 11N80
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software