Designing mathematical libraries based on minimal requirements for theorems

zbMATH Open0982.68130MaRDI QIDQ2767927FDOQ2767927

Christoph Schwarzweller

Publication date: 14 February 2002

Full work available at URL: http://www.risc.uni-linz.ac.at/institute/conferences/MKM2001/Proceedings/

zbMATH Keywords

MIZAR language

Mathematics Subject Classification ID

Knowledge representation (68T30)

Cited In (1)

• Toward sharing libraries of mathematics between theorem provers

Uses Software

• Mizar

This page was built for publication: Designing mathematical libraries based on minimal requirements for theorems

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