scientific article; zbMATH DE number 1301728

zbMATH Open0927.03052MaRDI QIDQ4246941FDOQ4246941

Authors:

Publication date: 13 December 1999

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

Recommendations

• scientific article; zbMATH DE number 1426632
• scientific article; zbMATH DE number 2149442
• Introduction
• Introduction
• Homological Mirror Symmetry and Tropical Geometry
• Introduction
• scientific article; zbMATH DE number 2149402
• Introduction

zbMATH Keywords

surveytype theoryproof environments

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Logic in computer science (03B70)

Cited In (10)

• Homological Mirror Symmetry and Tropical Geometry
• Introduction
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Introduction
• Introduction
• Introduction
• Introduction
• Type theory and proof processing systems

Uses Software

• Isabelle
• PVS
• HOL
• Nuprl

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