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]
@inproceedings{dAquinBCLLZ23,
title = {Combining representation formalisms for reasoning upon mathematical knowledge},
author = {Mathieu d'Aquin and Renata Bunoiu and Horatiu Cirstea and Michel Lenczner and Jean Lieber and Frédéric Zamkotsian},
year = {2023},
doi = {10.1145/3587259.3627549},
url = {https://doi.org/10.1145/3587259.3627549},
researchr = {https://researchr.org/publication/dAquinBCLLZ23},
cites = {0},
citedby = {0},
pages = {180-187},
booktitle = {Proceedings of the 12th Knowledge Capture Conference 2023, K-CAP 2023, Pensacola, FL, USA, December 5-7, 2023},
editor = {Kristen Brent Venable and Daniel Garijo and Brian Jalaian},
publisher = {ACM},
}