scientific article; zbMATH DE number 4009856

MaRDI QIDQ3759967zbMATH OpenFDO

Authors Ken Hirose

Publication date 1986

zbMATH Keywords

linear algebraintuitionistic logicsynthetic differential geometryproof checkerComputer Aided ProofNew Generation Computer Technology

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

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

Cited in

(9)

• Notes from the logbook of a proof-checker's project
• Optimizing a Certified Proof Checker for a Large-Scale Computer-Generated Proof
• scientific article; zbMATH DE number 3907807 (Why is no real title available?)
• scientific article; zbMATH DE number 4078854 (Why is no real title available?)
• CalcCheck: a proof checker for teaching the ``Logical approach to discrete math
• The Proof Certifier Checkers
• A two-level approach towards lean proof-checking
• On extensibility of proof checkers
• The use of machines to assist in rigorous proof

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)