Impact of proof validation on proof writing in abstract algebra

Author: Powers Robert   Craviotto Cathleen   Grassl Richard  

Publisher: Taylor & Francis Ltd

ISSN: 1464-5211

Source: International Journal of Mathematical Education in Science and Technology, Vol.41, Iss.4, 2010-01, pp. : 501-514

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract