scientific article; zbMATH DE number 3907807

zbMATH Open0568.68070MaRDI QIDQ3685233FDOQ3685233

Authors: Andrzej Trybulec, Howard A. Blair 

Publication date: 1985

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

Recommendations

• scientific article; zbMATH DE number 4009856
• scientific article; zbMATH DE number 1342253
• The Logical Structure of Computer-Aided Mathematical Reasoning
• Mathematical knowledge management in MIZAR
• An example of formalizing recent mathematical results in MIZAR

zbMATH Keywords

MIZARmathematical argumentinference checkingvalidity of arguments

Mathematics Subject Classification ID

Cited In (13)

• Formalizing Scientifically Applicable Mathematics in a Definitional Framework
• Two over three: a two-valued logic for software specification and validation over a three-valued predicate calculus
• Title not available (Why is that?)
• A Mizar mode for HOL
• Tractable reasoning in artificial intelligence
• Title not available (Why is that?)
• \textit{Theorema}: Towards computer-aided mathematical theory exploration
• Crystal: Integrating structured queries into a tactic language
• Four decades of \textsc{Mizar}. Foreword
• Proof tactics for a theory of state machines in a graphical environment
• The Logical Structure of Computer-Aided Mathematical Reasoning
• A Shell for Generic Interactive Proof Search
• Proof auditing formalised mathematics

Uses Software

• Mizar

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