×

zbMATH — the first resource for mathematics

Found 1,719 Documents (Results 1–100)

100
MathJax
Proc. Steklov Inst. Math. 308, Suppl. 1, 188-195 (2020); translation from Tr. Inst. Mat. Mekh. (Ekaterinburg) 25, No. 1, 219-228 (2019).
MSC:  60B11 54C60
PDF BibTeX XML Cite
Full Text: DOI
Chen, Yu-Fang (ed.) et al., Automated technology for verification and analysis. 17th international symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11781, 462-478 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Hierons, Robert Mark (ed.) et al., Theoretical aspects of computing – ICTAC 2019. 16th international colloquium, Hammamet, Tunisia, October 31 – November 4, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11884, 41-58 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Memoirs of the American Mathematical Society 1250. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-3620-9/pbk; 978-1-4704-5255-1/ebook). v, 118 p. (2019).
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type
Reviewing State
all top 5
Author
all top 5
Serial
all top 5
Year of Publication
all top 3
Classification
Biographic Reference
all top 3
Software