×

zbMATH — the first resource for mathematics

Found 4 Documents (Results 1–3)

Rosenkranz, Markus (ed.), Proceedings of the 41st international symposium on symbolic and algebraic computation, ISSAC 2016, Waterloo, Canada, July 20–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4380-0). 159-166 (2016).
MSC:  13P05 12H25 12Y05 68W30
BibTeX Cite
Full Text: DOI
Rosenkranz, Markus (ed.), Proceedings of the 41st international symposium on symbolic and algebraic computation, ISSAC 2016, Waterloo, Canada, July 20–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4380-0). 111-118 (2016).
MSC:  12H20 68R05 68W20
BibTeX Cite
Full Text: DOI
Proceedings of the 40th international symposium on symbolic and algebraic computation, ISSAC 2015, Bath, UK, July 6–9, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3435-8). 69-76 (2015).
MSC:  68W30 12H20
BibTeX Cite
Full Text: DOI

Filter Results by …

Author
Year of Publication
Classification
Software