A survey on retrieval of mathematical knowledge

From MaRDI portal
Publication:2364882

DOI10.1007/s11786-016-0274-0zbMath1409.68085arXiv1505.06646OpenAlexW2569480976MaRDI QIDQ2364882

Claudio Sacerdoti Coen, Ferruccio Guidi

Publication date: 25 July 2017

Published in: Lecture Notes in Computer Science, Mathematics in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1505.06646




Related Items (3)


Uses Software


Cites Work




This page was built for publication: A survey on retrieval of mathematical knowledge