×

zbMATH — the first resource for mathematics

Found 901 Documents (Results 1–100)

100
MathJax
Comput. Math. Math. Phys. 60, No. 1, 82-89 (2020); translation from Zh. Vychisl. Mat. Mat. Fiz. 60, No. 1, 88-95 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Chleboun, J. (ed.) et al., Programs and algorithms of numerical mathematics 19. Proceedings of the 19th seminar (PANM), Hejnice, Czech Republic, June 24–29, 2018. Prague: Academy of Sciences of the Czech Republic, Institute of Mathematics (ISBN 978-80-85823-69-1). 7-14 (2019).
MSC:  34A34 68U20 70B10
PDF BibTeX XML Cite
Full Text: DOI
Burr, Michael (ed.), Proceedings of the 42nd international symposium on symbolic and algebraic computation, ISSAC 2017, Kaiserslautern, Germany, July 25–28, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-5064-8). 149-156 (2017).
MSC:  68W30
PDF BibTeX XML Cite
Full Text: DOI
Chleboun, J. (ed.) et al., Programs and algorithms of numerical mathematics 18. Proceedings of the 18th seminar (PANM), Janov nad Nisou, Czech Republic, June 19–24, 2016. Prague: Academy of Sciences of the Czech Republic, Institute of Mathematics. 7-14 (2017).
Reviewer: Michal Krizek
PDF BibTeX XML Cite
Full Text: DOI
Textbooks in Mathematics. Boca Raton, FL: CRC Press (ISBN 978-1-4822-4823-4/hbk; 978-1-4822-4827-2/ebook). xvi, 539 p. (2016).
PDF BibTeX XML Cite
Ansari, Ali R. (ed.), Advances in applied mathematics. Selected papers based on the presentations at the 1st Gulf international conference on applied mathematics 2013, GICAM ’13, Kuwait City, Kuwait, in cooperation with the Society for Industrial and Applied Mathematics, SIAM, November 19–21, 2013. Cham: Springer (ISBN 978-3-319-06922-7/hbk; 978-3-319-06923-4/ebook). Springer Proceedings in Mathematics & Statistics 87, 107-114 (2014).
PDF BibTeX XML Cite
Full Text: DOI
Wiesbaden: Springer Vieweg (ISBN 978-3-642-41351-3/pbk; 978-3-642-41352-0/ebook). xiii, 195 p. (2014).
PDF BibTeX XML Cite
Full Text: DOI
Texts in Computational Science and Engineering 11. Cham: Springer (ISBN 978-3-319-04324-1/hbk; 978-3-319-04325-8/ebook). xviii, 905 p. (2014).
PDF BibTeX XML Cite
Full Text: DOI
Springer-Lehrbuch. Berlin: Springer (ISBN 978-3-642-37882-9/pbk; 978-3-642-37883-6/ebook). zxviii, 389 p. (2013).
MSC:  34-00 34Axx 68W30
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 18th ACM SIGPLAN international conference on functional programming, ICFP ’13, Boston, MA, USA, September 25–27, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2326-0). ACM SIGPLAN Notices 48, No. 9, 123-132 (2013).
MSC:  68N18 00A65 68U05
PDF BibTeX XML Cite
Full Text: DOI
Blackburn, Simon R. (ed.) et al., Surveys in combinatorics 2013. Papers based on the 24th British combinatorial conference, London, UK, June 30 – July 5, 2013. Cambridge: Cambridge University Press (ISBN 978-1-107-65195-1/pbk; 978-1-139-50674-8/ebook). London Mathematical Society Lecture Note Series 409, 363-378 (2013).
MSC:  05B45 05A15
PDF BibTeX XML Cite
Full Text: DOI arXiv
Grenoble Sciences. Les Ulis: EDP Sciences (ISBN 978-2-7598-0829-8/pbk). xiv, 391 p. (2013).
PDF BibTeX XML Cite
Gerdt, Vladimir P. (ed.) et al., Computer algebra in scientific computing. 15th international workshop, CASC 2013, Berlin, Germany, September 9–13, 2013. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8136, 369-380 (2013).
MSC:  81T80 68W30 81V45 81P15 35P15
PDF BibTeX XML Cite
Full Text: DOI
Intelligent Systems Reference Library 39. Berlin: Springer (ISBN 978-3-642-28474-8/hbk; 978-3-642-28475-5/ebook). xiv, 580 p. (2013).
PDF BibTeX XML Cite
Full Text: DOI
Aspinall, David (ed.) et al., Proceedings of the 9th international workshop on user interfaces for theorem provers (UITP10), Edinburgh, UK, July 15, 2010. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 285, 115-119 (2012).
MSC:  68T15 68Q60 68U35
PDF BibTeX XML Cite
Full Text: DOI
Langer, Ulrich (ed.) et al., Numerical and symbolic scientific computing. Progress and prospects. New York, NY: Springer (ISBN 978-3-7091-0793-5/pbk; 978-3-7091-0794-2/ebook). Texts & Monographs in Symbolic Computation, 193-218 (2012).
PDF BibTeX XML Cite
Full Text: DOI arXiv
Mastorakis, Nikos (ed.) et al., Recent researches in circuits, systems and signal processing. Proceedings of the 5th international conference on circuits, systems and signals (CSS ’11), Corfu Island, Greece, July 14–16, 2011. Athens: WSEAS Press (ISBN 978-1-61804-017-6/cd-rom). Proceedings of the WSEAS/NAUN International Conferences, 128-131 (2011).
MSC:  94C05 65Y15 68W30
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
all top 3
Software