scientific article; zbMATH DE number 1765686

MaRDI QIDQ4539626zbMATH OpenFDO

Authors Armin Fiedler

Publication date 10 July 2002

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2083/20830416

Mathematics Subject Classification ID

Recommendations

• Mechanizing Mathematical Reasoning
• ProofViz: an interactive visual proof explorer
• scientific article; zbMATH DE number 3922016
• TPS: A hybrid automatic-interactive system for developing proofs
• scientific article; zbMATH DE number 2079832

Cited in

(8)

• An interactive derivation viewer
• \textsc{Plat}{\(\Omega\)}: a mediator between text-editors and proof assistance systems
• Mechanizing Mathematical Reasoning
• Computer supported mathematics with MEGA
• scientific article; zbMATH DE number 1614721 (Why is no real title available?)
• Formal Methods in Software and Systems Modeling
• P.rex
• Lemmatization for stronger reasoning in large theories

Describes a project that uses

Uses Software

• OMEGA
• Twelf

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 Q4539626)