×

zbMATH — the first resource for mathematics

Found 9,538 Documents (Results 1–100)

100
MathJax
Vestn. St. Petersbg. Univ., Math. 53, No. 2, 122-130 (2020); translation from Vestn. St-Peterbg. Univ., Ser. I, Mat. Mekh. Astron. 7(65), No. 2, 210-216 (2020).
MSC:  08A 05B 20N 08B
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). 756-767 (2020).
MSC:  08A30 08A40
PDF BibTeX XML Cite
Full Text: DOI
Benzmüller, Christoph (ed.) et al., Intelligent computer mathematics. 13th international conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12236, 55-70 (2020).
MSC:  68V20 08A70 68V30
PDF BibTeX XML Cite
Full Text: DOI
J. Math. Sci., New York 245, No. 3, 311-322 (2020); translation from Itogi Nauki Tekh., Ser. Sovrem. Mat. Prilozh., Temat. Obz. 144, 17-29 (2018).
MSC:  03D45 08A70 54A05
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