×

zbMATH — the first resource for mathematics

Found 4,556 Documents (Results 1–100)

100
MathJax
Pulina, Luca (ed.) et al., Theory and applications of satisfiability testing – SAT 2020. 23rd international conference, Alghero, Italy, July 3–10, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-51824-0/pbk; 978-3-030-51825-7/ebook). Lecture Notes in Computer Science 12178, 277-294 (2020).
MSC:  68Q25 68R07 68T20
PDF BibTeX XML Cite
Full Text: DOI
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. Commun. Comput. Inf. Sci. 1275, 3-15 (2020).
MSC:  90C27 90C35
PDF BibTeX XML Cite
Full Text: DOI
Pinelas, Sandra (ed.) et al., Differential and difference equations with applications. Selected papers based on the presentations at the fourth international conference, ICDDEA 2019, Lisbon, Portugal, July 1–5, 2019. Cham: Springer (ISBN 978-3-030-56322-6/hbk; 978-3-030-56323-3/ebook). Springer Proceedings in Mathematics & Statistics 333, 571-591 (2020).
MSC:  11B 05 33
PDF BibTeX XML Cite
Full Text: DOI
Junge, Oliver (ed.) et al., Advances in dynamics, optimization and computation. A volume dedicated to Michael Dellnitz on the occasion of his 60th birthday. Cham: Springer (ISBN 978-3-030-51263-7/hbk; 978-3-030-51264-4/ebook). Studies in Systems, Decision and Control 304, 183-206 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Changat, Manoj (ed.) et al., Algorithms and discrete applied mathematics. 6th international conference, CALDAM 2020, Hyderabad, India, February 13–15, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12016, 371-383 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Changat, Manoj (ed.) et al., Algorithms and discrete applied mathematics. 6th international conference, CALDAM 2020, Hyderabad, India, February 13–15, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12016, 282-303 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Changat, Manoj (ed.) et al., Algorithms and discrete applied mathematics. 6th international conference, CALDAM 2020, Hyderabad, India, February 13–15, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12016, 79-91 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Bruillard, Paul (ed.) et al., Topological phases of matter and quantum computation. AMS special session, Bowdoin College, Brunswick, ME, USA, September 24–25, 2016. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 747, 215-226 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Siles Molina, Mercedes (ed.) et al., Associative and non-associative algebras and applications. Proceedings of the 3rd Moroccan Andalusian meeting on algebras and their applications, MAMAA 2018, Chefchaouen, Morocco, April 12–14, 2018. Cham: Springer. Springer Proc. Math. Stat. 311, 327-334 (2020).
MSC:  01A30
PDF BibTeX XML Cite
Full Text: DOI
Memoirs of the American Mathematical Society 1281. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-4143-2/pbk; 978-1-4704-5804-1/ebook). v, 106 p. (2020).
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