scientific article; zbMATH DE number 3986665

zbMATH Open0609.68059MaRDI QIDQ3750136FDOQ3750136

Authors: 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; zbMATH DE number 4053566
• scientific article; zbMATH DE number 4101139
• Hybrid interactive theorem proving using Nuprl and HOL
• scientific article; zbMATH DE number 4047195

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

• Title not available (Why is that?)
• Title not available (Why is that?)
• Exploring abstract algebra in constructive type theory
• Type theory and concurrency
• A domain-independent system for modeling number theory using first-order predicate logic
• Hybrid interactive theorem proving using Nuprl and HOL
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Innovations in computational type theory using Nuprl

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)