×

zbMATH — the first resource for mathematics

Robots, computer algebra and eight connected components. (English) Zbl 07300054
Mantzaflaris, Angelos (ed.), Proceedings of the 45th international symposium on symbolic and algebraic computation, ISSAC ’20, Kalamata, Greece, July 20–23, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7100-1). 62-69 (2020).
MSC:
68W30 Symbolic computation and algebraic computation
Software:
FGb
PDF BibTeX XML Cite
Full Text: DOI