CICM'22 System Entries

Peter Koepke, Anton Lorenzen, Boris Shminke. CICM'22 System Entries. In Kevin Buzzard, Temur Kutsia, editors, Intelligent Computer Mathematics - 15th International Conference, CICM 2022, Tbilisi, Georgia, September 19-23, 2022, Proceedings. Volume 13467 of Lecture Notes in Computer Science, pages 344-348, Springer, 2022. [doi]

Authors

Peter Koepke

This author has not been identified. Look up 'Peter Koepke' in Google

Anton Lorenzen

This author has not been identified. Look up 'Anton Lorenzen' in Google

Boris Shminke

This author has not been identified. Look up 'Boris Shminke' in Google