scientific article; zbMATH DE number 3986665

zbMATH Open0609.68059MaRDI QIDQ3750136FDOQ3750136

Douglas J. Howe

Publication date: 1986

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

Recommendations

• Implementing constructive real analysis (preliminary report)
• scientific article
• scientific article
• Hybrid interactive theorem proving using Nuprl and HOL
• scientific article

zbMATH Keywords

formal reasoningproof constructionNuprl proof development systemreasoning about computationally meaningful mathematics

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to computer science (68-04) Software, source code, etc. for problems pertaining to number theory (11-04)

Cited In (7)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Exploring abstract algebra in constructive type theory
• Type theory and concurrency
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Uses Software

• 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 Q3750136)