An analysis of errors in interactive proof attempts

An analysis of errors in interactive proof attempts

Bibliographic Details
Main Authors:	Aitken, S, Melham, T
Format:	Journal article
Published:	2000

Similar Items

Interactive Proof Discovery: An Empirical Study of HOL Users
by: Aitken, S, et al.
Published: (1995)

PROSPER: An Investigation into Software Architecture for Embedded Proof Engines
by: Melham, T
Published: (2002)

THE ATTEMPT AT CRIME AND THE FACTUAL ERROR
by: O. S. Khoroshilova
Published: (2015-11-01)

Error Proofing In Manufacturing.
by: Nadarajah, Sivakumar
Published: (2006)

Error Proofing In Manufacturing
by: Nadarajah, Sivakumar
Published: (2006)

Error Proofing In Manufacturing
by: Nadarajah, Sivakumar
Published: (2006)

A Study Of User Activity In Interactive Theorem Proving
by: Aitken, S, et al.
Published: (1995)

Hardware Verification by Formal Proof
by: Birtwistle, G, et al.
Published: (1988)

Hardware Verification by Formal Proof
by: Birtwistle, G, et al.
Published: (1988)

Interactive Theorem Proving: An Empirical Study of User Activity
by: Aitken, J, et al.
Published: (1998)

Increased Serum Prolactin and Excessive Daytime Sleepiness: An Attempt of Proof-of-Concept Study
by: Maria P. Mogavero, et al.
Published: (2021-11-01)

Error-Correction Code Proof-of-Work on Ethereum
by: Hyoungsung Kim, et al.
Published: (2021-01-01)

How mathematicians characterize and attempt to develop understanding of concepts and definitions in proof-based courses
by: Rachel Rupnow, et al.
Published: (2024-01-01)

An error-proof approach for decision making using DEMATEL
by: Islam, A. S. M. Touhidul, et al.
Published: (2019)

Computationally Efficient Error-Correcting Codes and Holographic Proofs
by: Spielman, Daniel Alan
Published: (2023)

Computationally efficient error-correcting codes and holographic proofs
by: Spielman, Daniel Alan
Published: (2007)

Modern Interactive Proofs
by: Holden, Dhiraj
Published: (2022)

Equality proofs and deferred type errors: a compiler pearl
by: Vytiniotis, D, et al.
Published: (2012)

Convergence proofs and error estimates for an iterative method for conformal mapping/
by: 369315 Wegmann, R.

STUDENTS’ ERRORS IN SOLVING REASONING-BASED CONGRUENCE PROOF PROBLEMS
by: Scristia Scristia, et al.
Published: (2022-12-01)

Proof-of-concept experiment of duty cycle division multiplexing with bit error rate analysis
by: Basir, S.M., et al.
Published: (2012)

Interactive Proofs for Rounding Arithmetic
by: Shuo Chen, et al.
Published: (2022-01-01)

Non-interactive proofs of proximity
by: Gur, Tom, et al.
Published: (2018)

Interactive Proof Presentations with Cobra
by: Martin Ring, et al.
Published: (2017-01-01)

ITP Project Anthology
by: Aitken, S, et al.
Published: (1997)

Strategic error-proofing : achieving success every time with smarter FMEAs /
by: 240287 Casey, John J.
Published: (2009)

Live Verification in an Interactive Proof Assistant
by: Gruetter, Samuel, et al.
Published: (2024)

Quantum interactive proofs with short messages
by: Beigi, Salman, et al.
Published: (2020)

Medical error di Rumah Sakit dan upaya untuk meminimalkan risiko = Medical error in hospital and attempts to minimize risk
by: Perpustakaan UGM, i-lib
Published: (2004)

Phases‚ Modes and Information Flow in Theory Development
by: Aitken, J, et al.
Published: (1996)

ECCPoW: Error-Correction Code based Proof-of-Work for ASIC Resistance
by: Hyunjun Jung, et al.
Published: (2020-06-01)

On revision of the Guide to the Expression of Uncertainty in Measurement: Proofs of fundamental errors in Bayesian approaches
by: R. Willink
Published: (2022-12-01)

Lack of attentional retraining effects in cigarette smokers attempting cessation: a proof of concept double-blind randomised controlled trial.
by: Begh, R, et al.
Published: (2015)

Lack of attentional retraining effects in cigarette smokers attempting cessation: A proof of concept double-blind randomised controlled trial
by: Begh, R, et al.
Published: (2015)

Lack of attentional retraining effects in cigarette smokers attempting cessation: A proof of concept double-blind randomised controlled trial
by: Begh, R, et al.
Published: (2015)

Icodextrin and spurious hyperglycemia in peritoneal dialysis patients: a hospital-wide attempt to prevent such errors
by: Yusuke Asakura, et al.
Published: (2017-08-01)

Interaction and Depth against Nondeterminism in Proof Search
by: Ozan Kahramanogullari
Published: (2014-05-01)

Toward improved non-interactive proof systems
by: Kwon, Sophia Seoyoung
Published: (2023)

Non-interactive zero-knowledge functional proofs
by: Zeng, Gongxian, et al.
Published: (2023)

Infinite Analysis, Lucky Proof, and Guaranteed Proof in Leibniz
by: Rodriguez-Pereyra, G, et al.
Published: (2011)