scientific article

zbMATH Open0622.68080MaRDI QIDQ3759967FDOQ3759967

Ken Hirose

Publication date: 1986

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

zbMATH Keywords

linear algebraintuitionistic logicsynthetic differential geometryproof checkerComputer Aided ProofNew Generation Computer Technology

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Cited In (3)

• Optimizing a Certified Proof Checker for a Large-Scale Computer-Generated Proof
• On extensibility of proof checkers
• The Proof Certifier Checkers

   Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Verification: Theory and Practice 👍 👎
• Title not available (Why is that?) 👍 👎
• The Proof Certifier Checkers 👍 👎

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