Publication:2847390
From MaRDI portal
zbMath1271.68207MaRDI QIDQ2847390
Christoph Benzmüller, Serge Autexier, Helmut Horacek, Armin Fiedler, Bao Quoc Vo
Publication date: 9 September 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066104000118
68T30: Knowledge representation
Related Items
A proof-centric approach to mathematical assistants, Computer supported mathematics with \(\Omega\)MEGA, Supporting the formal verification of mathematical texts
Uses Software