scientific article; zbMATH DE number 4009856

zbMATH Open0622.68080MaRDI QIDQ3759967FDOQ3759967

Authors: Ken Hirose 

Publication date: 1986

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

Recommendations

• scientific article; zbMATH DE number 4078854
• scientific article; zbMATH DE number 1254011
• Notes from the logbook of a proof-checker's project
• scientific article; zbMATH DE number 3907807
• The Proof Certifier Checkers

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

• Optimizing a Certified Proof Checker for a Large-Scale Computer-Generated Proof
• On extensibility of proof checkers
• The use of machines to assist in rigorous proof
• Title not available (Why is that?)
• The Proof Certifier Checkers
• Title not available (Why is that?)
• Notes from the logbook of a proof-checker's project

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)