Results 241 to 250 of about 696,109 (263)

Cryptographic proofs of work

Unlike most talks in this series, this is not about completed research. Indeed, it is a review of existing work, and a list of unanswered questions, rather than a description of new results.
openaire   +1 more source

Algebraic methods for interactive proof systems

Journal of the ACM, 1992
Noam Nisan, Lance Fortnow, Carsten Lund
exaly  

Undergraduate Students’ Understanding of Proof: Relationships Between Proof Conceptions, Beliefs, and Classroom Experiences with Learning Proof

International Journal of Research in Undergraduate Mathematics Education, 2015
Despina A Stylianou
exaly  

An assessment model for proof comprehension in undergraduate mathematics

Educational Studies in Mathematics, 2011
Keith Weber, Juan Pablo Mejía Ramos
exaly  

Effective Proof Reading Strategies for Comprehending Mathematical Proofs

International Journal of Research in Undergraduate Mathematics Education, 2015
Keith Weber
exaly  

The Carneades model of argument and burden of proof

Artificial Intelligence, 2007
Henry Prakken, Douglas Walton, Thomas F Gordon   +2 more
exaly  

Proof of Work

2011
openaire   +1 more source

Proof Frameworks: A Way to Get Started

Primus, 2018
John Selden Jr., Annie Selden
exaly  

Proof validation in real analysis: Inferring and checking warrants

Journal of Mathematical Behavior, 2005
Keith Weber, Lara Alcock
exaly  

Classroom Note:An Elementary Proof of Farkas' Lemma

SIAM Review, 1997
Achiya Dax
exaly