×

zbMATH — the first resource for mathematics

Found 462 Documents (Results 1–100)

100
MathJax
Math. Notes 109, No. 6, 980-985 (2021); translation from Mat. Zametki 109, No. 6, 938-943 (2021).
MSC:  34A30 34D05
PDF BibTeX XML Cite
Full Text: DOI
J. Math. Sci., New York 250, No. 5, 772-779 (2020); translation from Itogi Nauki Tekh., Ser. Sovrem. Mat. Prilozh., Temat. Obz. 149, 56-63 (2018).
MSC:  35K70 35K20 35M13
PDF BibTeX XML Cite
Full Text: DOI
Springer Theses. Cham: Springer; Oxford: Univ. of Oxford (Diss.) (ISBN 978-3-319-62866-0/hbk; 978-3-319-62867-7/ebook). xviii, 108 p. (2017).
MSC:  82-02 82D55 00A79
PDF BibTeX XML Cite
Full Text: DOI
J. Math. Sci., New York 222, No. 4, 380-385 (2017); translation from Zap. Nauchn. Semin. POMI 443, 24-32 (2016).
MSC:  12F12 12F10 16K20
PDF BibTeX XML Cite
Full Text: DOI
Kumar Sinha, Arun (ed.) et al., Recent advances in mathematics, statistics and computer science. Proceedings of the international conference, ICRAMSCS, Bihar, India, May 29–31, 2015. Hackensack, NJ: World Scientific (ISBN 978-981-4696-16-6/hbk; 978-981-4704-84-7/ebook). 455-465 (2016).
MSC:  05-04 05B15
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 2013 28th annual ACM/IEEE symposium on logic in computer science, LICS 2013, Tulane University, New Orleans, LA, USA, June 25–28, 2013. Los Alamitos, CA: IEEE Computer Society. 173-182 (2013).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’13, Rome, Italy, January 23–25, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1832-7). 1-2 (2013).
MSC:  68T15 20-04 20D10
PDF BibTeX XML Cite
Full Text: DOI
Blazy, Sandrine (ed.) et al., Interactive theorem proving. 4th international conference, ITP 2013, Rennes, France, July 22–26, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-39633-5/pbk). Lecture Notes in Computer Science 7998, 163-179 (2013).
MSC:  68T15 03B35 20-04 20D10
PDF BibTeX XML Cite
Full Text: DOI
Ivanova, Nataliya (ed.) et al., Proceedings of the 5th international workshop on group analysis of differential equations and integrable systems, Protaras, Cyprus, June 6–10, 2011. Nicosia: University of Cyprus, Department of Mathematics and Statistics (ISBN 978-9963-700-07-3/pbk). 28-39 (2011).
PDF BibTeX XML Cite
Full Text: arXiv
Van Eekelen, Marko (ed.) et al., Interactive theorem proving. Second international conference, ITP 2011, Berg en Dal, The Netherlands, August 22–25, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22862-9/pbk). Lecture Notes in Computer Science 6898, 2 (2011).
MSC:  68T15 03B35 20-04 20D10
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