Automated reasoning about elementary point-set topology

DOI10.1007/BF00243005zbMATH Open0675.68049OpenAlexW1969873554MaRDI QIDQ1122363FDOQ1122363

Authors: Cynthia A. Wick, William McCune 

Publication date: 1989

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00243005

Recommendations

• Automated Reasoning About Metric and Topology
• scientific article; zbMATH DE number 4160159
• scientific article; zbMATH DE number 4160161
• scientific article; zbMATH DE number 2247478
• Automated reasoning in geometry
• Elementary computable topology
• A system for computing and reasoning in algebraic topology
• scientific article; zbMATH DE number 1762070
• Elementary point-set topology. A transition to advanced mathematics

zbMATH Keywords

topologyresolutionautomated reasoningset theorysorted logic

Mathematics Subject Classification ID

Cited In (3)

• Title not available (Why is that?)
• Mathematical induction in Otter-lambda
• Sort it out with monotonicity. Translating between many-sorted and unsorted first-order logic

Uses Software

• AURA

This page was built for publication: Automated reasoning about elementary point-set topology

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1122363)