×

zbMATH — the first resource for mathematics

Found 5,644 Documents (Results 1–100)

100
MathJax
Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part I. Cham: Springer (ISBN 978-3-030-53287-1/pbk; 978-3-030-53288-8/ebook). Lecture Notes in Computer Science 12224, 556-568 (2020).
MSC:  68Q60
PDF BibTeX XML Cite
Full Text: DOI
Makarychev, Konstantin (ed.) et al., Proceedings of the 52nd annual ACM SIGACT symposium on theory of computing, STOC ’20, Chicago, IL, USA, June 22–26, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-6979-4). 671-684 (2020).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI
MSC:  45G05
PDF BibTeX XML Cite
Full Text: DOI MNR
Cybern. Syst. Anal. 56, No. 6, 978-989 (2020); translation from Kibern. Sist. Anal. 2020, No. 6, 136-148 (2020).
MSC:  65J22 49J40 49J45
PDF BibTeX XML Cite
Full Text: DOI
Cybern. Syst. Anal. 56, No. 5, 784-792 (2020); translation from Kibern. Sist. Anal. 2020, No. 5, 115-125 (2020).
MSC:  90C33 90C48
PDF BibTeX XML Cite
Full Text: DOI
J. Contemp. Math. Anal., Armen. Acad. Sci. 55, No. 1, 42-53 (2020); translation from Izv. Nats. Akad. Nauk Armen., Mat. 55, No. 1, 57-71 (2020).
MSC:  45G05
PDF BibTeX XML Cite
Full Text: DOI
Izv. Math. 84, No. 4, 807-815 (2020); translation from Izv. Ross. Akad. Nauk, Ser. Mat. 84, No. 4, 198-207 (2020).
MSC:  45G10
PDF BibTeX XML Cite
Full Text: DOI
Petrosyan, Leon A. (ed.) et al., Game theoretic analysis. Part. 1. Non-cooperative games and equilibrium analysis. Part 2. Cooperative games and axiomatic values. Hackensack, NJ: World Scientific (ISBN 978-981-12-0200-1/hbk; 978-981-12-0202-5/ebook). 583-603 (2020).
MSC:  91A12 91B12
PDF BibTeX XML Cite
Full Text: DOI
Foupouagnigni, Mama (ed.) et al., Orthogonal polynomials. Proceedings of the 2nd AIMS-Volkswagen Stiftung workshop on introduction to orthogonal polynomials and applications, Douala, Cameroon, October 5–12, 2018. Cham: Birkhäuser. Tutor. Sch. Workshops Math. Sci., 441-456 (2020).
MSC:  33C45 42C05
PDF BibTeX XML Cite
Full Text: DOI
Bailey, David H. (ed.) et al., From analysis to visualization. A celebration of the life and legacy of Jonathan M. Borwein, Callaghan, Australia, September 25–29, 2017. Cham: Springer. Springer Proc. Math. Stat. 313, 7-20 (2020).
MSC:  26A42
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
all top 3
Software