Validation of proofs using PhoX

MaRDI QIDQ2851694zbMATH OpenFDO

Authors Patrick Thévenon

Publication date 2 October 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066105051261

Mathematics Subject Classification ID

Methodology of mathematics (00A35) Natural language processing (68T50)

This page was built for publication: Validation of proofs using PhoX

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