×

zbMATH — the first resource for mathematics

Found 177 Documents (Results 1–100)

100
MathJax
Araujo, Carolina (ed.) et al., World women in mathematics 2018. Proceedings of the first world meeting for women in mathematics (WM)\({}^2\), a satellite conference of ICM, Rio de Janeiro, Brazil, July 31, 2018. Dedicated to the memory of Maryam Mirzakhani. Cham: Springer. Assoc. Women Math. Ser. 20, 17-56 (2019).
MSC:  90C22 65K05 90-02
PDF BibTeX XML Cite
Full Text: DOI
Papadimitriou, Christos H. (ed.), 8th innovations in theoretical computer science conference, ITCS 2017, Berkeley, CA, USA, January 9–11, 2017. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-029-3). LIPIcs – Leibniz International Proceedings in Informatics 67, Article 59, 10 p. (2017).
MSC:  90C22
PDF BibTeX XML Cite
Full Text: DOI
Broglia, Fabrizio (ed.) et al., Ordered algebraic structures and related topics. International conference at CIRM, Luminy, France, October 12–16, 2015. Proceedings. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 697, 203-209 (2017).
MSC:  11E25 14P10
PDF BibTeX XML Cite
Full Text: DOI arXiv
Harrington, Heather A. (ed.) et al., Algebraic and geometric methods in discrete mathematics. AMS special session on algebraic and geometric methods in applied discrete mathematics, San Antonio, TX, USA, January 11, 2015. Proceedings. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-2321-6/pbk; 978-1-4704-3743-5/ebook). Contemporary Mathematics 685, 27-53 (2017).
MSC:  90C22 90C06 90C05
PDF BibTeX XML Cite
Full Text: DOI arXiv
Olivetti, Nicola (ed.) et al., Automated reasoning. 8th international joint conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-40228-4/pbk; 978-3-319-40229-1/ebook). Lecture Notes in Computer Science 9706. Lecture Notes in Artificial Intelligence, 195-212 (2016).
MSC:  68T15
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type
Reviewing State
all top 5
Author
all top 5
Year of Publication
all top 3
Classification