A correspondence problem for mathematical proof

From MaRDI portal

MaRDI QIDQ7222444arXivFDO

Authors Simon DeDeo, Eamon Duede

Publication date 2026

Published in arXiv


arXiv classification

math.HO















This page was built for publication: A correspondence problem for mathematical proof

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7222444)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=A_correspondence_problem_for_mathematical_proof&oldid=107688827"
Powered by MediaWiki