×

zbMATH — the first resource for mathematics

Found 242 Documents (Results 1–100)

100
MathJax
Differ. Equ. 55, No. 9, 1198-1217 (2019); translation from Differ. Uravn. 55, No. 9, 1242-1260 (2019).
MSC:  37M21 37C79 37C27
PDF BibTeX XML Cite
Full Text: DOI
van den Berg, Jan Bouwe (ed.) et al., Rigorous numerics in dynamics. AMS short course, Seattle, WA, USA, January 4–5, 2016. Lecture notes. Providence, RI: American Mathematical Society (AMS). Proc. Symp. Appl. Math. 74, 81-122 (2018).
MSC:  65P30 34K28 65L03
PDF BibTeX XML Cite
Full Text: DOI
Rahman, M. Sohel (ed.) et al., WALCOM: algorithms and computation. 12th international conference, WALCOM 2018, Dhaka, Bangladesh, March 3–5, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-75171-9/pbk; 978-3-319-75172-6/ebook). Lecture Notes in Computer Science 10755, 132-143 (2018).
MSC:  68Wxx
PDF BibTeX XML Cite
Full Text: DOI
Advances in Intelligent Systems and Computing 674. Cham: Springer (ISBN 978-3-319-69708-6/pbk; 978-3-319-69710-9/ebook). xiv, 226 p. (2018).
PDF BibTeX XML Cite
Full Text: DOI
Heidelberg: Springer Spektrum (ISBN 978-3-662-55452-4/pbk; 978-3-662-55453-1/ebook). vii, 305 p. (2017).
MSC:  65-01 00A07 97U40
PDF BibTeX XML Cite
Full Text: DOI
Springer-Lehrbuch. Heidelberg: Springer Spektrum (ISBN 978-3-662-50298-3/pbk; 978-3-662-50299-0/ebook). x, 248 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI
Ammari, Habib (ed.) et al., Imaging, multi-scale and high contrast partial differential equations. Seoul ICM 2014 satellite conference on imaging, multi-scale and high-contrast PDEs, Daejeon, Korea, August 7–9, 2014. Proceedings. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-1923-3/pbk; 978-1-4704-2932-4/ebook). Contemporary Mathematics 660, 45-57 (2016).
PDF BibTeX XML Cite
Full Text: DOI
Greuel, Gert-Martin (ed.) et al., Mathematical software – ICMS 2016. 5th international conference, Berlin, Germany, July 11–14, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9725, 191-197 (2016).
PDF BibTeX XML Cite
Full Text: DOI
Urban, Christian (ed.) et al., Interactive theorem proving. 6th international conference, ITP 2015, Nanjing, China, August 24–27, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-22101-4/pbk; 978-3-319-22102-1/ebook). Lecture Notes in Computer Science 9236, 221-226 (2015).
MSC:  68T15
PDF BibTeX XML Cite
Full Text: DOI
Jang, Sun Young (ed.) et al., Proceedings of the International Congress of Mathematicians (ICM 2014), Seoul, Korea, August 13–21, 2014. Vol. IV: Invited lectures. Seoul: KM Kyung Moon Sa (ISBN 978-89-6105-807-0/hbk; 978-89-6105-803-2/set). 787-806 (2014).
PDF BibTeX XML Cite

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