×

zbMATH — the first resource for mathematics

Found 4,682 Documents (Results 1–100)

100
MathJax
Galbraith, Steven D. (ed.), ANTS XIV. Proceedings of the fourteenth algorithmic number theory symposium, Auckland, New Zealand, virtual event, June 29 – July 4, 2020. Berkeley, CA: Mathematical Sciences Publishers (MSP) (ISBN 978-1-935107-07-1/print; 978-1-935107-08-8/ebook). The Open Book Series 4, 403-422 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Galbraith, Steven D. (ed.), ANTS XIV. Proceedings of the fourteenth algorithmic number theory symposium, Auckland, New Zealand, virtual event, June 29 – July 4, 2020. Berkeley, CA: Mathematical Sciences Publishers (MSP) (ISBN 978-1-935107-07-1/print; 978-1-935107-08-8/ebook). The Open Book Series 4, 143-159 (2020).
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). 281-288 (2020).
MSC:  68W30
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7104-9). 591-603 (2020).
MSC:  03B70
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). 78-90 (2020).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Autom. Remote Control 81, No. 5, 869-882 (2020); translation from Avtom. Telemekh. 2020, No. 5, 139-155 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Comput. Math. Math. Phys. 60, No. 2, 222-226 (2020); translation from Zh. Vychisl. Mat. Mat. Fiz. 60, No. 2, 216-220 (2020).
MSC:  65F99 15A39
PDF BibTeX XML Cite
Full Text: DOI
J. Math. Sci., New York 247, No. 5, 738-757 (2020); translation from Zap. Nauchn. Semin. POMI 481, 146-177 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Rahman, M. Sohel (ed.) et al., WALCOM: algorithms and computation. 14th international conference, WALCOM 2020, Singapore, Singapore, March 31 – April 2, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-39880-4/pbk; 978-3-030-39881-1/ebook). Lecture Notes in Computer Science 12049, 133-145 (2020).
MSC:  68Wxx
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). 323-330 (2019).
MSC:  68W30
PDF BibTeX XML Cite
Full Text: DOI
Janota, Mikoláš (ed.) et al., Theory and applications of satisfiability testing – SAT 2019. 22nd international conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11628, 19-35 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Khachay, Michael (ed.) et al., Mathematical optimization theory and operations research. 18th international conference, MOTOR 2019, Ekaterinburg, Russia, July 8–12, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11548, 264-276 (2019).
MSC:  90B35 90C35
PDF BibTeX XML Cite
Full Text: DOI
Li, Yingshu (ed.) et al., Combinatorial optimization and applications. 13th international conference, COCOA 2019, Xiamen, China, December 13–15, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11949, 412-424 (2019).
MSC:  90C35
PDF BibTeX XML Cite
Full Text: DOI
England, Matthew (ed.) et al., Computer algebra in scientific computing. 21st international workshop, CASC 2019, Moscow, Russia, August 26–30, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11661, 330-342 (2019).
MSC:  33F05 33C05 33C20
PDF BibTeX XML Cite
Full Text: DOI
J. Math. Sci., New York 240, No. 5, 594-616 (2019); translation from Zap. Nauchn. Semin. POMI 468, 138-176 (2018).
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). 1203-1214 (2019).
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). 943-954 (2019).
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). 590-601 (2019).
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). 13-23 (2019).
MSC:  68Q15 68Q06 68Q12
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
Biographic Reference
all top 3
Software