zbMATH — the first resource for mathematics

Found 8 Documents (Results 1–3)

Kauers, Manuel (ed.), Proceedings of the 38th international symposium on symbolic and algebraic computation, ISSAC 2013, Boston, MA, USA, June 26–29, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2059-7). 243-250 (2013).
MSC:  68W30 55U10 68T15
BibTeX Cite
Full Text: DOI

Filter Results by …

Document Type
Year of Publication
Biographic Reference