×

zbMATH — the first resource for mathematics

Found 371 Documents (Results 1–100)

100
MathJax
Avigad, Jeremy (ed.) et al., Interactive theorem proving. 9th international conference, ITP 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 9–12, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-94820-1/pbk; 978-3-319-94821-8/ebook). Lecture Notes in Computer Science 10895, 40-47 (2018).
MSC:  68V20 13P99
PDF BibTeX XML Cite
Full Text: DOI
Algebra and Applications 20. Dordrecht: Springer (ISBN 978-94-017-9943-0/hbk; 978-94-017-9944-7/ebook). xlix, 996 p. (2015).
PDF BibTeX XML Cite
Full Text: DOI arXiv
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, 100-115 (2013).
PDF BibTeX XML Cite
Full Text: DOI
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, 30-45 (2013).
MSC:  13P99 12H05 68W30
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, 333-358 (2012).
PDF BibTeX XML Cite
Full Text: DOI
Mathématiques en Devenir. Paris: Calvage et Mounet (ISBN 978-2-91-635221-3/pbk). xxxi, 991 p. (2011).
PDF BibTeX XML Cite
Cao, Bing-yuan (ed.) et al., Fuzzy Information and Engineering 2010 (ACFIE 2010). Proceedings of the 5th annual conference, Huludao, China, September 23–27, 2010. Berlin: Springer (ISBN 978-3-642-14879-8/pbk; 978-3-642-14880-4/ebook). Advances in Intelligent and Soft Computing 78, 161-168 (2010).
MSC:  13P99 12Y99
PDF BibTeX XML Cite
Full Text: DOI
Fukuda, Komei (ed.) et al., Mathematical software – ICMS 2010. Third international congress on mathematical software, Kobe, Japan, September 13–17, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15581-9/pbk). Lecture Notes in Computer Science 6327, 73-76 (2010).
MSC:  13P99 68W30
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