Mathieu d'Aquin, Renata Bunoiu, Horatiu Cirstea, Michel Lenczner, Jean Lieber, Frédéric Zamkotsian. Combining representation formalisms for reasoning upon mathematical knowledge. In Kristen Brent Venable, Daniel Garijo, Brian Jalaian, editors, Proceedings of the 12th Knowledge Capture Conference 2023, K-CAP 2023, Pensacola, FL, USA, December 5-7, 2023. pages 180-187, ACM, 2023. [doi]
Abstract is missing.