×

zbMATH — the first resource for mathematics

Found 1,028 Documents (Results 1–100)

100
MathJax
Mosc. Univ. Math. Bull. 75, No. 6, 239-245 (2020); translation from Vestn. Mosk. Univ., Ser. I 75, No. 6, 14-19 (2020).
Reviewer: Reviewer (Berlin)
PDF BibTeX XML Cite
Full Text: DOI
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, 464-480 (2020).
Reviewer: Reviewer (Berlin)
MSC:  68Q25 68R07 68T20
PDF BibTeX XML Cite
Full Text: DOI
Mantzaflaris, Angelos (ed.), Proceedings of the 45th international symposium on symbolic and algebraic computation, ISSAC ’20, Kalamata, Greece, July 20–23, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7100-1). 336-343 (2020).
Reviewer: Reviewer (Berlin)
MSC:  68W30
PDF BibTeX XML Cite
Full Text: DOI
Mantzaflaris, Angelos (ed.), Proceedings of the 45th international symposium on symbolic and algebraic computation, ISSAC ’20, Kalamata, Greece, July 20–23, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7100-1). 162-169 (2020).
Reviewer: Reviewer (Berlin)
MSC:  68W30
PDF BibTeX XML Cite
Full Text: DOI
Mantzaflaris, Angelos (ed.), Proceedings of the 45th international symposium on symbolic and algebraic computation, ISSAC ’20, Kalamata, Greece, July 20–23, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7100-1). 8-11 (2020).
Reviewer: Reviewer (Berlin)
MSC:  68W30
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). 944-953 (2020).
Reviewer: Reviewer (Berlin)
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Nowak, Thomas (ed.), Proceedings of the 38th ACM symposium on principles of distributed computing, PODC ’19, Toronto, ON, Canada, July 29 – August 2, 2019. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-6217-7). 74-83 (2019).
Reviewer: Reviewer (Berlin)
MSC:  68M14 68W15
PDF BibTeX XML Cite
Full Text: DOI
Bradford, Russell (ed.), Proceedings of the 44th international symposium on symbolic and algebraic computation, ISSAC ’19, Beijing, China, July 15–18, 2019. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-6084-5). 10 (2019).
Reviewer: Reviewer (Berlin)
MSC:  68W30
PDF BibTeX XML Cite
Full Text: DOI
Charikar, Moses (ed.) et al., Proceedings of the 51st annual ACM SIGACT symposium on theory of computing, STOC ’19, Phoenix, AZ, USA, June 23–26, 2019. New York, NY: Association for Computing Machinery (ACM). 938-942 (2019).
Reviewer: Reviewer (Berlin)
MSC:  90C05 68R05 90C51
PDF BibTeX XML Cite
Full Text: DOI
Mahoney, Michael W. (ed.) et al., The mathematics of data. Lecture notes from the 26th IAS/Park City Mathematics Institute (PCMI) Summer School, Park City, UT, USA, July 2016. Providence, RI: American Mathematical Society (AMS); Princeton, NJ: Institute for Advanced Study (IAS); Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM). IAS/Park City Math. Ser. 25, 1-48 (2018).
Reviewer: Reviewer (Berlin)
PDF BibTeX XML Cite
Full Text: DOI
Arreche, Carlos (ed.), Proceedings of the 43rd international symposium on symbolic and algebraic computation, ISSAC 2018, New York, NY, USA, July 16–19, 2018. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-5550-6). 343-350 (2018).
Reviewer: Reviewer (Berlin)
MSC:  68W30
PDF BibTeX XML Cite
Full Text: DOI
Niedermeier, Rolf (ed.) et al., 35th symposium on theoretical aspects of computer science, STACS 2018, Caen, France, February 28 – March 3, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-062-0). LIPIcs – Leibniz International Proceedings in Informatics 96, Article 23, 14 p. (2018).
Reviewer: Reviewer (Berlin)
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Diakonikolas, Ilias (ed.) et al., Proceedings of the 50th annual ACM SIGACT symposium on theory of computing, STOC ’18, Los Angeles, CA, USA, June 25–29, 2018. New York, NY: Association for Computing Machinery (ACM). 1297-1306 (2018).
Reviewer: Reviewer (Berlin)
MSC:  68P05 15B34 68Q17
PDF BibTeX XML Cite
Full Text: DOI
Diakonikolas, Ilias (ed.) et al., Proceedings of the 50th annual ACM SIGACT symposium on theory of computing, STOC ’18, Los Angeles, CA, USA, June 25–29, 2018. New York, NY: Association for Computing Machinery (ACM). 289-296 (2018).
Reviewer: Reviewer (Berlin)
PDF BibTeX XML Cite
Full Text: DOI arXiv
Mosc. Univ. Comput. Math. Cybern. 42, No. 1, 23-30 (2018); translation from Vestn. Mosk. Univ., Ser. XV 2018, No. 1, 23-31 (2018).
Reviewer: Reviewer (Berlin)
MSC:  65F99 15A99
PDF BibTeX XML Cite
Full Text: DOI
Okamoto, Yoshio (ed.) et al., 28th international symposium on algorithms and computation, ISAAC 2017, December 9–12, 2017, Phuket, Thailand. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 92, Article 39, 12 p. (2017).
Reviewer: Reviewer (Berlin)
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