×

zbMATH — the first resource for mathematics

Found 30 Documents (Results 1–30)

100
MathJax
Burr, Michael (ed.), Proceedings of the 42nd international symposium on symbolic and algebraic computation, ISSAC 2017, Kaiserslautern, Germany, July 25–28, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-5064-8). 117-124 (2017).
MSC:  11Y16 68W30
PDF BibTeX XML Cite
Full Text: DOI