Two tools for mathematical knowledge management in theorema

MaRDI QIDQ2767913zbMATH OpenFDO

Authors Koji Nakagawa, 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)

Cited in

(1)

• Logicographic symbols

Describes a project that uses

Uses Software

• Theorema

This page was built for publication: Two tools for mathematical knowledge management in theorema

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