scientific article; zbMATH DE number 1497747

MaRDI QIDQ4499158zbMATH OpenFDO

Authors Koji Nakagawa, Felix Kossak

Publication date 6 March 2001

zbMATH Keywords

Theoremauser-system interaction

Mathematics Subject Classification ID

Recommendations

• The Theorema Environment for Interactive Proof Development
• scientific article; zbMATH DE number 1254011
• The THOREM project: A progress report
• Theorema 2.0: computer-assisted natural-style mathematics
• Theorema 2.0: A System for Mathematical Theory Exploration

Cited in

(1)

• The Theorema Environment for Interactive Proof Development

Describes a project that uses

Uses Software

• Theorema

This page was built for publication:

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