×

zbMATH — the first resource for mathematics

Found 30,342 Documents (Results 1–100)

100
MathJax
Kochetov, Yury (ed.) et al., Mathematical optimization theory and operations research. 19th international conference, MOTOR 2020, Novosibirsk, Russia, July 6–10, 2020. Revised selected papers. Cham: Springer (ISBN 978-3-030-58656-0/pbk; 978-3-030-58657-7/ebook). Communications in Computer and Information Science 1275, 120-132 (2020).
MSC:  90C 68 91
PDF BibTeX XML Cite
Full Text: DOI
Scheepers, Marion (ed.) et al., Centenary of the Borel conjecture. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-5099-1/pbk; 978-1-4704-5638-2/ebook). Contemporary Mathematics 755, 1-35 (2020).
PDF BibTeX XML Cite
Full Text: DOI
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, 97-121 (2020).
MSC:  68Q60
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