scientific article; zbMATH DE number 1765686

zbMATH Open0988.68596MaRDI QIDQ4539626FDOQ4539626

Authors: Armin Fiedler 

Publication date: 10 July 2002

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

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

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 \(\Omega\)MEGA
• Title not available (Why is that?)
• Formal Methods in Software and Systems Modeling
• P.rex
• Lemmatization for stronger reasoning in large theories

Uses Software

• Twelf
• OMEGA

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)