Jasmin Blanchette, Adam Naumowicz. FMM Preface. In Jasmin Blanchette, James H. Davenport, Peter Koepke, Michael Kohlhase, Andrea Kohlhase, Adam Naumowicz, Dennis Müller 0001, Yasmine Sharoda, Claudio Sacerdoti Coen, editors, Joint Proceedings of the FMM, FVPS, MathUI,NatFoM, and OpenMath Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics 2021 co-located with the 14th Conference on Intelligent Computer Mathematics (CICM 2021), Virtual Event, Timisoara, Romania, July 26 - 31, 2021. Volume 3377 of CEUR Workshop Proceedings, CEUR-WS.org, 2021. [doi]
Abstract is missing.