×

zbMATH — the first resource for mathematics

Found 1,490 Documents (Results 1–100)

100
MathJax
J. Math. Sci., New York 250, No. 3, 475-535 (2020); translation from Fundam. Prikl. Mat. 22, No. 1, 127-215 (2018).
PDF BibTeX XML Cite
Full Text: DOI
Hackensack, NJ: World Scientific (ISBN 978-981-12-1549-0/hbk; 978-981-12-1633-6/pbk). xxii, 831 p. (2020).
MSC:  46-01 47-01 46Fxx
PDF BibTeX XML Cite
Full Text: DOI
Centrone, Stefania (ed.) et al., Mathesis universalis, computability and proof. Based on the Humboldt-Kolleg “Proof theory as mathesis universalis”, held at the German-Italian Centre for European Excellence, Villa Vigoni, Loveno di Menaggio, Como, Italy, July 24–28, 2017. Cham: Springer. Synth. Libr. 412, 101-112 (2019).
MSC:  03A05
PDF BibTeX XML Cite
Full Text: DOI
Dipierro, Serena (ed.), Contemporary research in elliptic PDEs and related topics. Based on lectures given during the INdAM intensive period, University of Bari, Bari, Italy, April 10 – June 9, 2017. Cham: Springer. Springer INdAM Ser. 33, 419-455 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Ferrando, Juan Carlos (ed.), Descriptive topology and functional analysis. II. In honour of Manuel López-Pellicer mathematical work. Proceedings of the 2nd meeting in topology and functional analysis, Elche, Spain, June 7–8, 2018. Cham: Springer. Springer Proc. Math. Stat. 286, 1-27 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Differ. Equ. 55, No. 6, 787-805 (2019); translation from Differ. Uravn. 55, No. 6, 803-821 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Servedio, Rocco A. (ed.), 33rd computational complexity conference, CCC 2018, June 22–24, 2018, San Diego, California, USA. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 102, Article 14, 45 p. (2018).
MSC:  68Q17 68Q25 68W25
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). 1013-1020 (2018).
MSC:  68P05 68Q11 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). 44-50 (2018).
MSC:  47H10 68Q17
PDF BibTeX XML Cite
Full Text: DOI arXiv
Texts in Computing 19. London: College Publications (ISBN 978-1-84890-280-0/pbk). xviii, 464 p. (2018).
MSC:  68-01 03B70 68N17 68Q05 68Q15 68Q17 68Q42 68Q45 68T15
PDF BibTeX XML Cite
Ferrarotti, Flavio (ed.) et al., Foundations of information and knowledge systems. 10th international symposium, FoIKS 2018, Budapest, Hungary, May 14–18, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10833, 170-185 (2018).
PDF BibTeX XML Cite
Full Text: DOI
Goranko, Valentin (ed.) et al., 26th EACSL annual conference on computer science logic, CSL 2017, Stockholm, Sweden, August 20–24, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 82, Article 42, 20 p. (2017).
MSC:  68Q25 08A70 68Q17
PDF BibTeX XML Cite
Full Text: DOI
O’Donnell, Ryan (ed.), 32nd computational complexity conference, CCC 2017, July 6–9, 2017, Riga, Latvia. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 79, Article 30, 24 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI
Jain, Pankaj (ed.) et al., Function spaces and inequalities, New Delhi, India, December 11–15, 2015. Singapore: Springer (ISBN 978-981-10-6118-9/hbk; 978-981-10-6119-6/ebook). Springer Proceedings in Mathematics & Statistics 206, 241-256 (2017).
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