Mathematical knowledge management using theorema

MaRDI QIDQ2767914zbMATH OpenFDO

Authors Bruno Buchberger

Publication date 14 February 2002

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

Mathematics Subject Classification ID

Knowledge representation (68T30)

Describes a project that uses

Uses Software

• Theorema

This page was built for publication: Mathematical knowledge management using theorema

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