×

zbMATH — the first resource for mathematics

Found 471 Documents (Results 1–100)

100
MathJax
Textos de Matemática 46. Coimbra: Universidade de Coimbra, Departamento de Matemática (ISBN 978-972-8564-50-6/pbk). 275 p. (2014).
PDF BibTeX XML Cite
Full Text: Link Link
Aguilar, M. (ed.) et al., Memorias de la Sociedad Matemática Mexicana. México: Sociedad Matemática Mexicana; México: Instituto de Matemáticas, UNAM. Aportaciones Matemáticas. Comunicaciones 45, 17-53 (2012).
MSC:  16S50 16G60 16G10
PDF BibTeX XML Cite
Gerdt, Vladimir P. (ed.) et al., Computer algebra in scientific computing. 14th international workshop, CASC 2012, Maribor, Slovenia, September 3–6, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32972-2/pbk). Lecture Notes in Computer Science 7442, 84-97 (2012).
MSC:  92E20 68W30 34C23
PDF BibTeX XML Cite
Full Text: DOI
Schmidt, Renate A. (ed.), Automated deduction – CADE-22. 22nd international conference on automated deduction, Montreal, Canada, August 2–7, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02958-5/pbk). Lecture Notes in Computer Science 5663. Lecture Notes in Artificial Intelligence, 485-501 (2009).
MSC:  68Q60 68T15
PDF BibTeX XML Cite
Full Text: DOI
Iglesias, Andrés (ed.) et al., Mathematical software – ICMS 2006. Second international congress on mathematical software, Castro Urdiales, Spain, September 1–3, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-38084-9/pbk). Lecture Notes in Computer Science 4151, 122-131 (2006).
PDF BibTeX XML Cite
Full Text: DOI
Enayat, Ali (ed.) et al., Logic in Tehran. Proceedings of the workshop and conference on logic, algebra and arithmetic, Tehran, Iran, October 18–22, 2003. Wellesley, MA: AK Peters (ISBN 1-56881-296-5/pbk; 1-56881-295-7/hbk). Lecture Notes in Logic 26, 204-226 (2006).
PDF BibTeX XML Cite
Full Text: arXiv
Enayat, Ali (ed.) et al., Logic in Tehran. Proceedings of the workshop and conference on logic, algebra and arithmetic, Tehran, Iran, October 18–22, 2003. Wellesley, MA: AK Peters (ISBN 1-56881-296-5/pbk; 1-56881-295-7/hbk). Lecture Notes in Logic 26, 42-64 (2006).
PDF BibTeX XML Cite
Enayat, Ali (ed.) et al., Logic in Tehran. Proceedings of the workshop and conference on logic, algebra and arithmetic, Tehran, Iran, October 18–22, 2003. Wellesley, MA: AK Peters (ISBN 1-56881-296-5/pbk; 1-56881-295-7/hbk). Lecture Notes in Logic 26, 1-22 (2006).
MSC:  03C60 12J15 12L12
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