Mathematical knowledge management in Foc

MaRDI QIDQ2767924zbMATH OpenFDO

Authors T. Hardin

Publication date 14 February 2002

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

zbMATH Keywords

entities

Mathematics Subject Classification ID

Knowledge representation (68T30) Symbolic computation and algebraic computation (68W30)

Recommendations

• Algorithms and proofs inheritance in the FOC language
• scientific article; zbMATH DE number 1497749
• Mathematical Knowledge Management
• Invariants for the FoCaL language
• A constructive algebraic hierarchy in Coq.

Cited in

(8)

• Mathematical knowledge management. Second international conference, MKM 2003, Bertinoro, Italy, February 16--18, 2003. Proceedings
• Invariants for the FoCaL language
• scientific article; zbMATH DE number 5124871 (Why is no real title available?)
• Math Literate Knowledge Management via Induced Material
• scientific article; zbMATH DE number 2078373 (Why is no real title available?)
• scientific article; zbMATH DE number 1927429 (Why is no real title available?)
• Mathematical Knowledge Management
• Extracting theory graphs from Aldor libraries

Describes a project that uses

Uses Software

• Coq
• OCaml

This page was built for publication: Mathematical knowledge management in Foc

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