Results 151 to 160 of about 167 (167)
Some of the next articles are maybe not open access.

Algebraic methods for interactive proof systems

Journal of the ACM, 1992
Carsten Lund   +2 more
exaly  

An assessment model for proof comprehension in undergraduate mathematics

Educational Studies in Mathematics, 2011
Juan Pablo Mejia-Ramos   +2 more
exaly  

The Carneades model of argument and burden of proof

Artificial Intelligence, 2007
Thomas F Gordon   +2 more
exaly  

Effective Proof Reading Strategies for Comprehending Mathematical Proofs

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

Proof validation in real analysis: Inferring and checking warrants

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

A proof of a neglected proof

Journal of Theoretical Biology, 1987
openaire   +1 more source

Proof Frameworks: A Way to Get Started

Primus, 2018
Annie Selden, John Selden
exaly  

Home - About - Disclaimer - Privacy