2004•ERAOpen access
Using proof-planning to investigate the structure of proof in non-standard analysis
Ewen Maclean
Open full text 1 citations
Abstract
Centre for Intelligent Systems and their Applications
Open-access reader
Ewen Maclean
Abstract
Open-access reader
Centre for Intelligent Systems and their Applications
OpenAlex reports 1 citations for this work. Citation counts describe recorded attention and do not establish research quality.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
Centre for Intelligent Systems and their Applications
Key concepts: Mathematical proof, Proof of concept, Structural proof theory, Computer-assisted proof, Analytic proof, Proof complexity, Computer science, Formal proof