Andrea Condoluci, Michael Kohlhase, Dennis Müller 0001, Florian Rabe, Claudio Sacerdoti Coen, Makarius Wenzel. Relational Data Across Mathematical Libraries. In Cezary Kaliszyk, Edwin Brady, Andrea Kohlhase, Claudio Sacerdoti Coen, editors, Intelligent Computer Mathematics - 12th International Conference, CICM 2019, Prague, Czech Republic, July 8-12, 2019, Proceedings. Volume 11617 of Lecture Notes in Computer Science, pages 61-76, Springer, 2019. [doi]
Abstract is missing.