×

zbMATH — the first resource for mathematics

Found 47 Documents (Results 1–47)

100
MathJax
Geuvers, Herman (ed.) et al., Intelligent computer mathematics. 10th international conference, CICM 2017, Edinburgh, UK, July 17–21, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-62074-9/pbk; 978-3-319-62075-6/ebook). Lecture Notes in Computer Science 10383. Lecture Notes in Artificial Intelligence, 340-355 (2017).
MSC:  68T30 68P20 68U15
PDF BibTeX Cite
Full Text: DOI
Hong, Hoon (ed.) et al., Mathematical software – ICMS 2014. 4th international congress, Seoul, South Korea, August 5–9, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8592, 629-634 (2014).
MSC:  97U70 97U60 97M50
PDF BibTeX Cite
Full Text: DOI
Carette, Jacques (ed.) et al., Intelligent computer mathematics. MKM, Calculemus, DML, and systems and projects 2013, held as part of CICM 2013, Bath, UK, July 8–12, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-39319-8/pbk). Lecture Notes in Computer Science 7961. Lecture Notes in Artificial Intelligence, 263-277 (2013).
MSC:  68U35
PDF BibTeX Cite
Full Text: DOI
Sojka, Petr (ed.), DML 2008. Towards digital mathematics library, Birmingham, UK, July 27th, 2008. Proceedings. Brno: Masaryk University (ISBN 978-80-210-4658-0/pbk). 153-165 (2008).
MSC:  68P99
PDF BibTeX Cite
Full Text: EuDML
Madrid: Aula Documental de Investigación. xxxvii, 680 p. (2000).
Reviewer: P.Schmitt (Wien)
MSC:  68U15 68-01
PDF BibTeX Cite
Natori, M. (ed.) et al., Parallel processing for scientific computing. Proceedings of the 9th PCG symposium, held at Keio University, Tokyo, Japan, on March 2nd, 1993. Tokyo: Keio University, Adv. Numer. Methods Large Sparse Sets Linear Equations. 9, 69-70 (1993).
MSC:  68U05 68U15
PDF BibTeX Cite

Filter Results by …

Document Type
Reviewing State
all top 5
Year of Publication
all top 3
Classification
all top 3
Software